kast-lang / kastLinks
An experimental programming language
☆72Updated this week
Alternatives and similar repositories for kast
Users that are interested in kast are comparing it to the libraries listed below
Sorting:
- Ygen - Yet another code generation libary (abandoned)☆110Updated 3 weeks ago
- QBE IR in natural Rust data structures☆113Updated this week
- Finally, a shell for all seasons!☆118Updated 6 months ago
- 🍊 A statically typed, compiled programming language, largely inspired by Jai, Odin, and Zig.☆80Updated 4 months ago
- Performance comparisons between various virtual interpreter implementation strategies☆42Updated last year
- Unborrowed Rust Compiler (rustc without a borrowchecker)☆110Updated last year
- Simple Programming Language that compiles to BEAM bytecode☆70Updated last year
- hindley-milner algorithm☆61Updated 2 years ago
- Atiny is a simple compiler for a ML like language☆11Updated last year
- (WIP) A programming language☆42Updated 6 months ago
- Macro assembler for Rust☆36Updated last year
- Functional language with a powerful type system.☆171Updated last year
- ☆56Updated 2 years ago
- A reasonable theorem prover for your reasoning tasks!☆26Updated 5 months ago
- Native language with Rust & LLVM☆70Updated last year
- Resilient LL(1) parser generator for Rust☆163Updated this week
- Assembler toolkit: encoding and decoding of various architectures☆34Updated 7 months ago
- Lightweight exceptions for Rust☆75Updated this week
- A meta-JIT library for Rust interpreters☆163Updated 2 years ago
- Pattern matching and exhaustiveness checking algorithms implemented in Rust☆220Updated 8 months ago
- A highly experiment portable runtime☆20Updated last year
- Scripting language for Rust.☆92Updated 3 weeks ago
- Ellie is a type-safe programing language that runs on embedded and sandboxed environments.☆44Updated 6 months ago
- JIT codegen backend with SSA IR based on B3 from WebKit☆62Updated last year
- Linux linker for x86 and x86-64☆32Updated last month
- Simple expression transformer that is not Coq.☆262Updated last year
- The Cull monorepository.☆120Updated this week
- A general purpose programming language☆205Updated 2 months ago
- Language tooling for the Lox programming language.☆315Updated 4 months ago
- A garbage collection library for Rust with zero unsafe code☆114Updated last year