mukul-rathi / bolt-dissertation
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
- A simple ML-like programming language with subtyping and full type inference.☆173Updated 5 months ago
- A compiler for Standard ML, somewhat☆202Updated 3 years ago
- A garden of small programming language implementations 🪴☆223Updated this week
- A series of down-to-earth articles on implementing type inference☆154Updated 4 years ago
- Lock-free data structures for multicore OCaml☆244Updated 4 months ago
- A general purpose statically-typed concatenative programming language.☆54Updated 2 years ago
- Dependent type checker using normalisation by evaluation☆260Updated 8 months ago
- ☆27Updated last year
- A declarative concatenative programming language☆164Updated 6 months 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 3 years ago
- Calypso is a mostly imperative language with some functional influences that is focused on flexibility and simplicity.☆67Updated 11 months ago
- A minimal compiler written in OCaml that compiles Tiger to LLVM IR then to assembly code☆27Updated 2 years ago
- An LLVM compiler for an ML-like language (written in Rust)☆60Updated 3 years ago
- Parallel Programming over Domains☆177Updated last month
- A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR☆222Updated last year
- A functional programming language with shell scripting capabilities☆114Updated 4 months ago
- The LLVM tutorial using OCaml☆61Updated 5 years ago
- Admiran compiler, library, and examples☆62Updated last week
- Simple C Compiler in OCaml☆93Updated 6 years ago
- A toy language based on LLVM that implements the System Fω type-system☆108Updated last year
- Pure functional programming with whole-program mutability inference☆68Updated last month
- Bootstrap compiler for Firefly☆54Updated this week
- Simple conservative GC using mimalloc☆40Updated 2 years ago
- A pure type system implemented in OCaml☆78Updated 4 years ago
- Hindley-Milner Type Inference implemented in (although not for) Python.☆94Updated 3 years ago
- Spartan type theory☆265Updated 11 months ago
- The Egel Programming Language☆84Updated last month
- A website for the #proglangdesign community on freenode☆108Updated 2 weeks ago
- The Nox programming language☆29Updated last year