Similar repositories to cmcl/franklyfrank:

• cmcl/franklyfrank github similar
• gibiansky/IHaskell github similar
• danistefanovic/build-your-own-x github similar
• jonsterling/itt-bidirectional github similar
• pigworker/Box github similar
• pigworker/LibAgda github similar
• steinwaywhw/ats-parcc github similar
• aquynh/capstone github similar
• jonsterling/coq-meaning-explanation github similar
• jonsterling/sml-pronominal-ml github similar
• ivan-m/transmogrify github similar
• jozefg/concurrent-stack-with-helping github similar
• 5HT/agda-nr-cats github similar
• aziem/keystone-ocaml github similar
• hecrj/iced github similar
• ayberkt/Mini-TT github similar
• orca-lang/orca github similar
• cmcl/frankjnr github similar
• matijapretnar/proofs github similar
• nushio3/unittyped github similar
• RobertHarper/hott-notes github similar
• cocreature/pfpl-redex github similar
• barrucadu/coco github similar
• dima-starosud/Dynamic github similar
• mikeshulman/hott-categories github similar
• jonsterling/Agda-Sheaves github similar
• ayberkt/rafine github similar
• mietek/abel-chapman-extended github similar
• nmvdw/Three-HITs github similar
• jkoppel/thermometer-continuations github similar
• gmalecha/coq-interaction-trees github similar
• kframework/haskell-core-semantics github similar
• dorchard/effectful-explanations-talk github similar
• saltlang/saltlang github similar
• Soostone/stoplight github similar
• jozefg/fibrational-semantics github similar
• mr-ohman/intuitionistic-normalization github similar
• pigworker/PolyTest github similar
• dlicata335/cubicalexperiments github similar
• asajeffrey/finite-dtypes github similar