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.☆183Updated last year
- A series of down-to-earth articles on implementing type inference☆162Updated 5 years ago
- A declarative concatenative programming language☆168Updated 2 months ago
- A compiler for Standard ML, somewhat☆204Updated 3 years ago
- A fast functional language based on two level type theory☆392Updated 2 years ago
- A garden of small programming language implementations 🪴☆293Updated this week
- A website for the #proglangdesign community on freenode☆112Updated 3 weeks ago
- Fast and flexible language exploring partial evaluation, context-sensitive parsing, and metaprogramming. Compiles JIT or AOT to native co…☆124Updated 4 years ago
- The Silk Programming Language☆79Updated 4 years ago
- 1ML prototype interpreter☆289Updated 5 years ago
- Calypso is a mostly imperative language with some functional influences that is focused on flexibility and simplicity.☆68Updated last year
- Bolt is a language with in-built data-race freedom!☆606Updated 2 years ago
- ☆26Updated 2 years ago
- Simple C Compiler in OCaml☆95Updated 7 years ago
- Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"☆48Updated 11 months ago
- A language server for Standard ML in Rust.☆230Updated 2 months ago
- Dependent type checker using normalisation by evaluation☆269Updated last year
- A general purpose statically-typed concatenative programming language.☆55Updated 2 years ago
- ☆38Updated 3 years ago
- A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR☆227Updated last year
- A toy language based on LLVM that implements the System Fω type-system☆112Updated 2 years ago
- A functional programming language with shell scripting capabilities☆123Updated 4 months ago
- A call-by-need statically-duck-typed language named for French mathematician Sophie Germain☆33Updated 10 months ago
- A modern supercompiler for call-by-value functional languages☆459Updated last week
- The Egel Programming Language☆83Updated 6 months ago
- A WIP little dependently-typed systems language☆41Updated last year
- Plasma Programming Language☆167Updated 7 months ago
- Purely Functional, Real-Time Deques with Catenation (Kaplan & Tarjan)☆121Updated last year
- Pure functional programming with whole-program mutability inference☆78Updated 4 months ago
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆65Updated 2 weeks ago