Similar repositories to sweirich/trellys:

• sweirich/trellys github similar
• gibiansky/IHaskell github similar
• RobertHarper/hott-notes github similar
• aquynh/capstone github similar
• danistefanovic/build-your-own-x github similar
• lukemaurer/sequent-core github similar
• sdiehl/picologic github similar
• nikivazou/theorem-proving-template github similar
• pigworker/Frank github similar
• ericfinster/opetopes-in-agda github similar
• jozefg/miniprl github similar
• conal/circat github similar
• jyp/nano-Agda github similar
• david-christiansen/pudding-old github similar
• nbenton/coqdomains github similar
• heades/System-F-Coq github similar
• yav/type-nat-solver github similar
• yav/presburger github similar
• wilbowma/cic-redex github similar
• SMLFamily/The-Mechanization-of-Standard-ML github similar
• ericfinster/opetopic github similar
• dalaing/type-systems github similar
• dysinger/agda-haskell-c-ffi-layer-cake github similar
• pcapriotti/agda-base github similar
• ekmett/categories github similar
• sweirich/hs-inferno github similar
• llvm-hs/llvm-hs-typed github similar
• pixijs/pixi.js github similar
• precog/quasar github similar
• mathandley/RTick github similar
• Saizan/miller github similar
• srdqty/talc-3.0 github similar
• ekmett/codebruijn github similar
• thoughtpolice/claap github similar
• msprotz/proof-search-monad github similar
• adamgundry/type-inference github similar
• inanna-malick/hgit github similar
• ekmett/hyperfunctions github similar
• david-christiansen/epigram1 github similar
• LightAndLight/qtt github similar