VictorTaelin / Taelang
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
- ๐งช | LLVM backend for HVMโ23Updated last year
- โ47Updated 3 months ago
- An implementation of interaction nets as a forth-like language.โ31Updated this week
- The Simplest Parser Library (that works) in Rustโ43Updated 8 months ago
- a small one-file lisp implemented in kind2, intentionally incompleteโ10Updated 2 years ago
- ๐งช | Lisp with REPL and macros which will compile itselfโ13Updated 4 months ago
- Toy programming languageโ19Updated 11 months ago
- ๐ | IDE focused programming language studyโ34Updated last year
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inferenceโ43Updated 2 months ago
- Language server for the Bend programming languageโ14Updated 6 months ago
- ๐ A smol functional language that targets other languagesโ62Updated last year
- Collection of Kind2 programs and proofsโ11Updated 11 months ago
- A very small implementation of the Calculus of Constructions for experimentation purposesโ15Updated 6 years ago
- โ23Updated 2 years ago
- algebraic typechecking and elaboration of type systemsโ12Updated 3 months ago
- ๐ฎ | Is a programming language aimed at incorporating everything Iโd like to have in Haskell, except dependent types.โ15Updated 2 years ago
- A functional scripting language.โ18Updated 3 months ago
- Atiny is a simple compiler for a ML like languageโ11Updated last year
- Basic (and naive) LZW and Huffman compression algorithms in Rust.โ11Updated last year
- Lightweight, higher-order parser in Rust.โ12Updated 2 years ago
- โ119Updated last year
- A minimal proof checker.โ75Updated 7 months ago
- The Pulse separation logic DSL for F*โ16Updated last week
- A WebAssembly implementation in Lean4โ34Updated last year
- Prototype for https://github.com/Innf107/vegaโ19Updated 9 months ago
- The Nox programming languageโ29Updated last year
- McLulang: The message is the languageโ10Updated 8 months ago
- โ40Updated this week
- Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniquesโ44Updated 2 months ago
- Home of the NeoHaskell docsโ14Updated 2 weeks ago