Similar repositories to scaup/fae-gtlc-mu:

• bedrocksystems/cpp2v github similar
• scaup/fae-gtlc-mu github similar
• precog/quasar github similar
• danistefanovic/build-your-own-x github similar
• dwijnand/sbt-dynver github similar
• gares/coq-defunctor github similar
• Franciman/ellipse github similar
• epfl-lara/SystemFR github similar
• andrejbauer/rz github similar
• julesjacobs/cgraphs github similar
• uds-psl/autosubst-ocaml github similar
• TiarkRompf/graal-playground github similar
• LukaJCB/typelevel-workshop github similar
• VincentToups/raylib-chibi github similar
• shayan-najd/QFeldspar github similar
• TomasMikula/Principled github similar
• rtyley/scala-git github similar
• amaurremi/dot-calculus github similar
• ThoughtWorksInc/Extractor.scala github similar
• adriaanm/scala-virtualized-tutorial github similar
• Blaisorblade/dot-iris github similar
• olafurpg/sbt-big github similar
• mit-plv/bbv github similar
• math-comp/algebra-tactics github similar
• gallais/agda-presburger github similar
• andreasabel/strong-normalization github similar
• aaronlevin/scala-gitrev github similar
• tchajed/coq-record-update github similar
• tchajed/iris-simp-lang github similar
• andrejbauer/dedekind-reals github similar
• andrejbauer/mathematics-and-computation github similar
• ejgallego/pycoq github similar
• coq-community/autosubst github similar
• travisbrown/abstracted github similar
• gallais/generic-syntax github similar
• coq-community/paramcoq github similar
• gallais/potpourri github similar
• bedrocksystems/BRiCk github similar
• peterlefanulumsdaine/general-type-theories github similar
• awodey/CatLogNotes github similar