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