Similar repositories to cangiuli/cmu-thesis-memoir:

• cangiuli/cmu-thesis-memoir github similar
• danistefanovic/build-your-own-x github similar
• gibiansky/IHaskell github similar
• RedPRL/sml-lcf github similar
• vrahli/EventML github similar
• silvanshade/cool-tt github similar
• leo-colisson/zx-calculus github similar
• pigworker/Ship github similar
• agda/guarded github similar
• mmcqd/fibertt github similar
• Univalent-Math/Univalent-Math.github.io github similar
• paolobrasolin/math-a11y github similar
• XmacsLabs/interactive-sicp github similar
• pigworker/SmolCat github similar
• ejgallego/real-world-coq github similar
• mortberg/TypeTheory github similar
• gebner/lean4 github similar
• clayrat/blott-experiments github similar
• xuanruiqi/algebraic-geometry github similar
• tonyg/texpict.rkt github similar
• favonia/ocaml-objdump github similar
• nmvdw/RezkCompletion github similar
• RobertHarper/pfpl-defns github similar
• groupoid/anders github similar
• 15-317/tutch github similar
• jonsterling/latex-dieudonne github similar
• nbenton/coqdomains github similar
• JohnReppy/sml-compiler-utils github similar
• kerodon/kerodon-website github similar
• paolobrasolin/jekyll-agda github similar
• maxsnew/grammars-and-semantic-actions github similar
• david-christiansen/jonprl-mode github similar
• ayberkt/sml-system-f github similar
• AndrasKovacs/qiit-generalizations github similar
• ejgallego/coq-universe github similar
• clayrat/coherence-spaces github similar
• mikeshulman/cohesivett github similar
• agda/agda-spec github similar
• kckennylau/mathlib4 github similar
• elpinal/focused-modules github similar