Similar repositories to SamuelSchlesinger/gross:

• SamuelSchlesinger/gross github similar
• yurrriq/lets-lens github similar
• Blaisorblade/evalFromToAbsMachines github similar
• overminder/punch-forward github similar
• lepoetemaudit/alpaca-repl github similar
• kseo/poly github similar
• esengie/fpl-exploration-tool github similar
• cyrus-/thesis github similar
• dbp/howtoprovefullabstraction github similar
• istoilkovska/synchronous-tla-benchmarks github similar
• pietervdvn/ALGT2 github similar
• eirproject/whirl github similar
• nikivazou/theorem-proving-template github similar
• dbp/funtal github similar
• willcrichton/rabbot github similar
• edwinb/States github similar
• nerves-project/nerves_system_rpi github similar
• berke/aurochs github similar
• AndyShiue/pts github similar
• diku-kmc/kleenexlang github similar
• sehraf/riscv-arch-image-builder github similar
• UlfNorell/insane github similar
• sunchao/tiger github similar
• dvanhorn/redex-aam-tutorial github similar
• zjhmale/Ntha github similar
• andreasabel/miniagda github similar
• gasche/popl2017-papers github similar
• poonai/aran github similar
• pkamenarsky/typedraw github similar
• mietek/charity-lang github similar
• guillaumebort/scasm github similar
• math-comp/mcb github similar
• typed-wire/typed-wire github similar
• sweirich/tal github similar
• mstksg/hamilton github similar
• alehander92/hivemind github similar
• WebGHC/wasm-cross github similar
• lasp-lang/types github similar
• gasche/icfp2017-papers github similar
• 7sharp9/write-you-an-inference-in-fsharp github similar