Similar repositories to pnwamk/typeset-rewriter:
pnwamk/typeset-rewriter
github
similar
wilbowma/accelerate
github
similar
brownplt/Resugarer
github
similar
shriram/repro-in-cs
github
similar
ahorn/linearizability-checker
github
similar
gasche/popl2014-papers
github
similar
brownplt/LambdaS5
github
similar
iu-parfunc/lvars
github
similar
racket/redex
github
similar
ravichugh/djs
github
similar
brownplt/LambdaJS
github
similar
dvanhorn/redex-aam-tutorial
github
similar
heathermiller/spores
github
similar
thomasjball/PyExZ3
github
similar
liamoc/learn-you-an-agda
github
similar
pts/pdfsizeopt
github
similar
Mercury-Language/mercury
github
similar
nuprl/10PL
github
similar
AccelerateHS/accelerate
github
similar
lexi-lambda/hackett
github
similar
MLstate/opalang
github
similar
jonase/kibit
github
similar
jozefg/learn-tt
github
similar
dafny-lang/dafny
github
similar
koka-lang/koka
github
similar
weavejester/hiccup
github
similar
p-org/P
github
similar
magomimmo/modern-cljs
github
similar
idris-lang/Idris-dev
github
similar
heathermiller/dist-prog-book
github
similar
commercialhaskell/stack
github
similar
steshaw/plt
github
similar
lampepfl/dotty
github
similar
ponylang/ponyc
github
similar
JanVanRyswyck/awesome-talks
github
similar
ddollar/foreman
github
similar
cisco/ChezScheme
github
similar
middleman/middleman
github
similar
Z3Prover/z3
github
similar
mawww/kakoune
github
similar