expede / awesome-quantum-computing
A curated list of awesome quantum computing resources. Inspired by the various awesome-* projects
☆10Updated 7 years ago
Related projects ⓘ
Alternatives and complementary repositories for awesome-quantum-computing
- A system for computational category theory and applications☆35Updated 8 years ago
- A cellular automaton for studying self-modifying agents which are embedded in their environment☆129Updated 10 years ago
- Different TLA+ specifications, mostly for learning purposes☆31Updated 6 months ago
- Basic proof-of-custody library☆7Updated 10 years ago
- Functional Programming for Ethereum: Intro and Resources☆66Updated 7 years ago
- Finite state machines as graphs☆59Updated 4 years ago
- Code samples inspiring language design☆24Updated 8 years ago
- ☆59Updated 2 years ago
- Blockchain Technology for the Working Mathematician☆24Updated 7 years ago
- ACT community resources☆19Updated 5 years ago
- working with coq and tezos☆28Updated 7 years ago
- ☆27Updated 8 years ago
- Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings☆45Updated 4 years ago
- Contract examples☆10Updated 2 years ago
- List of cryptocurrencies and smart contracts using functional programming languages☆14Updated 5 years ago
- Bitcoin data-structures library for OCaml☆43Updated 4 years ago
- Compiler for stack manipulation in Michelson☆14Updated 5 years ago
- A typed, functional language that targets the EVM.☆55Updated 7 years ago
- State-Transition Systems for Smart Contracts☆24Updated 4 years ago
- Oscoin Full Node Implementation in Haskell (Work in Progress)☆24Updated 4 years ago
- Structural (non-cryptographic) Python implementation of the Avalanche algorithm by TeamRocket☆15Updated 6 years ago
- Distributed Data Structures in Coq☆49Updated 11 years ago
- A framework to execute and verify algorithms using Groth16 zkSNARKs.☆90Updated 4 years ago
- Schnorr Protocol for Non-interactive Zero-Knowledge Proofs☆74Updated 4 years ago
- Rigorous computation of the endomorphism ring of a Jacobian☆10Updated 2 months ago
- Lightweight Browser-Based Javascript Hierarchical Temporal Memory☆21Updated 5 years ago
- Experimental language for verifiable computation using zero-knowledge proofs☆25Updated 6 years ago
- Well Typed Foundations 🏛️☆15Updated 3 years ago
- Exercises for the Dafny Tutorial☆10Updated 6 years ago