SomewhatML / sml-compilerLinks
A compiler for Standard ML, somewhat
☆204Updated 3 years ago
Alternatives and similar repositories for sml-compiler
Users that are interested in sml-compiler are comparing it to the libraries listed below
Sorting:
- A simple ML-like programming language with subtyping and full type inference.☆187Updated last year
- A fast functional language based on two level type theory☆392Updated 3 years ago
- 1ML prototype interpreter☆290Updated 5 years ago
- Rust implementation of the projects from the book Modern Compiler Implementation in ML☆145Updated 8 months ago
- Dependent type checker using normalisation by evaluation☆271Updated last year
- The cuteness implementation of a dependently typed language.☆193Updated 3 years ago
- A language server for Standard ML in Rust.☆236Updated last month
- Macros have types!☆134Updated 3 years ago
- Rust implementation of µKanren, a featherweight relational programming language.☆116Updated 3 years ago
- An embeddable Scheme R7 Compiler & Runtime written in Rust☆107Updated 8 months ago
- A declarative concatenative programming language☆170Updated 4 months ago
- A collection of programming languages and type systems.☆33Updated 8 months ago
- Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"☆118Updated 6 years ago
- Alternative algorithm for algebraic subtyping.☆173Updated 2 months ago
- Hindley-Milner Type Inference implemented in (although not for) Python.☆96Updated 3 years ago
- The adventures of a Haskell compiler☆237Updated 3 months ago
- ☆218Updated last year
- Forth for Rust's trait system☆232Updated 5 years ago
- The essence of Rust.☆134Updated 3 years ago
- An incremental approach to compiler construction☆84Updated 5 years ago
- Robust multi-prompt delimited control and effect handlers in C/C++☆131Updated 2 years ago
- The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to ha…☆213Updated last week
- The Online Interpreter for Standard ML, written in TypeScript.☆178Updated 2 years ago
- A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR☆227Updated 2 years ago
- Normalization by evaluation for Martin-Löf Type Theory with dependent records☆101Updated 3 years ago
- Pure functional programming with whole-program mutability inference☆79Updated last month
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆180Updated 4 years ago
- The practical relational programing language for data-oriented applications☆213Updated 3 years ago
- a pragmatic point-free theorem prover assistant☆143Updated 4 months ago
- Libhandler implements algebraic effects and handlers in portable C99. Monads for free in C.☆208Updated 5 years ago