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 garden of small programming language implementations πͺ΄β215Updated this week
- A compiler for Standard ML, somewhatβ202Updated 2 years ago
- β27Updated last year
- A declarative concatenative programming languageβ164Updated 4 months ago
- The Silk Programming Languageβ79Updated 3 years ago
- A simple ML-like programming language with subtyping and full type inference.β170Updated 3 months ago
- A website for the #proglangdesign community on freenodeβ108Updated 3 months ago
- A series of down-to-earth articles on implementing type inferenceβ153Updated 4 years ago
- Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"β37Updated 2 months ago
- A bidirectional type checkerβ60Updated 7 years ago
- A collection of programming languages and type systems.β33Updated 6 months ago
- A pure type system implemented in OCamlβ78Updated 4 years ago
- A WIP little dependently-typed systems languageβ41Updated 7 months ago
- A toy language based on LLVM that implements the System FΟ type-systemβ107Updated last year
- Dependent type checker using normalisation by evaluationβ257Updated 6 months ago
- A self-hosting mini Haskell compiler with a mini C runtime.β74Updated 5 years ago
- [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regionsβ¦β62Updated last year
- Staged compilation with dependent typesβ168Updated this week
- Compiler and tooling for the Myte programming language.β21Updated 2 years ago
- A general purpose statically-typed concatenative programming language.β53Updated last year
- sikoβ14Updated last year
- Kempe is a compiled stack-based languageβ58Updated 5 months ago
- A MinCaml compiler implemented in Rustβ45Updated last year
- A Language with Dependent Data and Codata Typesβ86Updated this week
- A custom parser/auto-formatter for Standard MLβ75Updated this week
- The Makam Metalanguageβ198Updated 2 years ago
- LLVM code generation in Haskellβ54Updated 4 months ago
- A call-by-need statically-duck-typed language named for French mathematician Sophie Germainβ31Updated 2 months ago