ergawy / types-and-programming-languages
C++ Implementations of programming languages and type systems studied in "Types and Programming Languages" by Benjamin C. Pierce..
☆34Updated 4 years ago
Related projects: ⓘ
- A system to amalgamate any features you want into any language you need☆26Updated 2 years ago
- Simple conservative GC using mimalloc☆36Updated last year
- ☆37Updated this week
- A WIP little dependently-typed systems language☆37Updated last month
- Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…☆61Updated 3 months ago
- Compiler for the bJou programming language☆28Updated 4 years ago
- A toy programming language.☆37Updated 8 months ago
- Hindley-Milner Type Inference implemented in (although not for) Python.☆85Updated 2 years ago
- SKI combinators☆50Updated 7 years ago
- A programming language somewhat resembling cellular processes.☆34Updated 2 years ago
- The Egel Programming Language☆80Updated this week
- Following [An Incremental Approach to Compiler Construction](http://scheme2006.cs.uchicago.edu/11-ghuloum.pdf)☆59Updated 3 years ago
- Hindley–Milner Type inferencing in C☆47Updated 2 years ago
- A statically-typed compiled language defined by a simple grammar☆23Updated 2 years ago
- lambda calculus interpreter☆38Updated 3 years ago
- A (nearly) pure functional programming language.☆23Updated 5 years ago
- The programming language design wiki.☆24Updated 5 months ago
- Runtime support for LLVM's GC Statepoints☆42Updated 4 years ago
- Study of language design and implementation.☆67Updated 4 years ago
- JIT compiler for Scheme targeting x86-64 platforms☆30Updated 5 years ago
- A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines☆36Updated 4 years ago
- Abstract krivine machine implementing call-by-name semantics. In OCaml.☆38Updated 6 years ago
- A compiler and runtime for normalizing the untyped λ-calculus☆30Updated 2 years ago
- Strict Haskell-like programming language that compiles to LLVM☆70Updated 4 years ago
- minimalist pure lazy functional programming language (pythonic haskell)☆71Updated 7 months ago
- Implementing the type system described in the paper "Complete and Easy Bidirectional Type Inference" in Rust☆45Updated 8 years ago
- Simple and powerful programming language with type inference☆24Updated 7 years ago
- Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey☆23Updated last year
- The Lark programming language.☆59Updated 14 years ago
- [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions…☆64Updated 7 months ago