expede / awesome-quantum-computingLinks
A curated list of awesome quantum computing resources. Inspired by the various awesome-* projects
☆11Updated 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:
- Economics études: books, papers and courses☆22Updated 3 years ago
- experimenting with CRDTs in erlang☆32Updated 10 years ago
- Integrating the CAP theorem into distributed language design.☆13Updated 7 years ago
- SecEr: Erlang Code Evolution Control Tool☆12Updated 3 years ago
- A merkel tree on the hard drive for a blockchain, written in erlang.☆22Updated 2 years ago
- Different TLA+ specifications, mostly for learning purposes☆31Updated last year
- Sophia Smart Contract examples using AEproject.☆23Updated 2 years ago
- A WASM VM written in Elixir☆19Updated 5 years ago
- A cellular automaton for studying self-modifying agents which are embedded in their environment☆129Updated 11 years ago
- Prototypical Haskell virtual machine for Erlang's BEAM bytecode☆27Updated 14 years ago
- Say hello to ErlangRump an Erlang Microkernel powered by Rumprun unikernel☆14Updated 9 years ago
- Exthereum, The Elixir Ethereum Client☆22Updated 7 years ago
- Compact Sparse Merkle Trees (CSMT) with pluggable storage.☆39Updated 7 years ago
- Scientific Computing on the Erlang VM - An LFE Wrapper Library for SciPy, NumPy, etc.☆69Updated 9 years ago
- Functional Programming for Ethereum: Intro and Resources☆66Updated 8 years ago
- an experimental programming language for the erlang vm that is actually useful☆29Updated 6 years ago
- ☆28Updated 9 years ago
- Stand alone compiler for the Sophia smart contract language☆53Updated last month
- [kept for historical reasons, see efene] a calculator implemented in erlang that will turn into a toy language if I have time☆16Updated 16 years ago
- library for modeling Petri nets in Erlang☆64Updated 9 months ago
- A platform for the testing and optimisation of trading algorithms.☆24Updated 6 years ago
- Aeternity virtual machines byte code modules☆14Updated last year
- Distributed key generation for Erlang (using pairing based cryptography)☆43Updated 2 years ago
- TectonicDB client library for Elixir to read/write L2 order book data☆16Updated 2 years ago
- Blockchain Technology for the Working Mathematician☆24Updated 8 years ago
- Erlang flavored by Some ML☆36Updated 13 years ago
- Erlang Design by Contract☆23Updated 7 years ago
- Forge Elixir SDK☆20Updated 5 years ago
- Obsidian language development☆80Updated last week
- A system for computational category theory and applications☆40Updated 9 years ago