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 simple ML-like programming language with subtyping and full type inference.☆178Updated 8 months ago
- A compiler for Standard ML, somewhat☆203Updated 3 years ago
- ☆26Updated last year
- Simple C Compiler in OCaml☆94Updated 7 years ago
- A declarative concatenative programming language☆164Updated 9 months ago
- A website for the #proglangdesign community on freenode☆110Updated this week
- A garden of small programming language implementations 🪴☆276Updated last week
- A series of down-to-earth articles on implementing type inference☆159Updated 5 years ago
- Fast and flexible language exploring partial evaluation, context-sensitive parsing, and metaprogramming. Compiles JIT or AOT to native co…☆123Updated 3 years ago
- The Silk Programming Language☆79Updated 4 years ago
- A fast functional language based on two level type theory☆391Updated 2 years ago
- A toy language based on LLVM that implements the System Fω type-system☆111Updated 2 years ago
- A language server for Standard ML in Rust.☆228Updated last month
- Claro Lang☆145Updated last year
- A general purpose statically-typed concatenative programming language.☆54Updated 2 years ago
- Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"☆41Updated 8 months ago
- Paka language☆161Updated 2 years ago
- A modern supercompiler for call-by-value functional languages☆422Updated 3 months ago
- Parallel Programming over Domains☆178Updated 4 months ago
- Simple conservative GC using mimalloc☆40Updated 2 years ago
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆54Updated 6 months ago
- Lox language implemented in OCaml☆14Updated 4 years ago
- ☆214Updated last year
- An LLVM compiler for an ML-like language (written in Rust)☆59Updated 3 years ago
- A functional programming language with shell scripting capabilities☆118Updated last month
- Code for a tutorial on parsing with Menhir☆14Updated 3 years ago
- Goal: A safe, tiny, flexible, fast compiling, semi-fast running, data-friendly, functional-first language☆96Updated this week
- Plasma Programming Language☆167Updated 3 months ago
- A WIP little dependently-typed systems language☆41Updated last year
- Lock-free data structures for multicore OCaml☆252Updated 2 months ago