kast-lang / kastLinks
An experimental programming language
☆71Updated 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☆115Updated 2 weeks ago
- Ygen - Yet another code generation libary (abandoned)☆110Updated last week
- 🍊 A statically typed, compiled programming language, largely inspired by Jai, Odin, and Zig.☆80Updated 5 months ago
- Performance comparisons between various virtual interpreter implementation strategies☆44Updated last year
- hindley-milner algorithm☆62Updated 2 years ago
- Atiny is a simple compiler for a ML like language☆11Updated last year
- Functional language with a powerful type system.☆172Updated last year
- Finally, a shell for all seasons!☆119Updated 7 months ago
- ☆56Updated 2 years ago
- Simple expression transformer that is not Coq.☆262Updated last year
- (WIP) A programming language☆42Updated 6 months ago
- Native language with Rust & LLVM☆70Updated last year
- Macro assembler for Rust☆36Updated last year
- Pattern matching and exhaustiveness checking algorithms implemented in Rust☆221Updated 9 months ago
- Lumina is an eager-by-default natively compiled functional programming language with the core goals of readibility, practicality, compile…☆101Updated this week
- Unborrowed Rust Compiler (rustc without a borrowchecker)☆110Updated last year
- Language tooling for the Lox programming language.☆321Updated 2 weeks ago
- Resilient LL(1) parser generator for Rust☆164Updated 2 weeks ago
- A reasonable theorem prover for your reasoning tasks!☆26Updated 6 months ago
- Simple Programming Language that compiles to BEAM bytecode☆70Updated last year
- A highly experiment portable runtime☆20Updated last year
- General-purpose, compiled programming language, focused on productivity, expressiveness and joy of programming™☆44Updated 2 years ago
- Scripting language for Rust.☆93Updated last month
- JIT codegen backend with SSA IR based on B3 from WebKit☆62Updated last year
- Assembler toolkit: encoding and decoding of various architectures☆33Updated 8 months ago
- Roland programming language☆64Updated last month
- A general purpose programming language☆205Updated 2 months ago
- The Cull monorepository.☆124Updated this week
- kommando programming language☆11Updated 3 weeks ago
- Python's Simplicity, C++'s Power, Native Interoperable with all, and Rust (W.I.P)☆349Updated this week