Similar repositories to YaccConstructor/Meerkat:

• YaccConstructor/Meerkat github similar
• Blaisorblade/minidot github similar
• xu-hao/QueryArrow github similar
• IMCG/graph-theory-algorithms-book github similar
• ericfinster/higher-alg github similar
• MatthewDaggitt/agda-routing github similar
• jamievicary/globular github similar
• joom/type.systems github similar
• leon-vv/Todo github similar
• xgrommx/idris-ecosystem github similar
• abooij/wiwikwlhott github similar
• grin-compiler/idris-grin github similar
• MaiaVictor/ESCoC github similar
• TiarkRompf/minidot github similar
• algebraic-graphs/agda github similar
• JBakouny/Scallina github similar
• namin/dot github similar
• statebox/cql github similar
• gkossakowski/kentuckymule github similar
• astampoulis/makam github similar
• snowleopard/alga-paper github similar
• RedPRL/redtt github similar
• siddhartha-gadgil/ProvingGround github similar
• mattearnshaw/lawvere github similar
• andrejbauer/spartan-type-theory github similar
• wilbowma/cur github similar
• MaiaVictor/abstract-algorithm github similar
• statebox/idris-ct github similar
• jyh1/mmaclone github similar
• mirth-lang/mirth github similar
• graalvm/sulong github similar
• tofu-tf/tofu github similar
• MaiaVictor/Symmetric-Interaction-Calculus github similar
• gurkenlabs/litiengine github similar
• JetBrains/Arend github similar
• zneak/fcd github similar
• snowleopard/alga github similar
• grin-compiler/grin github similar
• tumblr/colossus github similar
• twitter/rsc github similar