jfecher / modern-compiler-architectureLinks
An example on how to write an incremental, concurrent, fault-tolerant compiler
☆60Updated 4 months ago
Alternatives and similar repositories for modern-compiler-architecture
Users that are interested in modern-compiler-architecture are comparing it to the libraries listed below
Sorting:
- A language with dependent data and codata types☆124Updated this week
- A garden of small programming language implementations 🪴☆292Updated this week
- Fir programming language☆79Updated last week
- 🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend…☆151Updated 4 months ago
- A minimal implementation of Hindley-Milner's Algorithm J in OCaml☆75Updated 3 years ago
- Interaction net resources☆37Updated last week
- Atiny is a simple compiler for a ML like language☆11Updated 2 years ago
- Pure functional programming with whole-program mutability inference☆78Updated 3 months ago
- Large Scale Type Systems: ML/C Hybrid Programming Language☆123Updated 3 months ago
- Pattern matching and exhaustiveness checking algorithms implemented in Rust☆228Updated last year
- dependent type theory experiment☆26Updated last year
- A simple ML-like programming language with subtyping and full type inference.☆181Updated 11 months ago
- A simple programming language for researching different ways of program execution and compilation☆34Updated last year
- Violette is a simple functional programming language.☆25Updated last month
- The Simplest Parser Library (that works) in Rust☆44Updated last year
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆64Updated this week
- ☆119Updated last year
- A WIP little dependently-typed systems language☆41Updated last year
- Alternative algorithm for algebraic subtyping.☆170Updated last week
- 📚 A collection of resources about supercompilation☆123Updated 4 months ago
- Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"☆45Updated 11 months ago
- A domain-specific language (DSL) for parsing regular, context-free and recursively enumerable languages.☆18Updated 2 years ago
- Playing with type systems☆51Updated 10 months ago
- The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to ha…☆212Updated this week
- ☆31Updated 8 months ago
- 🎓 Web app to help teach HM type inference☆20Updated 3 weeks ago
- Liquid Types implementation for Rust☆30Updated 3 years ago
- A functional programming language with shell scripting capabilities☆123Updated 4 months ago
- A menagerie of cute implementations of modern typechecking algorithms☆342Updated 2 weeks ago
- hindley-milner algorithm☆62Updated 2 years ago