Similar repositories to gabriel-fallen/bidirectional-demo:
gabriel-fallen/bidirectional-demo
github
similar
yatima-inc/Parsec.lean
github
similar
neel-krishnaswami/proof-checker
github
similar
xubaiw/Unicode.lean
github
similar
xubaiw/csv
github
similar
lecopivo/lean4-karray
github
similar
TheoWinterhalter/sirtt
github
similar
hargoniX/cpdt-lean
github
similar
Anderssorby/Nix.lean
github
similar
arthurpaulino/NumLean
github
similar
groupoid/anders
github
similar
stefan-hoeck/idris2-eff
github
similar
opencompl/lean-mlir-semantics
github
similar
tydeu/lean4-itertools
github
similar
navilan/wabi
github
similar
yatima-inc/Megaparsec.lean
github
similar
pop-os/bustd
github
similar
jordiae/neural-compilers
github
similar
javra/iit
github
similar
nkandpa2/he_jax
github
similar
Nertsal/categories
github
similar
duckki/lean-quantum
github
similar
julesjacobs/cgraphs
github
similar
apt1002/mijit
github
similar
leanprover/doc-gen4
github
similar
objectionary/try-phi
github
similar
tolziplohu/durin
github
similar
codyroux/hoare-toy
github
similar
joehendrix/lean-sat-checker
github
similar
forked-from-1kasper/ground_zero
github
similar
dmort27/fststr
github
similar
ufmg-smite/lean-smt
github
similar
fan-tom/liquid-rust
github
similar
forked-from-1kasper/anders
github
similar
JamesGallicchio/LeanColls
github
similar
siddhartha-gadgil/Saturn
github
similar
jameysharp/optir
github
similar
rasendubi/alpha
github
similar
jdrprod/SATurne
github
similar
leanprover/lean4-samples
github
similar