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