etiams / supercompilation-resourcesLinks
📚 A collection of resources about supercompilation
☆111Updated this week
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☆63Updated this week
- Admiran, a pure, lazy, functional language and self-hosting compiler based upon Miranda☆63Updated this week
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆53Updated 5 months ago
- 🦖 Implementations of various type inference algorithms. Online interactive playground is available at https://zoo.cuichen.cc/☆143Updated 3 weeks ago
- A Language with Dependent Data and Codata Types☆106Updated this week
- An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax☆109Updated this week
- Demo for dependent types + runtime code generation☆69Updated 5 months ago
- Programming with pure lambda calculus☆111Updated 3 weeks ago
- Staged compilation with dependent types☆177Updated 2 months ago
- Pure functional programming with whole-program mutability inference☆72Updated this week
- Interaction net resources☆18Updated this week
- A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.☆115Updated this week
- A garden of small programming language implementations 🪴☆272Updated this week
- A toy dependent typed language.☆30Updated this week
- An example on how to write an incremental, concurrent, fault-tolerant compiler☆39Updated 3 weeks ago
- Apple array system☆67Updated last month
- A Lévy-optimal lambda calculus reducer with a backdoor to C☆23Updated last week
- Personal research notes☆16Updated 9 months ago
- A small implementation of graded modal dependent type theory. A younger cousin to Granule.☆60Updated last year
- A tiny lazy objective functional language☆17Updated 10 months ago
- A compiler for functional programs on serialized data☆164Updated last month
- Bologna Optimal Higher-Order Machine, Version 1.1☆74Updated 8 years ago
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆176Updated 4 years ago
- SPSC: A Small Positive Supercompiler☆38Updated last year
- The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to ha…☆195Updated this week
- ☆16Updated 3 years ago
- The adventures of a Haskell compiler☆227Updated 2 months ago
- The Twelf Programming Language☆137Updated 5 months ago
- My take on writing 'Ray Tracing in One Weekend' with Haskell☆15Updated 2 months ago
- high-performance cubical evaluation☆74Updated 2 months ago