Similar repositories to Quantomatic/quantomatic:
Quantomatic/quantomatic
github
similar
danistefanovic/build-your-own-x
github
similar
gibiansky/IHaskell
github
similar
Eloston/ungoogled-chromium
github
similar
tootsuite/mastodon
github
similar
oxford-quantum-group/discopy
github
similar
RobertHarper/hott-notes
github
similar
Quantomatic/pyzx
github
similar
UlfNorell/x86-agda
github
similar
mr-ohman/logrel-mltt
github
similar
shaunlebron/parinfer
github
similar
oisdk/agda-ring-solver
github
similar
valis/hoq
github
similar
groupoid/anders
github
similar
fredefox/cat
github
similar
jozefg/blott
github
similar
martinescardo/TypeTopology
github
similar
artiste-qb-net/qubiter
github
similar
boschmitt/tweedledum
github
similar
aspiwack/peppermint-prover
github
similar
pixijs/pixi.js
github
similar
aquynh/capstone
github
similar
teyjus/teyjus
github
similar
quantumlib/Stim
github
similar
sboixo/GRCS
github
similar
UlfNorell/insane
github
similar
ngnrsaa/qflex
github
similar
gallais/agda-sizedIO
github
similar
msakai/cpl
github
similar
jamievicary/globular
github
similar
gallais/agdarsec
github
similar
ekmett/propagators
github
similar
ott-lang/ott
github
similar
dlicata335/cart-cube
github
similar
QuantumAI-lib/NISQAI
github
similar
copumpkin/categories
github
similar
Beluga-lang/Beluga
github
similar
david-christiansen/idris-type-providers
github
similar
statusfailed/cartographer
github
similar
Andromedans/andromeda
github
similar