Similar repositories to anoma/geb:
anoma/geb
github
similar
heliaxdev/witch
github
similar
anoma/namada-interface
github
similar
thealmarty/BoxesGoBananas
github
similar
anoma/juvix-stdlib
github
similar
anoma/specs
github
similar
mariari/kaleidoscope-LLVM8
github
similar
mariari/Misc-ML-Scripts
github
similar
NethermindEth/horus-compile
github
similar
yveszhang/ldtyping
github
similar
umazalakain/fyp
github
similar
anoma/typhon
github
similar
anoma/research
github
similar
anoma/taiga
github
similar
anoma/vamp-ir
github
similar
anoma/namada
github
similar
NethermindEth/horus-checker
github
similar
anoma/masp
github
similar
MaiaVictor/absal-ex
github
similar
GaloisInc/saw-core
github
similar
IagoAbal/haskell-z3
github
similar
anoma/ferveo
github
similar
SPY/idris-codegen-wasm
github
similar
murisi/L2
github
similar
martinescardo/TypeTopology
github
similar
anoma/juvix
github
similar
GuildOfWeavers/genSTARK
github
similar
SPY/haskell-wasm
github
similar
anoma/anoma
github
similar
jozefg/higher-order-unification
github
similar
microsoft/ivy
github
similar
MaiaVictor/abstract-algorithm
github
similar
frank-lang/frank
github
similar
andrejbauer/homotopy-type-theory-course
github
similar
MetaCoq/metacoq
github
similar
mgattozzi/curryrs
github
similar
matter-labs/zinc
github
similar
cedille/cedille
github
similar
hasura/eff
github
similar
EgbertRijke/HoTT-Intro
github
similar