Similar repositories to joom/metaprogrammable-editor:
joom/metaprogrammable-editor
github
similar
danistefanovic/build-your-own-x
github
similar
tootsuite/mastodon
github
similar
coq-contribs/finger-tree
github
similar
joom/edit-time-tactics
github
similar
vishesh/racketscript
github
similar
bedrocksystems/coq-lens
github
similar
tchajed/coq-tactical
github
similar
proofengineering/proofengineering-bib
github
similar
appliedfm/vstyle
github
similar
cdfa/frugel
github
similar
Ucombinator/parsing-with-zippers
github
similar
gmalecha/coq-printf
github
similar
joom/proof-tree-builder
github
similar
dboulytchev/miniKanren-coq
github
similar
tonyg/racket-monad
github
similar
coq-community/atbr
github
similar
Lysxia/coq-simple-io
github
similar
langston-barrett/CoverTranslator
github
similar
wilbowma/dissertation
github
similar
uhmanoa-transpiler-project/shaka-scheme
github
similar
pietervdvn/ALGT2
github
similar
nikivazou/theorem-proving-template
github
similar
jpaykin/LNLHaskell
github
similar
maxsnew/modal-scheme
github
similar
intoverflow/Potential
github
similar
gallais/parseque
github
similar
andgate/type-theory-compiler
github
similar
ejgallego/pycoq
github
similar
llelf/icfp2019-papers
github
similar
uwplse/pumpkin-pi
github
similar
coq-community/paramcoq
github
similar
david-christiansen/epigram1
github
similar
OPLSS/oplss-notes-2018
github
similar
bedrocksystems/BRiCk
github
similar
mit-plv/riscv-coq
github
similar
arthurxavierx/purescript-comonad-ui-todos
github
similar
TOTBWF/tactic-haskell
github
similar
WasmCert/WasmCert-Coq
github
similar
discus-lang/salt
github
similar