raviqqe / ssfLinks
Structurally-typed strict functional core language
☆19Updated 6 months ago
Alternatives and similar repositories for ssf
Users that are interested in ssf are comparing it to the libraries listed below
Sorting:
- The uncurried minimal functional programming language for CPS transformation☆18Updated last year
- rcaml is an OCaml implementation in Rust☆63Updated 7 years ago
- The functional programming language for scalable development☆34Updated 4 months ago
- A MinCaml compiler implemented in Rust☆44Updated 2 years ago
- A min-caml port to Rust☆25Updated 3 months ago
- A statically-typed compiled language defined by a simple grammar☆24Updated 2 years ago
- a concurrent compiled programming language☆15Updated 2 years ago
- An Experimental LISP☆20Updated 2 years ago
- self-hosted compiler for a subset of OCaml☆51Updated 5 years ago
- ☆27Updated 8 years ago
- A Rust compiler backend focused on compilation speed.☆16Updated 2 years ago
- An implementation of Linear Lambda Calculus.☆15Updated 5 years ago
- Yet another tiny tiny self-hosted OCaml compiler with an also tiny standard library.☆57Updated 5 years ago
- Implementing the type system described in the paper "Complete and Easy Bidirectional Type Inference" in Rust☆46Updated 9 years ago
- A simple CDCL(Conflict-Driven-Clause-Learning) SAT solver in Rust.☆38Updated 11 months ago
- Interpreter of the ITGL with dynamic type inference☆22Updated 3 months ago
- A Formal Verification of Algorithm W☆17Updated 4 years ago
- Programs for checking the ρ property☆17Updated 4 years ago
- An implementation of the Hindley-Milner type system in Rust.☆43Updated 8 years ago
- Tourmaline is a AOT programming language with LLVM☆12Updated 7 years ago
- c compiler☆16Updated 5 years ago
- ☆22Updated 9 years ago
- A (nearly) pure functional programming language.☆25Updated 6 years ago
- A safe and efficient target language for functional compilers☆20Updated 7 years ago
- An experimental programming language for ergonomic software verification☆16Updated last week
- Minimal Haskell Compiler☆63Updated 7 years ago
- Garbage collector implementation in Rust for Rust☆13Updated 4 years ago
- [WIP] A functional programming language based on Coeffect Calculus and Graded Modal Type Theory.☆13Updated 4 years ago
- A self hosted whitespace compiler☆32Updated 5 years ago
- Formal semantics of Rust☆23Updated 4 years ago