Similar repositories to inQWIRE/QuantumLib:
inQWIRE/QuantumLib
github
similar
zalando/connexion
github
similar
inQWIRE/openqasm-parser
github
similar
LambdaQs/lambda-qs
github
similar
SomewhatML/match-compile
github
similar
mimoo/fromager
github
similar
thierry-martinez/pyast
github
similar
ghuysmans/algebra
github
similar
craff/pacomb
github
similar
inQWIRE/SQIR
github
similar
RobertHarper/hott-notes
github
similar
SumitPadhiyar/confuzz
github
similar
tmattio/omigrate
github
similar
smtcoq/sniper
github
similar
hellerve/microml
github
similar
jasonmorton/Cateno
github
similar
derhuerst/gtfs-via-postgres
github
similar
janestreet/sexp
github
similar
tlringer/plugin-tutorial
github
similar
matamalaortiz/Pong-ML
github
similar
uwplse/CoqAST
github
similar
upenn-cis1xx/camelot
github
similar
miking-lang/miking
github
similar
Sketch-sh/engine
github
similar
ammkrn/nanoda
github
similar
corwin-of-amber/ocaml-wasm
github
similar
paurkedal/ppx_regexp
github
similar
patricoferris/sesame
github
similar
CompSciCabal/SMRTYPRTY
github
similar
charlesetc/feather
github
similar
inQWIRE/QWIRE
github
similar
mmcqd/pure
github
similar
mit-plv/riscv-coq
github
similar
ocaml-toml/To.ml
github
similar
edwinb/Yaffle
github
similar
aptos-labs/move
github
similar
ocurrent/ocaml-ci
github
similar
cpitclaudel/alectryon
github
similar
remixlabs/wasicaml
github
similar
ndmitchell/rattle
github
similar