kast-lang / kastLinks
An experimental programming language
☆92Updated this week
Alternatives and similar repositories for kast
Users that are interested in kast are comparing it to the libraries listed below
Sorting:
- QBE IR in natural Rust data structures☆118Updated last month
- Ygen - Yet another code generation libary (abandoned)☆112Updated 3 months ago
- Simple Programming Language that compiles to BEAM bytecode☆71Updated last year
- 🍊 A statically typed, compiled programming language, largely inspired by Jai, Odin, and Zig.☆92Updated 2 months ago
- Notes from the stream where I was checking out QBE☆22Updated last year
- Functional language with a powerful type system.☆172Updated last year
- Performance comparisons between various virtual interpreter implementation strategies☆46Updated last year
- hindley-milner algorithm☆62Updated 2 years ago
- Atiny is a simple compiler for a ML like language☆11Updated 2 years ago
- An example on how to write an incremental, concurrent, fault-tolerant compiler☆63Updated 6 months ago
- (WIP) A programming language☆42Updated last year
- General-purpose, compiled programming language, focused on productivity, expressiveness and joy of programming™☆43Updated 3 years ago
- For the joy of programming☆85Updated this week
- Native language with Rust & LLVM☆72Updated 2 years ago
- Lumina is an eager-by-default natively compiled functional programming language with the core goals of readibility, practicality, compile…☆113Updated 5 months ago
- A general purpose programming language☆219Updated 2 months ago
- The initial (legacy) compiler for the Gera programming language.☆23Updated last year
- Simple expression transformer that is not Coq.☆263Updated 2 years ago
- The Cull monorepository.☆168Updated last week
- Finally, a shell for all seasons!☆125Updated last year
- Language tooling for the Lox programming language.☆352Updated 5 months ago
- Roland programming language☆68Updated this week
- A simple programming language for researching different ways of program execution and compilation☆34Updated last year
- kommando programming language☆11Updated 6 months ago
- Tur - A language for defining and executing Turing machines, complete with parser, interpreter, and multi-platform visualization tools.☆122Updated 4 months ago
- Simple Math Proof Tool for Simple Math Expressions☆39Updated 6 months ago
- Shard: a functional flavoured imperative language☆37Updated 2 months ago
- Pattern matching and exhaustiveness checking algorithms implemented in Rust☆231Updated last year
- ☆23Updated 2 years ago
- Fir programming language☆90Updated last week