Similar repositories to dbp/literatecoq:
dbp/literatecoq
github
similar
skeuchel/gdtc
github
similar
chrisamaphone/drinks
github
similar
lambdabot/IOSpec
github
similar
CoqHott/DICoq
github
similar
nuprl/gradual-typing-performance
github
similar
wilbowma/scribble-coq
github
similar
YaZko/Coq_Cheat_Sheet
github
similar
racket/data
github
similar
vasilisp/inez
github
similar
gmalecha/template-coq
github
similar
david-christiansen/todo-list
github
similar
uwplse/magic
github
similar
stamourv/racket-benchmark
github
similar
hephaestus-pl/coqfj
github
similar
jashug/FormalizedCompilerAlgorithms
github
similar
imfd/GraphCoQL
github
similar
lastland/ClairvoyanceMonad
github
similar
david-christiansen/dr-racket-like-unicode
github
similar
SimonBoulier/TypingFlags
github
similar
justinpombrio/synless
github
similar
gmalecha/coq-interaction-trees
github
similar
mlin/should.ml
github
similar
mit-plv/rewriter
github
similar
dvanhorn/dpc
github
similar
sifive/ProcKami
github
similar
thery/coqprime
github
similar
ybertot/plugin_tutorials
github
similar
tchajed/coq-record-update
github
similar
philnguyen/z3-rkt
github
similar
LightAndLight/parametricity-proofs
github
similar
xavierleroy/coq2html
github
similar
Lysxia/coq-simple-io
github
similar
jbclements/rust-redex
github
similar
pigworker/EGTBS
github
similar
palmskog/coq-program-verification-template
github
similar
pedrotst/coquedille
github
similar
danelahman/haskell-coop
github
similar
plum-umd/cgc
github
similar
QuickChick/Luck
github
similar