VictorTaelin / TaelangLinks
my personal lang
โ16Updated last year
Alternatives and similar repositories for Taelang
Users that are interested in Taelang are comparing it to the libraries listed below
Sorting:
- ๐งช | LLVM backend for HVMโ23Updated 2 years ago
- โ48Updated 5 months ago
- An implementation of interaction nets as a forth-like language.โ33Updated last month
- ๐งช | Lisp with REPL and macros which will compile itselfโ13Updated 6 months ago
- The Simplest Parser Library (that works) in Rustโ44Updated 10 months ago
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inferenceโ51Updated 3 months ago
- a small one-file lisp implemented in kind2, intentionally incompleteโ10Updated 2 years ago
- Toy programming languageโ19Updated last year
- Collection of Kind2 programs and proofsโ11Updated last year
- Small TS library to type and safely handle `serde` JSON serializations of Rust enums.โ11Updated 6 months ago
- โ119Updated last year
- A very small implementation of the Calculus of Constructions for experimentation purposesโ15Updated 6 years ago
- ๐ | IDE focused programming language studyโ34Updated last year
- โ14Updated last year
- Prototype for https://github.com/Innf107/vegaโ19Updated 10 months ago
- A functional scripting language.โ18Updated 4 months ago
- A minimal proof checker.โ74Updated 8 months ago
- A WebAssembly implementation in Lean4โ34Updated last year
- Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniquesโ44Updated 3 months ago
- Atiny is a simple compiler for a ML like languageโ11Updated last year
- Advent of Code 2021, but I can only use TypeScript's type system to solve the puzzlesโ12Updated 3 years ago
- ๐ A smol functional language that targets other languagesโ62Updated last year
- algebraic typechecking and elaboration of type systemsโ12Updated 4 months ago
- A minimal pure functional language based on self dependent types.โ73Updated 3 years ago
- Lightweight, higher-order parser in Rust.โ12Updated 2 years ago
- โ13Updated 2 years ago
- Reference counting with linear typesโ31Updated 11 months ago
- Fฯฮผ type checker and compilerโ54Updated 2 years ago
- OCaml supportโ20Updated 3 weeks ago
- A Rust to OCaml source to source translatorโ21Updated last year