kast-lang / kastLinks
An experimental programming language
☆71Updated 3 weeks ago
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)☆111Updated this week
- Performance comparisons between various virtual interpreter implementation strategies☆44Updated last year
- hindley-milner algorithm☆62Updated 2 years ago
- 🍊 A statically typed, compiled programming language, largely inspired by Jai, Odin, and Zig.☆82Updated 6 months ago
- Macro assembler for Rust☆35Updated last year
- Finally, a shell for all seasons!☆119Updated 7 months ago
- Atiny is a simple compiler for a ML like language☆11Updated 2 years ago
- A programming language that is a minimal subset of Rust☆244Updated this week
- Scripting language for Rust.☆95Updated 2 months ago
- Unborrowed Rust Compiler (rustc without a borrowchecker)☆111Updated last year
- Read files or directories from the filesystem at runtime on debug, embed on release.☆33Updated 6 months ago
- Tur - A language for defining and executing Turing machines, complete with parser, interpreter, and multi-platform visualization tools.☆98Updated this week
- A general purpose programming language☆209Updated 3 months ago
- Functional language with a powerful type system.☆171Updated last year
- The Cull monorepository.☆141Updated this week
- The Simplest Parser Library (that works) in Rust☆44Updated last year
- Lightweight exceptions for Rust☆80Updated last week
- Native language with Rust & LLVM☆71Updated last year
- Lumina is an eager-by-default natively compiled functional programming language with the core goals of readibility, practicality, compile…☆103Updated 3 weeks ago
- A highly experiment portable runtime☆20Updated last year
- experiments with the Rust type system, including a type-level brainfuck implementation☆35Updated 9 months ago
- Notes from the stream where I was checking out QBE☆19Updated last year
- General-purpose, compiled programming language, focused on productivity, expressiveness and joy of programming™☆44Updated 2 years ago
- Resilient LL(1) parser generator for Rust☆165Updated last week
- JIT codegen backend with SSA IR based on B3 from WebKit☆62Updated last year
- A reasonable theorem prover for your reasoning tasks!☆26Updated 7 months ago
- (WIP) A programming language☆42Updated 7 months ago
- Simple expression transformer that is not Coq.☆263Updated last year
- ☆107Updated this week