Similar repositories to rfindler/395-2017:

• rfindler/395-2017 github similar
• tootsuite/mastodon github similar
• AlexKnauth/struct-like-struct-type-property github similar
• vishesh/racketscript github similar
• pmatos/racket-loci github similar
• euhmeuh/web-galaxy github similar
• lexi-lambda/talks github similar
• david-christiansen/todo-list github similar
• Gradual-Typing/Grift github similar
• mflatt/gc-demo github similar
• gelisam/klister github similar
• gallais/idris-tparsec github similar
• andreasabel/miniagda github similar
• gallais/agdarsec github similar
• greghendershott/markdown github similar
• racket/racket7 github similar
• bscarlet/llvm-general github similar
• ekmett/coda github similar
• suhailshergill/extensible-effects github similar
• ekmett/guanxi github similar
• uhub/awesome-coq github similar
• soegaard/urlang github similar
• ckknight/gorillascript github similar
• akeep/nanopass-framework github similar
• racket/drracket github similar
• willghatch/racket-rash github similar
• racket/typed-racket github similar
• kowainik/stan github similar
• hasura/eff github similar
• matijapretnar/eff github similar
• derive4j/derive4j github similar
• the-little-typer/pie github similar
• IUCompilerCourse/Essentials-of-Compilation github similar
• justinethier/cyclone github similar
• CakeML/cakeml github similar
• MLton/mlton github similar
• nuprl/10PL github similar
• Gabriel439/Haskell-Turtle-Library github similar
• WardCunningham/remodeling github similar
• polysemy-research/polysemy github similar