Similar repositories to Agnishom/lattice-mtl:

• Agnishom/lattice-mtl github similar
• anoma/juvix-archived github similar
• danistefanovic/build-your-own-x github similar
• conal/Collaboration github similar
• Lysxia/coq-recursion-schemes github similar
• bacam/handlers-in-ott github similar
• maciejpirog/exotic-list-monads github similar
• anuyts/ctx-alg github similar
• jasigal/handlers-in-action github similar
• wz1000/Haskell-Scheme github similar
• mroman42/vitrea-agda github similar
• aa755/paramcoq github similar
• jtkristensen/f-flat github similar
• danelahman/POPL18 github similar
• stefaniatadama/inductive_types github similar
• AviCraimer/category-theory-diagrams github similar
• michaelsproul/dblib-linear github similar
• aturon/Caper github similar
• elpinal/focused-modules github similar
• metaborg/mj.agda github similar
• L-TChen/ModalTypeTheory github similar
• forked-from-1kasper/anders github similar
• ayberkt/sml-system-t github similar
• jonaprieto/agda-prop github similar
• edwinb/SchemeEval github similar
• dorchard/betty-book-haskell-sessions github similar
• Zekt/Type-Embellishment github similar
• 5HT/DependentLinearPi github similar
• math-comp/tutorial_material github similar
• conal/agda-cat-linear github similar
• matijapretnar/proofs github similar
• ayberkt/sequents github similar
• andreasabel/agda2lagda github similar
• casvdrest/composable-semantics github similar
• andreasabel/helf github similar
• metaborg/linear.agda github similar
• weakmemory/imm github similar
• effectfully/STLC github similar
• owo-lang/Mini-TT github similar
• lastland/ClairvoyanceMonad github similar