mukul-rathi / bolt-dissertation
This repository accompanies Bolt - includes the accompanying dissertation.
☆40Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for bolt-dissertation
- A simple ML-like programming language with subtyping and full type inference.☆161Updated 5 months ago
- A garden of small programming language implementations 🪴☆177Updated this week
- A compiler for Standard ML, somewhat☆200Updated 2 years ago
- A general purpose statically-typed concatenative programming language.☆51Updated last year
- The Silk Programming Language☆79Updated 3 years ago
- ☆27Updated last year
- A pure type system implemented in OCaml☆77Updated 3 years ago
- A series of down-to-earth articles on implementing type inference☆153Updated 4 years ago
- A declarative concatenative programming language☆159Updated 2 weeks ago
- A website for the #proglangdesign community on freenode☆109Updated last week
- A functional programming language with shell scripting capabilities☆91Updated 2 weeks ago
- Bootstrap compiler for Firefly☆51Updated this week
- A modern supercompiler for call-by-value functional languages☆376Updated this week
- Fast and flexible language exploring partial evaluation, context-sensitive parsing, and metaprogramming. Compiles JIT or AOT to native co…☆124Updated 3 years ago
- The Flambda backend project for OCaml☆112Updated this week
- A deterministic parser with fused lexing☆71Updated last year
- Just a list of Awesome Alt Langs to check out☆95Updated 6 months ago
- Dependent type checker using normalisation by evaluation☆254Updated 2 months ago
- A minimal implementation of Hindley-Milner's Algorithm J in OCaml☆55Updated 2 years ago
- Calypso is a mostly imperative language with some functional influences that is focused on flexibility and simplicity.☆67Updated 5 months ago
- Alternative algorithm for algebraic subtyping.☆149Updated last week
- A collection of programming languages and type systems.☆33Updated 2 months ago
- The Egel Programming Language☆80Updated last month
- Goal: A safe, tiny, flexible, fast compiling, semi-fast running, data-friendly, functional-first language☆98Updated last month
- Large Scale Type Systems (programming language)☆111Updated this week
- A work-in-progess programming language modeled after Ada and C++☆26Updated last year
- Staged compilation with dependent types☆161Updated this week
- ☆38Updated 2 years ago
- siko☆14Updated 10 months ago