mukul-rathi / bolt-dissertationLinks
This repository accompanies Bolt - includes the accompanying dissertation.
☆41Updated 5 years ago
Alternatives and similar repositories for bolt-dissertation
Users that are interested in bolt-dissertation are comparing it to the libraries listed below
Sorting:
- A simple ML-like programming language with subtyping and full type inference.☆186Updated last year
- A declarative concatenative programming language☆169Updated 3 months ago
- A compiler for Standard ML, somewhat☆204Updated 3 years ago
- A series of down-to-earth articles on implementing type inference☆164Updated 5 years ago
- ☆26Updated 2 years ago
- A fast functional language based on two level type theory☆392Updated 3 years ago
- A general purpose statically-typed concatenative programming language.☆56Updated 2 years ago
- A garden of small programming language implementations 🪴☆304Updated this week
- A website for the #proglangdesign community on freenode☆112Updated 2 months ago
- Fir programming language☆90Updated this week
- Simple C Compiler in OCaml☆95Updated 7 years ago
- Calypso is a mostly imperative language with some functional influences that is focused on flexibility and simplicity.☆68Updated last year
- Fast and flexible language exploring partial evaluation, context-sensitive parsing, and metaprogramming. Compiles JIT or AOT to native co…☆124Updated 4 years ago
- A call-by-need statically-duck-typed language named for French mathematician Sophie Germain☆33Updated 11 months ago
- Admiran is a pure, lazy, functional language and self-hosting compiler based upon Miranda☆81Updated last week
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆66Updated last month
- A language server for Standard ML in Rust.☆235Updated 3 weeks ago
- Pure functional programming with whole-program mutability inference☆79Updated 3 weeks ago
- Plasma Programming Language☆167Updated 8 months ago
- A minimal implementation of Hindley-Milner's Algorithm J in OCaml☆77Updated 3 years ago
- Alternative algorithm for algebraic subtyping.☆171Updated last month
- A functional programming language with shell scripting capabilities☆130Updated 2 weeks ago
- An LLVM compiler for an ML-like language (written in Rust)☆62Updated 3 years ago
- 1ML prototype interpreter☆290Updated 5 years ago
- A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR☆227Updated last year
- Claro Lang☆149Updated last year
- A collection of programming languages and type systems.☆33Updated 7 months ago
- The Whiley Compiler (WyC)☆226Updated 2 years ago
- A programming language supporting most of both declarative and imperative programming☆52Updated 3 weeks ago
- A human readable quasi-concatenative programming language☆258Updated 11 months ago