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.☆164Updated 6 months ago
- A series of down-to-earth articles on implementing type inference☆153Updated 4 years ago
- A compiler for Standard ML, somewhat☆201Updated 2 years ago
- The Egel Programming Language☆80Updated this week
- Bootstrap compiler for Firefly☆51Updated this week
- A website for the #proglangdesign community on freenode☆109Updated 3 weeks ago
- Goal: A safe, tiny, flexible, fast compiling, semi-fast running, data-friendly, functional-first language☆98Updated last month
- A WIP little dependently-typed systems language☆37Updated 3 months ago
- A garden of small programming language implementations 🪴☆177Updated last week
- The LLVM tutorial using OCaml☆61Updated 4 years ago
- A general purpose statically-typed concatenative programming language.☆51Updated last year
- Calypso is a mostly imperative language with some functional influences that is focused on flexibility and simplicity.☆67Updated 6 months ago
- ☆27Updated last year
- A systems programming language☆33Updated this week
- A declarative concatenative programming language☆159Updated last month
- A pure type system implemented in OCaml☆77Updated 3 years ago
- A general purpose programming language☆175Updated last month
- WIP stack language that uses regex for control flow☆41Updated last year
- The Som functional programming language☆22Updated last year
- Parallel Programming over Domains☆172Updated 8 months ago
- The Curly programming language (now in Rust!)☆30Updated 3 years ago
- Simple C Compiler in OCaml☆88Updated 6 years ago
- Lock-free data structures for multicore OCaml☆203Updated this week
- siko☆14Updated 10 months ago
- General-purpose, compiled programming language, focused on productivity, expressiveness and joy of programming™☆42Updated last year
- An LLVM compiler for an ML-like language (written in Rust)☆57Updated 2 years ago
- The Nox programming language☆29Updated last year
- Paka language☆160Updated last year
- Fast and flexible language exploring partial evaluation, context-sensitive parsing, and metaprogramming. Compiles JIT or AOT to native co…☆124Updated 3 years ago