Similar repositories to mbudde/jana:

• mbudde/jana github similar
• Eloston/ungoogled-chromium github similar
• COST-IC1405/tr_materials github similar
• gergoerdi/system-f-agda github similar
• twitter/ambrose github similar
• haskoin/murmur3 github similar
• teh/gluon github similar
• ivan-m/transmogrify github similar
• clintonmead/indextype github similar
• MichaelXavier/tasty-fail-fast github similar
• ttuegel/refined-linear github similar
• ezyang/backpack-examples github similar
• SciHS/scihs-docs github similar
• robinvd/rlang github similar
• cocreature/smt-pretty github similar
• GamestonkTerminal/GamestonkTerminal github similar
• inanna-malick/hgit github similar
• sergei-romanenko/chapman-big-step-normalization github similar
• DianaPajon/tiger github similar
• cogumbreiro/brenner-coq github similar
• mietek/revcomp-tr github similar
• larrytheliquid/uAgda github similar
• ernius/formalmetatheory-stoughton github similar
• eborden/filepattern github similar
• joe9/GenericPretty github similar
• oguzhan/umbrella github similar
• iu-parfunc/popl18-lh-prover-artifact github similar
• haskell-distributed/network-transport-tests github similar
• dominictarr/webassembly-opcodes github similar
• pigworker/BiF github similar
• snowleopard/graph-algebra github similar
• hjwylde/language-qux github similar
• benjaminselfridge/propcheck github similar
• drdo/logic-translation github similar
• eugmes/imp github similar
• michaelpj/abstract-machine-debuggers github similar
• sabikin/Vein github similar
• kirkedal/rfun-interp github similar
• haskell-mafia/tinfoil github similar
• Blaisorblade/evalFromToAbsMachines github similar