raviqqe / ssf
Structurally-typed strict functional core language
☆19Updated 7 months ago
Related projects: ⓘ
- The uncurried minimal functional programming language for CPS transformation☆18Updated 6 months ago
- rcaml is an OCaml implementation in Rust☆61Updated 6 years ago
- The functional programming language for scalable development☆34Updated last year
- A min-caml port to Rust☆24Updated 4 years ago
- Interpreter of the ITGL with dynamic type inference☆21Updated 2 months ago
- A statically-typed compiled language defined by a simple grammar☆23Updated 2 years ago
- A MinCaml compiler implemented in Rust☆41Updated last year
- Yet another tiny tiny self-hosted OCaml compiler with an also tiny standard library.☆56Updated 5 years ago
- An implementation of the Hindley-Milner type system in Rust.☆42Updated 7 years ago
- ☆23Updated 7 years ago
- optimizing compiler for a subset of C language☆34Updated 4 years ago
- An implementation of Linear Lambda Calculus.☆13Updated 4 years ago
- A statically typed functional programming language.☆41Updated 2 weeks ago
- A simple CDCL(Conflict-Driven-Clause-Learning) SAT solver in Rust.☆36Updated 2 months ago
- Formal semantics of Rust☆23Updated 3 years ago
- A Rust compiler backend focused on compilation speed.☆16Updated 2 years ago
- Implementing the type system described in the paper "Complete and Easy Bidirectional Type Inference" in Rust☆45Updated 8 years ago
- ☆38Updated 2 years ago
- A WIP little dependently-typed systems language☆37Updated last month
- self-hosted compiler for a subset of OCaml☆50Updated 5 years ago
- the peachili( Peach + Chili) programming language☆11Updated 3 years ago
- An educational implementation of the ninja build system, based on ideas from the Build Systems a la Carte paper.☆57Updated 3 years ago
- Minimal Haskell Compiler☆63Updated 6 years ago
- a concurrent compiled programming language☆15Updated 2 years ago
- An Experimental LISP☆19Updated 2 years ago
- A safe and efficient target language for functional compilers☆19Updated 6 years ago
- Type-Level Programming in Rust☆26Updated 2 years ago
- Haskell x Android☆24Updated 2 years ago
- A simple prolog implementation in Rust☆26Updated 3 years ago
- A self hosted whitespace compiler☆32Updated 4 years ago