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