Alternatives and similar repositories for awesome-quantum-computing:

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

• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆37Updated 8 years ago
• mryndzionek / tlaplus_specs
  Different TLA+ specifications, mostly for learning purposes
  ☆31Updated 8 months ago
• schnef / ed25519
  Erlang port program for ed25519 sign and verify from libsodium
  ☆10Updated 5 years ago
• fission-codes / whitepaper
  The Fission Technical Whitepaper
  ☆20Updated 2 years ago
• SimonJF / monitored-session-erlang
  Supervised Session Actors
  ☆22Updated 8 years ago
• statebox / fsm-oracle
  Finite state machines as graphs
  ☆59Updated 4 years ago
• mbrock / HBEAM
  Prototypical Haskell virtual machine for Erlang's BEAM bytecode
  ☆27Updated 13 years ago
• unbalancedparentheses / learn_economics
  Economics études: books, papers and courses
  ☆19Updated 2 years ago
• tezos / tezoscoq
  working with coq and tezos
  ☆28Updated 7 years ago
• crertel / elixir_rigid_physics
  A 3D rigid-body physics library for Elixir.
  ☆10Updated 3 years ago
• dgud / blas
  Blas for erlang
  ☆17Updated last year
• cmeiklejohn / distributed-data-structures
  Distributed Data Structures in Coq
  ☆49Updated 11 years ago
• pirapira / fp-ethereum
  Functional Programming for Ethereum: Intro and Resources
  ☆66Updated 7 years ago
• machine-intelligence / Botworld
  A cellular automaton for studying self-modifying agents which are embedded in their environment
  ☆129Updated 10 years ago
• OvermindDL1 / elm-jsphoenix
  Elm Port wrapper around Phoenix Socket/Presence javascript library to allow compatibility with existing javascript websocket usage
  ☆14Updated 8 years ago
• hwayne / tla-graphing-demo
  A demo of analyzing a TLA+ state graph
  ☆29Updated last year
• bor0 / dafny-tutorial
  Exercises for the Dafny Tutorial
  ☆10Updated 6 years ago
• marianoguerra / interfix
  an experimental programming language for the erlang vm that is actually useful
  ☆29Updated 5 years ago
• vindaloo-thesis / examples
  Code samples inspiring language design
  ☆24Updated 8 years ago
• ZanjeerPlatform / csmt
  Compact Sparse Merkle Trees (CSMT) with pluggable storage.
  ☆38Updated 6 years ago
• statebox / bcfwm
  Blockchain Technology for the Working Mathematician
  ☆24Updated 7 years ago
• aeternity / aepp-sophia-examples
  Sophia Smart Contract examples using AEproject.
  ☆23Updated last year
• vendethiel / ADT.ex
  Light ADTs for Elixir
  ☆11Updated 5 years ago
• Qqwy / elixir_gen_frp
  ☆17Updated 7 years ago
• aeternity / aebytecode
  Aeternity virtual machines byte code modules
  ☆14Updated 8 months ago
• jmitchell / idris-elixir
  Idris backend targeting Elixir (Work in progress)
  ☆18Updated 7 years ago
• edgarcosta / endomorphisms
  Rigorous computation of the endomorphism ring of a Jacobian
  ☆10Updated 4 months ago
• andreaferretti / commutative-algebra
  An introduction to the basic ideas of commutative algebra
  ☆16Updated 4 years ago