Similar repositories to astump/cedille-core-spec:

• astump/cedille-core-spec github similar
• astump/cedilleum-spec github similar
• codedot/lambda github similar
• shaunlebron/parinfer github similar
• cedille/cedille-cast github similar
• groupoid/anders github similar
• cedille/cedille-developments github similar
• astump/cedille-core github similar
• Lapin0t/induction-recursion github similar
• Soonad/Formality-Haskell github similar
• nukata/little-scheme github similar
• W95Psp/verified-abstract-interpreter github similar
• hecrj/iced github similar
• tootsuite/mastodon github similar
• danistefanovic/build-your-own-x github similar
• pixijs/pixi.js github similar
• c-cube/quip github similar
• tromp/hs2blc github similar
• gergoerdi/interaction-nets github similar
• MaisaMilena/WatchBitcoin github similar
• MaisaMilena/Blockchain github similar
• shlevy/lambductive github similar
• LostPedro/Hackaton github similar
• thautwarm/Sequent.jl github similar
• ec-jones/presburger github similar
• radeusgd/QuotedPatternMatchingProof github similar
• jespercockx/reflection-tutorial github similar
• MaisaMilena/FriendlyNumbers github similar
• Zdancewic/linearity github similar
• MaiaVictor/formality-document github similar
• garfr/aqua github similar
• mietek/idris-js github similar
• Coq-Andes-Summer-School/CASS2020 github similar
• felipeperet/logic github similar
• RobertHarper/hott-notes github similar
• jdrprod/owl github similar
• david-christiansen/final-pretty-printer github similar
• ueliem/crispy-winner github similar
• brunoczim/typed-symmetric-interaction github similar
• a-nikolaev/jump github similar