mukul-rathi / bolt-dissertationLinks
This repository accompanies Bolt - includes the accompanying dissertation.
☆41Updated 4 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 declarative concatenative programming language☆166Updated last month
- A simple ML-like programming language with subtyping and full type inference.☆180Updated 10 months ago
- ☆26Updated 2 years ago
- A series of down-to-earth articles on implementing type inference☆159Updated 5 years ago
- A website for the #proglangdesign community on freenode☆112Updated 3 weeks ago
- A compiler for Standard ML, somewhat☆203Updated 3 years ago
- A fast functional language based on two level type theory☆391Updated 2 years ago
- A garden of small programming language implementations 🪴☆290Updated 2 weeks ago
- The Silk Programming Language☆79Updated 4 years ago
- Fast and flexible language exploring partial evaluation, context-sensitive parsing, and metaprogramming. Compiles JIT or AOT to native co…☆124Updated 3 years ago
- An insanely simple self-hosted functional programming language☆160Updated 6 years ago
- minimalist pure lazy functional programming language (pythonic haskell)☆79Updated 7 months ago
- Calypso is a mostly imperative language with some functional influences that is focused on flexibility and simplicity.☆67Updated last year
- A modern supercompiler for call-by-value functional languages☆427Updated last month
- Paka language☆161Updated 2 years ago
- Plasma Programming Language☆166Updated 6 months ago
- Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"☆45Updated 10 months ago
- A call-by-need statically-duck-typed language named for French mathematician Sophie Germain☆32Updated 9 months ago
- A WIP little dependently-typed systems language☆41Updated last year
- The Egel Programming Language☆83Updated 5 months ago
- ☆38Updated 3 years ago
- Dependent type checker using normalisation by evaluation☆268Updated last year
- 1ML prototype interpreter☆288Updated 5 years ago
- A language server for Standard ML in Rust.☆229Updated last month
- List of small programming languages that you can implement in a relatively small amount of time for educational purposes.☆113Updated 2 weeks ago
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆61Updated last week
- A minimal implementation of Hindley-Milner's Algorithm J in OCaml☆74Updated 3 years ago
- Hindley-Milner Type Inference implemented in (although not for) Python.☆96Updated 3 years ago
- The adventures of a Haskell compiler☆232Updated this week
- A general purpose statically-typed concatenative programming language.☆54Updated 2 years ago