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
- โ46Updated 2 months ago
- An implementation of interaction nets as a forth-like language.โ29Updated this week
- The Simplest Parser Library (that works) in Rustโ42Updated 7 months ago
- โ14Updated last year
- ๐งช | Lisp with REPL and macros which will compile itselfโ13Updated 3 months ago
- A very small implementation of the Calculus of Constructions for experimentation purposesโ15Updated 6 years ago
- A frontend for the 1111 stable diffusion APIโ18Updated this week
- Tornado is a BitTorrent client written entirely in OCaml.โ56Updated last year
- Toy programming languageโ19Updated 10 months ago
- a small one-file lisp implemented in kind2, intentionally incompleteโ10Updated 2 years ago
- โ13Updated this week
- โ23Updated 2 years ago
- ๐ | IDE focused programming language studyโ34Updated last year
- โ118Updated last year
- ๐ A smol functional language that targets other languagesโ62Updated last year
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inferenceโ42Updated last month
- Lightweight, higher-order parser in Rust.โ12Updated 2 years ago
- ๐ฎ | Is a programming language aimed at incorporating everything Iโd like to have in Haskell, except dependent types.โ15Updated 2 years ago
- The first ever roguelike written in the OCaml type systemโ44Updated this week
- A dependently typed programming language with direct style effects and linearityโ19Updated 8 months ago
- A WebAssembly implementation in Lean4โ34Updated last year
- Light weight runtime for ReScriptโ15Updated last year
- OCaml plus Jane Street extensionsโ74Updated 8 months ago
- Fฯฮผ type checker and compilerโ52Updated 2 years ago
- A minimal proof checker.โ75Updated 6 months ago
- A fancy diagnostics library that allows your compilers to exit with graceโ71Updated last week
- Collection of Kind2 programs and proofsโ11Updated 10 months ago
- โ13Updated last year
- A minimal pure functional language based on self dependent types.โ72Updated 2 years ago