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:
- The Egel Programming Language☆84Updated last month
- A declarative concatenative programming language☆164Updated 8 months ago
- The Silk Programming Language☆79Updated 4 years ago
- A minimal implementation of Hindley-Milner's Algorithm J in OCaml☆68Updated 3 years ago
- ☆26Updated last year
- Simple C Compiler in OCaml☆94Updated 7 years ago
- A simple ML-like programming language with subtyping and full type inference.☆176Updated 6 months ago
- A compiler for Standard ML, somewhat☆203Updated 3 years ago
- A WIP little dependently-typed systems language☆41Updated 10 months ago
- The LLVM tutorial using OCaml☆61Updated 5 years ago
- A garden of small programming language implementations 🪴☆268Updated this week
- Fast and flexible language exploring partial evaluation, context-sensitive parsing, and metaprogramming. Compiles JIT or AOT to native co…☆123Updated 3 years ago
- A general purpose statically-typed concatenative programming language.☆54Updated 2 years ago
- A toy language based on LLVM that implements the System Fω type-system☆109Updated last year
- Simple conservative GC using mimalloc☆40Updated 2 years ago
- Purely Functional, Real-Time Deques with Catenation (Kaplan & Tarjan)☆121Updated 11 months ago
- A website for the #proglangdesign community on freenode☆108Updated 2 months ago
- A pure type system implemented in OCaml☆78Updated 4 years ago
- A series of down-to-earth articles on implementing type inference☆156Updated 5 years ago
- Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…☆64Updated last year
- Kempe is a compiled stack-based language☆58Updated 8 months ago
- A statically-typed programming language based on "F-ing modules"☆81Updated 4 years ago
- Robust multi-prompt delimited control and effect handlers in C/C++☆119Updated last year
- A functional programming language with shell scripting capabilities☆114Updated this week
- Staged compilation with dependent types☆174Updated last month
- SKI combinators☆55Updated 8 years ago
- Admiran, a pure, lazy, functional language and self-hosting compiler based upon Miranda☆63Updated last week
- The Curly programming language (now in Rust!)☆29Updated 4 years ago
- Calypso is a mostly imperative language with some functional influences that is focused on flexibility and simplicity.☆67Updated last year
- A call-by-need statically-duck-typed language named for French mathematician Sophie Germain☆32Updated 5 months ago