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