Lambda-Mountain-Compiler-Backend / LSTSLinks
Large Scale Type Systems (programming language)
â123Updated last week
Alternatives and similar repositories for LSTS
Users that are interested in LSTS are comparing it to the libraries listed below
Sorting:
- A garden of small programming language implementations ðŠīâ240Updated this week
- A simple ML-like programming language with subtyping and full type inference.â175Updated 6 months ago
- A constructive proof assistant for second order logic.â34Updated 8 months ago
- A website for the #proglangdesign community on freenodeâ108Updated last month
- â26Updated last year
- This repository accompanies Bolt - includes the accompanying dissertation.â41Updated 4 years ago
- WIP stack language that uses regex for control flowâ42Updated last year
- A minimal implementation of Hindley-Milner's Algorithm J in OCamlâ63Updated 3 years ago
- A Language with Dependent Data and Codata Typesâ104Updated 2 weeks ago
- A call-by-need statically-duck-typed language named for French mathematician Sophie Germainâ32Updated 4 months ago
- moved to https://codeberg.org/core-lang/coreâ52Updated 4 months ago
- Compiler Backend for LSTS (Typed Macro Assembler)â29Updated this week
- A WIP little dependently-typed systems languageâ41Updated 9 months ago
- A general purpose programming languageâ206Updated 3 weeks ago
- A series of down-to-earth articles on implementing type inferenceâ156Updated 5 years ago
- Bootstrap compiler for Fireflyâ55Updated this week
- â38Updated 3 years ago
- Admiran, a pure, lazy, functional language and self-hosting compiler based upon Mirandaâ63Updated last week
- Ribbon programming languageâ15Updated this week
- A declarative concatenative programming languageâ164Updated 7 months ago
- The Egel Programming Languageâ84Updated last week
- A general purpose statically-typed concatenative programming language.â54Updated 2 years ago
- A toy dependent typed language.â29Updated 2 weeks ago
- ð A smol functional language that targets other languagesâ62Updated last year
- Calypso is a mostly imperative language with some functional influences that is focused on flexibility and simplicity.â67Updated last year
- The Knight Programming Languageâ71Updated last week
- A functional programming language, mirroring Erlang and Go, but with more OCaml!â24Updated last week
- Fir programming languageâ53Updated this week
- Pure functional programming with whole-program mutability inferenceâ69Updated 2 weeks ago
- sikoâ14Updated last year