jfecher / modern-compiler-architectureLinks
An example on how to write an incremental, concurrent, fault-tolerant compiler
β41Updated last month
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:
- Pure functional programming with whole-program mutability inferenceβ72Updated last week
- A garden of small programming language implementations πͺ΄β275Updated this week
- Fir programming languageβ63Updated this week
- A Language with Dependent Data and Codata Typesβ107Updated this week
- π¦ Implementations of various type inference algorithms. Online interactive playground is available at https://zoo.cuichen.cc/β145Updated last month
- Playing with type systemsβ51Updated 7 months ago
- A minimal implementation of Hindley-Milner's Algorithm J in OCamlβ72Updated 3 years ago
- Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"β40Updated 7 months ago
- dependent type theory experimentβ26Updated last year
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inferenceβ54Updated 5 months ago
- Demo for dependent types + runtime code generationβ69Updated 5 months ago
- The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to haβ¦β195Updated 2 weeks ago
- π A collection of resources about supercompilationβ111Updated 2 weeks ago
- Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.β54Updated 4 years ago
- A toy dependent typed language.β31Updated this week
- A collection of programming languages and type systems.β33Updated 2 months ago
- Alternative algorithm for algebraic subtyping.β170Updated last month
- A functional programming language with shell scripting capabilitiesβ118Updated 3 weeks ago
- β119Updated last year
- Accompanying materials for "A Core Calculus for Documents"β33Updated last year
- A simple ML-like programming language with subtyping and full type inference.β177Updated 8 months ago
- Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured dβ¦β57Updated 2 years ago
- Duo - A research language exploring duality in programming language designβ57Updated 2 years ago
- Personal research notesβ17Updated 9 months ago
- π©Ί A library for compiler diagnosticsβ47Updated 5 months ago
- Prototype for https://github.com/Innf107/vegaβ19Updated last year
- The first ever roguelike written in the OCaml type systemβ88Updated 4 months ago
- [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regionsβ¦β62Updated last year
- A fancy diagnostics library that allows your compilers to exit with graceβ76Updated 3 months ago
- an implementation of Observational Type Theory (OTT) and moreβ26Updated 2 years ago