etiamz / supercompilation-resourcesLinks
π A collection of resources about supercompilation
β119Updated 2 months ago
Alternatives and similar repositories for supercompilation-resources
Users that are interested in supercompilation-resources are comparing it to the libraries listed below
Sorting:
- Fir programming languageβ75Updated this week
- Admiran is a pure, lazy, functional language and self-hosting compiler based upon Mirandaβ78Updated 2 weeks ago
- A Language with Dependent Data and Codata Typesβ121Updated last week
- Staged compilation with dependent typesβ182Updated 4 months ago
- π¦ Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontendβ¦β149Updated 3 months ago
- Demo for dependent types + runtime code generationβ71Updated 7 months ago
- A toy dependent typed language.β32Updated last week
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inferenceβ61Updated last week
- Interaction net resourcesβ32Updated last month
- An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntaxβ113Updated 2 months ago
- The adventures of a Haskell compilerβ232Updated 4 months ago
- A garden of small programming language implementations πͺ΄β287Updated last week
- Pure functional programming with whole-program mutability inferenceβ75Updated 2 months ago
- A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.β117Updated last week
- Programming with pure lambda calculusβ121Updated last week
- high-performance cubical evaluationβ75Updated 5 months ago
- A custom parser/auto-formatter for Standard MLβ82Updated last month
- [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regionsβ¦β68Updated last year
- A small implementation of graded modal dependent type theory. A younger cousin to Granule.β61Updated last year
- A LΓ©vy-optimal lambda calculus reducer with a backdoor to Cβ35Updated this week
- A compiler for functional programs on serialized dataβ171Updated this week
- Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://codeβ¦β60Updated 4 months ago
- Alternative algorithm for algebraic subtyping.β170Updated last week
- A minimal implementation of Hindley-Milner's Algorithm J in OCamlβ74Updated 3 years ago
- The Twelf Programming Languageβ145Updated 3 weeks ago
- β47Updated last month
- A bidirectional type checkerβ64Updated 8 years ago
- β38Updated last month
- A minimal, fast Datalog implementation in Haskell that compiles to LLVM IRβ224Updated last year
- Agda lecture notes for the Functional Programming course at TU Delftβ128Updated 2 months ago