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:
- ☆53Updated 8 months ago
- This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)☆56Updated 2 months ago
- 🧪 | LLVM backend for HVM☆23Updated 2 years ago
- 👌 A smol functional language that targets other languages☆64Updated last year
- The Simplest Parser Library (that works) in Rust☆44Updated last year
- Atiny is a simple compiler for a ML like language☆11Updated 2 years ago
- 🧪 | Lisp with REPL and macros which will compile itself☆13Updated 9 months ago
- An implementation of interaction nets as a forth-like language.☆38Updated last month
- ☆119Updated last year
- a small one-file lisp implemented in kind2, intentionally incomplete☆10Updated 2 years ago
- The Nox programming language☆30Updated 2 years ago
- An example on how to write an incremental, concurrent, fault-tolerant compiler☆53Updated 2 months ago
- A minimal implementation of Hindley-Milner's Algorithm J in OCaml☆72Updated 3 years ago
- 🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend…☆149Updated 2 months ago
- A minimal proof checker.☆75Updated last year
- Just a list of Awesome Alt Langs to check out☆102Updated last year
- 🍞 | IDE focused programming language study☆35Updated last year
- Interaction net resources☆30Updated last month
- Collection of Kind2 programs and proofs☆12Updated last year
- A functional programming language with shell scripting capabilities☆121Updated 2 months ago
- A very small implementation of the Calculus of Constructions for experimentation purposes☆15Updated 7 years ago
- A frontend for the 1111 stable diffusion API☆17Updated last week
- 🎮 | Is a programming language aimed at incorporating everything I’d like to have in Haskell, except dependent types.☆15Updated 3 years ago
- RustScript is a functional scripting language with as much relation to Rust as Javascript has to Java.☆41Updated 2 years ago
- Fir programming language☆73Updated this week
- Toy programming language☆20Updated last year
- A simple programming language for researching different ways of program execution and compilation☆33Updated 11 months ago
- hindley-milner algorithm☆62Updated 2 years ago
- A WIP little dependently-typed systems language☆41Updated last year
- 🧮 | Writing an Equation Solver☆34Updated 2 years ago