BekaValentine / so-you-want-to-write-a-type-checkerLinks
☆55Updated 8 years ago
Alternatives and similar repositories for so-you-want-to-write-a-type-checker
Users that are interested in so-you-want-to-write-a-type-checker are comparing it to the libraries listed below
Sorting:
- TiML: A Functional Programming Language with Time Complexity☆79Updated 7 years ago
- (Nominal) Adapton in OCaml☆54Updated 9 years ago
- A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism☆101Updated 8 years ago
- LVC verified compiler☆57Updated 6 years ago
- Build system☆90Updated 6 years ago
- An Introduction to Redex with Abstracting Abstract Machines☆103Updated last year
- Link to preprints for POPL'18 and colocated events☆87Updated 6 years ago
- The LVish Haskell library☆80Updated 2 years ago
- Edison: A Library of Efficient Data Structures☆55Updated last month
- A simple UI for evaluating expressions in the untyped lambda calculus☆56Updated 2 years ago
- Accepted papers for POPL 2015☆66Updated 9 years ago
- Dependent JavaScript: A Typed Dialect☆87Updated 12 years ago
- a simple functional language for learners☆30Updated 8 years ago
- A simple, flexible and composable web-router☆85Updated 5 years ago
- The language of the future!☆72Updated last year
- A step-by-step MicroKanren evaluator☆29Updated 8 years ago
- A tiny *optimising* compiler for an imperative programming language written in haskell☆157Updated 5 years ago
- History of Programming Languages, Spring 2017☆136Updated 7 years ago
- ☆60Updated 5 years ago
- Interactive essay that explains theory of coeffects and lets you type-check and run sample programs.☆60Updated 8 years ago
- A series of implementations of a simple functional programming language.☆30Updated 9 years ago
- A formalization of category theory in the Coq proof assistant.☆97Updated 6 months ago
- A small implementation of type inference☆78Updated 10 years ago
- compiler with polyhedral optmization for a lazy functional programming language☆67Updated 7 years ago
- ☆41Updated 7 years ago
- Programming Language meets UI☆51Updated 7 years ago
- JVM implementation in Haskell☆44Updated 8 months ago
- Reagents for multicore OCaml☆126Updated 2 years ago
- A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a …☆90Updated 6 years ago
- Totally functional programming literature☆60Updated 6 years ago