Thanks to visit codestin.com
Credit goes to github.com

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

Rust 127 37 Updated Nov 12, 2025

Natural Number Game

Lean 244 52 Updated Sep 28, 2025

Genera feed RSS per i podcast Rai

Python 4 5 Updated Nov 13, 2025

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

HTML 39 Updated Nov 7, 2025

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

Python 5,308 845 Updated Oct 16, 2025

Cross-platform app development in Rust

Rust 2,139 92 Updated Nov 12, 2025

Convert your docker-compose into excalidraw

Rust 129 6 Updated Jul 22, 2024

A no-datastore, client-side paste service.

JavaScript 529 58 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 309 21 Updated Jun 25, 2025

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

Python 647 26 Updated Aug 22, 2025

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

Rust 1 Updated Jul 26, 2025

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

Rust 72,638 2,221 Updated Nov 12, 2025

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

Python 3,853 220 Updated Mar 8, 2024

Virtual whiteboard for sketching hand-drawn like diagrams

TypeScript 110,197 11,486 Updated Nov 12, 2025

A quick ZX calculus library written in Rust

OpenQASM 74 33 Updated Nov 1, 2025

A high performance Python graph library implemented in Rust.

Rust 1,511 195 Updated Nov 4, 2025

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 387 69 Updated Oct 22, 2025

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

Python 6,676 2,672 Updated Nov 12, 2025

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

Python 2,874 706 Updated Nov 13, 2025

The Python programming language

Python 69,829 33,398 Updated Nov 13, 2025

Empowering everyone to build reliable and efficient software.

Rust 107,809 13,974 Updated Nov 13, 2025

The Go programming language

Go 130,804 18,461 Updated Nov 13, 2025

Quantum random numbers in Python

Python 39 3 Updated Nov 24, 2024

Simulating quantum circuits with JAX

Python 71 14 Updated Nov 3, 2025
Python 10 3 Updated Oct 27, 2025

Export your tours from Komoot

Go 46 7 Updated Jul 14, 2025

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

Python 30 4 Updated Dec 26, 2022

The Fuzzy Labs guide to the universe of open source MLOps

473 51 Updated May 19, 2025

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

Rust 60,600 10,984 Updated Sep 25, 2025
Next