Similar repositories to david-christiansen/jonprl-mode:

• david-christiansen/jonprl-mode github similar
• gibiansky/IHaskell github similar
• RedPRL/sml-lcf github similar
• jonsterling/sml-ifol-completeness github similar
• jonsterling/coq-meaning-explanation github similar
• jonsterling/brouwer-translations github similar
• jonsterling/bar-induction-slides github similar
• jozefg/ctt.elf github similar
• fferreira/NbE github similar
• FranklinChen/cmu-cs-212ML-notes-spring-1998 github similar
• jozefg/classical-realizability github similar
• nbenton/coqdomains github similar
• jozefg/sml-abt-unify github similar
• FranklinChen/schreiner-friedman-pretty-printer github similar
• ayberkt/system-t-normalization github similar
• pigworker/Ship github similar
• amintimany/OPLSS github similar
• cangiuli/cmu-thesis-memoir github similar
• agda/guarded github similar
• jonsterling/remark-on-hypothetical-judgment github similar
• tel/ocaml-abt github similar
• david-christiansen/Brainfun github similar
• slamdata/scala-abt github similar
• pigworker/SmolCat github similar
• jonsterling/agda-bar-induction github similar
• chrisamaphone/celf-tutorial github similar
• mortberg/TypeTheory github similar
• gebner/lean4 github similar
• clayrat/blott-experiments github similar
• SydneyTypes/PLATYPUS github similar
• kerodon/kerodon-website github similar
• maxsnew/grammars-and-semantic-actions github similar
• aa755/ROSCoq github similar
• mikeshulman/cohesivett github similar
• ekmett/groupoids github similar
• jozefg/sml-fingertree github similar
• AndrasKovacs/qiit-generalizations github similar
• vrahli/NuprlInCoq github similar
• thsutton/cha github similar
• chrisamaphone/lfinlf github similar