Similar repositories to gasche/acmart:

• gasche/acmart github similar
• DmxLarchey/ite-normalisation github similar
• andreasabel/proposal-agda-tutorial github similar
• jkoppel/thermometer-continuations github similar
• andreasabel/ipl github similar
• ezyang/lr-agda github similar
• L-TChen/MtacAR github similar
• uwplse/CoqAST github similar
• andrejbauer/what-is-algebraic-about-algebraic-effects github similar
• jsiek/gradual-typing-in-agda github similar
• mpickering/icfp2015-papers github similar
• JoeyEremondi/haskelm github similar
• Mtac2/Mtac2 github similar
• Saizan/miller github similar
• plclub/metalib github similar
• sweirich/corespec github similar
• SMLFamily/The-Mechanization-of-Standard-ML github similar
• alhassy/gentle-intro-to-reflection github similar
• jyp/nano-Agda github similar
• OPLSS/introduction-to-algebraic-effects-and-handlers github similar
• slindley/effect-handlers github similar
• leanprover/logic_and_proof github similar
• lpw25/girards-paradox github similar
• edwinb/SPLV20 github similar
• johnwhitington/ocamli github similar
• jozefg/nbe-for-mltt github similar
• namin/staged-miniKanren github similar
• mjambon/dune-starter github similar
• effect-handlers/effects-rosetta-stone github similar
• discus-lang/iron github similar
• sweirich/tal github similar
• stedolan/ppx_stage github similar
• ucsd-progsys/elsa github similar
• Beluga-lang/Beluga github similar
• type-theory/type-theory-study-group github similar
• DeepSpec/InteractionTrees github similar
• cpitclaudel/alectryon github similar
• clarus/coq-chick-blog github similar
• mattam82/Coq-Equations github similar
• mietek/total-fp github similar