Similar repositories to jonsterling/JonPRL:
jonsterling/JonPRL
github
similar
gibiansky/IHaskell
github
similar
danistefanovic/build-your-own-x
github
similar
RobertHarper/hott-notes
github
similar
jozefg/miniprl
github
similar
SMLFamily/The-Mechanization-of-Standard-ML
github
similar
pixijs/pixi.js
github
similar
vrahli/NuprlInCoq
github
similar
mortberg/yacctt
github
similar
RedPRL/sml-redprl
github
similar
bobatkey/sott
github
similar
valis/hoq
github
similar
AndrasKovacs/system-f-omega
github
similar
Saizan/miller
github
similar
Eloston/ungoogled-chromium
github
similar
pigworker/MetaprogAgda
github
similar
UlfNorell/insane
github
similar
TheoWinterhalter/formal-type-theory
github
similar
spire/spire
github
similar
andreasabel/miniagda
github
similar
ReactTraining/react-router
github
similar
aquynh/capstone
github
similar
tootsuite/mastodon
github
similar
gasche/popl2018-papers
github
similar
gallais/typing-with-leftovers
github
similar
dlicata335/cart-cube
github
similar
abella-prover/abella
github
similar
UlfNorell/agda-prelude
github
similar
jyp/nano-Agda
github
similar
UlfNorell/agda-summer-school
github
similar
BekaValentine/SimpleFP-v2
github
similar
dlicata335/hott-agda
github
similar
RedPRL/sml-typed-abts
github
similar
TOTBWF/muprl
github
similar
jozefg/nbe-for-mltt
github
similar
metaborg/linear.agda
github
similar
mr-ohman/logrel-mltt
github
similar
gallais/potpourri
github
similar
effectfully/OTT
github
similar
sweirich/tal
github
similar