andrew-johnson-4 / LSTS
Large Scale Type Systems (programming language)
β113Updated this week
Related projects β
Alternatives and complementary repositories for LSTS
- A garden of small programming language implementations πͺ΄β177Updated last week
- β27Updated last year
- WIP stack language that uses regex for control flowβ41Updated last year
- A minimal implementation of Hindley-Milner's Algorithm J in OCamlβ55Updated 2 years ago
- The Egel Programming Languageβ80Updated last month
- General-purpose, compiled programming language, focused on productivity, expressiveness and joy of programmingβ’β42Updated last year
- A WIP little dependently-typed systems languageβ37Updated 3 months ago
- A Language with Dependent Data and Codata Typesβ58Updated this week
- A call-by-need statically-duck-typed language named for French mathematician Sophie Germainβ30Updated 3 weeks ago
- A constructive proof assistant for second order logic.β33Updated last month
- π A statically typed, compiled programming language, largely inspired by Jai, Odin, and Zig.β64Updated 4 months ago
- sikoβ14Updated 10 months ago
- A declarative concatenative programming languageβ159Updated last month
- A general purpose statically-typed concatenative programming language.β51Updated last year
- A functional programming language, mirroring Erlang and Go, but with more OCaml!β22Updated last week
- [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regionsβ¦β65Updated 9 months ago
- β38Updated 2 years ago
- The elegant and consistent programming language.β32Updated last year
- QBE IR in natural Rust data structuresβ81Updated 3 weeks ago
- A work-in-progess programming language modeled after Ada and C++β26Updated last year
- A compiler and runtime for normalizing the untyped Ξ»-calculusβ30Updated 2 years ago
- A Fast C and Python like Programming Language that puts the Developer first. WIPβ42Updated last year
- A human readable quasi-concatenative programming languageβ245Updated last month
- Slides and handwritten notes on the course on models of programming languagesβ50Updated 4 years ago
- Pure functional programming with whole-program mutability inferenceβ50Updated last week
- A gradually typed language originally based on the crafting interpreters seriesβ65Updated this week
- A series of down-to-earth articles on implementing type inferenceβ153Updated 4 years ago
- The Curly programming language (now in Rust!)β30Updated 3 years ago
- A simple ML-like programming language with subtyping and full type inference.β164Updated 5 months ago