Skip to content
View dfacoet's full-sized avatar

Block or report dfacoet

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

A collaborative environment for formal, interoperable, conceptual modeling

TypeScript 139 40 Updated Jan 9, 2026

Natural Number Game

Lean 274 55 Updated Dec 27, 2025

Genera feed RSS per i podcast Rai

Python 6 7 Updated Jan 11, 2026

Hardware & firmware of the uSEQ Live Coding CV & Gate Sequencer

HTML 40 1 Updated Nov 7, 2025

Download, model, analyze, and visualize street networks and other geospatial features from OpenStreetMap.

Python 5,535 861 Updated Dec 16, 2025

Cross-platform app development in Rust

Rust 2,322 94 Updated Dec 19, 2025

Convert your docker-compose into excalidraw

Rust 129 6 Updated Jul 22, 2024

A no-datastore, client-side paste service.

JavaScript 568 61 Updated Dec 9, 2023

This library would form a permanent home for reusable components for deep probabilistic programming. The library would form and harness a community of users and contributors by focusing initially o…

Jupyter Notebook 311 20 Updated Jun 25, 2025

LeanRL is a fork of CleanRL, where selected PyTorch scripts optimized for performance using compile and cudagraphs.

Python 667 28 Updated Aug 22, 2025

Solutions to Advent of Code (AOC). Managed by a Rust app, solutions in Python, Rust and Haskell.

Rust 1 Updated Dec 12, 2025

An extremely fast Python package and project manager, written in Rust.

Rust 76,684 2,428 Updated Jan 11, 2026

Python Sorted Container Types: Sorted List, Sorted Dict, and Sorted Set

Python 3,896 223 Updated Mar 8, 2024

Virtual whiteboard for sketching hand-drawn like diagrams

TypeScript 114,156 12,103 Updated Jan 10, 2026

A quick ZX calculus library written in Rust

OpenQASM 77 33 Updated Nov 1, 2025

A high performance Python graph library implemented in Rust.

Rust 1,558 198 Updated Jan 1, 2026

Lie Algebras using Sympy and backend powered by Rust's pyO3 and ndarray

Python 11 3 Updated Dec 12, 2023

The Python toolkit for computing with string diagrams.

Python 401 71 Updated Dec 31, 2025

Qiskit is an open-source SDK for working with quantum computers at the level of extended quantum circuits, operators, and primitives.

Python 6,911 2,730 Updated Jan 11, 2026

PennyLane is a cross-platform Python library for quantum computing, quantum machine learning, and quantum chemistry. Built by researchers, for research.

Python 3,007 733 Updated Jan 10, 2026

The Python programming language

Python 71,024 33,869 Updated Jan 11, 2026

Empowering everyone to build reliable and efficient software.

Rust 109,270 14,313 Updated Jan 11, 2026

The Go programming language

Go 131,891 18,716 Updated Jan 9, 2026

Quantum random numbers in Python

Python 40 3 Updated Nov 24, 2024

Simulating quantum circuits with JAX

Python 72 14 Updated Dec 15, 2025
Python 10 3 Updated Jan 7, 2026

Export your tours from Komoot

Go 46 7 Updated Dec 29, 2025

A Python implementation of the InverSynth method (Barkan, Tsiris, Koenigstein, Katz)

Python 31 4 Updated Dec 26, 2022

The Fuzzy Labs guide to the universe of open source MLOps

476 51 Updated May 19, 2025

🦀 Small exercises to get you used to reading and writing Rust code!

Rust 61,393 11,082 Updated Dec 22, 2025
Next