Similar repositories to wilcoxjay/notes:

• wilcoxjay/notes github similar
• shlevy/cat-fiat github similar
• conal/agda-machines github similar
• Conservatory/quark github similar
• inc-lc/ilc-scala github similar
• ericfinster/orchard github similar
• mast-group/mineSStuBs github similar
• NICTA/xsharpx github similar
• nasa/PRECiSA github similar
• nikivazou/theorem-proving-template github similar
• mvr/cf github similar
• wilcoxjay/mypyvy github similar
• peterlefanulumsdaine/general-type-theories github similar
• UlfNorell/agda-summer-school github similar
• lukasmartinelli/hwk github similar
• tweag/linear-types github similar
• algebraic-graphs/agda github similar
• dlicata335/hott-agda github similar
• mit-plv/timl github similar
• standardml/twelf github similar
• haskell-lisp/yale-haskell github similar
• purescript/purescript-free github similar
• poetix/octarine github similar
• pietrobraione/jbse github similar
• TheoWinterhalter/formal-type-theory github similar
• polyglot-compiler/polyglot github similar
• AndrasKovacs/staged github similar
• non/antimirov github similar
• gasche/popl2017-papers github similar
• ilya-klyuchnikov/lambdapi github similar
• SymbolicPathFinder/jpf-symbc github similar
• Ptival/PeaCoq github similar
• ilya-klyuchnikov/ttlite github similar
• coq-community/coq-ext-lib github similar
• snowleopard/alga-paper github similar
• mit-plv/fiat github similar
• Bodigrim/arithmoi github similar
• sampsyo/ppl-intro github similar
• aya-prover/aya-dev github similar
• ezyang/logitext github similar