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:
- ☆26Updated last year
- A simple ML-like programming language with subtyping and full type inference.☆173Updated 6 months ago
- The LLVM tutorial using OCaml☆61Updated 5 years ago
- The Silk Programming Language☆79Updated 4 years ago
- A website for the #proglangdesign community on freenode☆108Updated last month
- A general purpose statically-typed concatenative programming language.☆54Updated 2 years ago
- Simple C Compiler in OCaml☆94Updated 7 years ago
- A compiler for Standard ML, somewhat☆202Updated 3 years ago
- A call-by-need statically-duck-typed language named for French mathematician Sophie Germain☆32Updated 4 months ago
- A pure type system implemented in OCaml☆77Updated 4 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
- A toy language based on LLVM that implements the System Fω type-system☆109Updated last year
- A declarative concatenative programming language☆164Updated 7 months ago
- A minimal implementation of Hindley-Milner's Algorithm J in OCaml☆63Updated 3 years ago
- siko☆14Updated last year
- Code for a tutorial on parsing with Menhir☆14Updated 3 years ago
- A WIP little dependently-typed systems language☆41Updated 9 months ago
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆51Updated 3 months ago
- Admiran, a pure, lazy, functional language and self-hosting compiler based upon Miranda☆63Updated last week
- A garden of small programming language implementations 🪴☆240Updated this week
- A custom parser/auto-formatter for Standard ML☆76Updated 3 weeks ago
- Purely Functional, Real-Time Deques with Catenation (Kaplan & Tarjan)☆121Updated 11 months ago
- Goal: A safe, tiny, flexible, fast compiling, semi-fast running, data-friendly, functional-first language☆96Updated 2 weeks ago
- A collection of programming languages and type systems.☆33Updated 3 weeks ago
- Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"☆39Updated 5 months ago
- Simple conservative GC using mimalloc☆40Updated 2 years ago
- A statically-typed programming language based on "F-ing modules"☆81Updated 4 years ago
- A compiler for the Xi programming language☆10Updated 8 years ago
- A minimal compiler written in OCaml that compiles Tiger to LLVM IR then to assembly code☆27Updated 2 years ago
- Bootstrap compiler for Firefly☆55Updated this week