ergawy / types-and-programming-languagesLinks
C++ Implementations of programming languages and type systems studied in "Types and Programming Languages" by Benjamin C. Pierce..
☆34Updated 5 years ago
Alternatives and similar repositories for types-and-programming-languages
Users that are interested in types-and-programming-languages are comparing it to the libraries listed below
Sorting:
- ☆26Updated last year
- Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…☆64Updated last year
- A system to amalgamate any features you want into any language you need☆26Updated 2 years ago
- Simple conservative GC using mimalloc☆40Updated 2 years ago
- Abstract krivine machine implementing call-by-name semantics. In OCaml.☆43Updated 7 years ago
- A toy programming language.☆40Updated last year
- Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"☆40Updated 6 months ago
- A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines☆36Updated 5 years ago
- My Own Linear Lisp☆40Updated 6 years ago
- Compiler for the bJou programming language☆28Updated 4 years ago
- A simple prolog implementation in Rust☆26Updated 4 years ago
- A simple and educational compiler for the SASL programming language☆23Updated 7 years ago
- Strict Haskell-like programming language that compiles to LLVM☆70Updated 5 years ago
- Charity Programming Language☆40Updated 10 years ago
- A website for the #proglangdesign community on freenode☆108Updated 2 months ago
- GPU Accelerated, Distributed, Actor Model Language (WIP)☆30Updated 2 years ago
- A programming language somewhat resembling cellular processes.☆34Updated 3 years ago
- Bottom Up Rewrite Generator☆29Updated 7 years ago
- A dependent type theory with user defined data types☆46Updated 3 years ago
- SPSC: A Small Positive Supercompiler☆35Updated last year
- Macros have types!☆129Updated 2 years ago
- Automatically exported from code.google.com/p/intuitionistic☆31Updated 10 years ago
- CMSC 430 Design and Implementation of Programming Languages☆51Updated 6 months ago
- An implementation of @phil_eaton compilers basic notes in Rust☆35Updated 6 years ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆31Updated last month
- The Egel Programming Language☆84Updated last month
- Self-hosting compiler for the Grace programming language☆40Updated last year
- Following [An Incremental Approach to Compiler Construction](http://scheme2006.cs.uchicago.edu/11-ghuloum.pdf)☆64Updated 4 years ago
- A simple Brainfuck JIT written as a learning exercise.☆16Updated 5 years ago
- A compiler and runtime for normalizing the untyped λ-calculus☆31Updated 3 years ago