Alternatives and similar repositories for awesome-quantum-computing

Users that are interested in awesome-quantum-computing are comparing it to the libraries listed below

• fission-codes / whitepaper
  The Fission Technical Whitepaper
  ☆21Updated 2 years ago
• gballet / windtrap
  A WASM VM written in Elixir
  ☆19Updated 5 years ago
• ZanjeerPlatform / csmt
  Compact Sparse Merkle Trees (CSMT) with pluggable storage.
  ☆38Updated 6 years ago
• statebox / fsm-oracle
  Finite state machines as graphs
  ☆59Updated 5 years ago
• sunblaze-ucb / coq-smart-contract
  ☆28Updated 8 years ago
• vindaloo-thesis / examples
  Code samples inspiring language design
  ☆24Updated 9 years ago
• machine-intelligence / Botworld
  A cellular automaton for studying self-modifying agents which are embedded in their environment
  ☆129Updated 11 years ago
• jules-hedges / awesome-applied-category-theory
  ACT community resources
  ☆21Updated 5 years ago
• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆38Updated 9 years ago
• mryndzionek / tlaplus_specs
  Different TLA+ specifications, mostly for learning purposes
  ☆32Updated last year
• neeraj9 / hello-erlang-rump
  Say hello to ErlangRump an Erlang Microkernel powered by Rumprun unikernel
  ☆14Updated 8 years ago
• serperu / secer
  SecEr: Erlang Code Evolution Control Tool
  ☆12Updated 2 years ago
• Licenser / ecrdt
  experimenting with CRDTs in erlang
  ☆32Updated 10 years ago
• mbrock / HBEAM
  Prototypical Haskell virtual machine for Erlang's BEAM bytecode
  ☆27Updated 13 years ago
• tezos / tezoscoq
  working with coq and tezos
  ☆28Updated 7 years ago
• marianoguerra / interfix
  an experimental programming language for the erlang vm that is actually useful
  ☆29Updated 5 years ago
• idris-hackers / idris-cph-exercises
  Exercises from the Idris lecture series presented at the ITU Copenhagen on March 11--15, updated to work with latest Idris releases.
  ☆23Updated 9 years ago
• simularity / SimGen
  A simulation language
  ☆21Updated 4 years ago
• zenprotocol / contracts
  Contract examples
  ☆10Updated 3 years ago
• myter / CAPtain
  Integrating the CAP theorem into distributed language design.
  ☆13Updated 6 years ago
• Rober-t / apxr_run
  A topology and parameter evolving universal learning network.
  ☆21Updated 5 years ago
• statebox / bcfwm
  Blockchain Technology for the Working Mathematician
  ☆24Updated 8 years ago
• andreaferretti / commutative-algebra
  An introduction to the basic ideas of commutative algebra
  ☆17Updated 5 years ago
• vbop9834 / evolixir
  Neuroevolution in Elixir based on the DXNN system in Erlang
  ☆10Updated 8 years ago
• hayesgm / signet
  Lightweight Ethereum Key Manager & RPC Client in Elixir
  ☆16Updated last week
• Rober-t / apxr
  A platform for the testing and optimisation of trading algorithms.
  ☆24Updated 5 years ago
• altaris / opetopy
  Proof assistant for opetope and opetopic set derivation systems
  ☆15Updated 5 years ago
• OvermindDL1 / typed_elixir
  ☆19Updated 8 years ago
• wires / wtf
  Well Typed Foundations 🏛️
  ☆15Updated 4 years ago
• dgud / blas
  Blas for erlang
  ☆17Updated 2 years ago