Similar repositories to siegebell/vscoq-pg:

• siegebell/vscoq-pg github similar
• danistefanovic/build-your-own-x github similar
• brixen/Epigram github similar
• chrisamaphone/lfinlf github similar
• TomasMikula/Principled github similar
• mietek/formal-logic github similar
• emilaxelsson/syntactic github similar
• adriaanm/scala-virtualized-tutorial github similar
• david-christiansen/derive-all-the-instances github similar
• andreasabel/strong-normalization github similar
• heathermiller/f-p github similar
• LaifsV1/YUP github similar
• TikhonJelvis/Cow github similar
• nunchaku-inria/nunchaku github similar
• shriram/repro-in-cs github similar
• Saizan/miller github similar
• samuelgruetter/dot-calculus github similar
• plclub/metalib github similar
• TiarkRompf/minidot github similar
• yallop/popl2015-papers github similar
• DeepSpec/dsss17 github similar
• llelf/icfp2020-papers github similar
• type-theory/learn-tt github similar
• pigworker/MetaprogAgda github similar
• jonsterling/JonPRL github similar
• ekmett/bound github similar
• TiarkRompf/lancet github similar
• heathermiller/spores github similar
• Gabriel439/Haskell-Foldl-Library github similar
• gkossakowski/kentuckymule github similar
• Beluga-lang/Beluga github similar
• jozefg/higher-order-unification github similar
• w7cook/AoPL github similar
• type-theory/type-theory-study-group github similar
• js-scala/js-scala github similar
• snowleopard/alga-paper github similar
• mikeizbicki/HerbiePlugin github similar
• wilbowma/cur github similar
• microsoft/vscode-mock-debug github similar
• ott-lang/ott github similar