expede / awesome-quantum-computing
A curated list of awesome quantum computing resources. Inspired by the various awesome-* projects
☆10Updated 8 years ago
Alternatives and similar repositories for awesome-quantum-computing
Users that are interested in awesome-quantum-computing are comparing it to the libraries listed below
Sorting:
- Different TLA+ specifications, mostly for learning purposes☆32Updated last year
- The Fission Technical Whitepaper☆21Updated 2 years ago
- Compact Sparse Merkle Trees (CSMT) with pluggable storage.☆38Updated 6 years ago
- Economics études: books, papers and courses☆20Updated 2 years ago
- A cellular automaton for studying self-modifying agents which are embedded in their environment☆129Updated 10 years ago
- Offline-first, decentralized graph database of collaborative Web apps☆15Updated 8 years ago
- Elixir 101 training. Done by @ericmj and me.☆19Updated 4 years ago
- Full text index engine in Elm language inspired by lunr.js.☆42Updated last month
- Delta-State Convergent Replicated Data Types (ẟ-CRDTs) for the Pony language.☆38Updated 5 years ago
- A chess library.☆14Updated 2 years ago
- A WASM VM written in Elixir☆19Updated 5 years ago
- Basic proof-of-custody library☆7Updated 10 years ago
- ☆28Updated 8 years ago
- experimenting with CRDTs in erlang☆32Updated 10 years ago
- A test execution engine for Michelson smart contracts.☆17Updated 6 years ago
- A demo of analyzing a TLA+ state graph☆29Updated 2 years ago
- Lightweight Ethereum Key Manager & RPC Client in Elixir☆16Updated last week
- Finite state machines as graphs☆59Updated 4 years ago
- Elm Port wrapper around Phoenix Socket/Presence javascript library to allow compatibility with existing javascript websocket usage☆14Updated 8 years ago
- A 3D rigid-body physics library for Elixir.☆9Updated 3 years ago
- State-Transition Systems for Smart Contracts☆24Updated 4 years ago
- Functional Programming for Ethereum: Intro and Resources☆66Updated 8 years ago
- Scientific Computing on the Erlang VM - An LFE Wrapper Library for SciPy, NumPy, etc.☆70Updated 9 years ago
- Contract examples☆10Updated 3 years ago
- Gradual introduction to interactive graphics programs.☆10Updated 4 years ago
- Hygienic typed literal macros (TLMs) for Reason☆209Updated 6 years ago
- A topology and parameter evolving universal learning network.☆20Updated 5 years ago
- Legacy code for Guild's original implementation in Erlang☆53Updated 7 years ago
- Erlang flavored by Some ML☆36Updated 13 years ago
- Native Phoenix channels in Elm☆46Updated 8 years ago