Alternatives and similar repositories for kast

Users that are interested in kast are comparing it to the libraries listed below

• garritfra / qbe-rs
  QBE IR in natural Rust data structures
  ☆115Updated last month
• Cr0a3 / ygen
  Ygen - Yet another code generation libary (abandoned)
  ☆111Updated last week
• capy-language / capy
  🍊 A statically typed, compiled programming language, largely inspired by Jai, Odin, and Zig.
  ☆88Updated last month
• matklad / abont
  Finally, a shell for all seasons!
  ☆122Updated 9 months ago
• LunaAmora / Atiny
  Atiny is a simple compiler for a ML like language
  ☆11Updated 2 years ago
• playXE / masm-rs
  Macro assembler for Rust
  ☆35Updated last year
• veera-sivarajan / type-inferencer
  hindley-milner algorithm
  ☆62Updated 2 years ago
• luminalang / lumina
  Lumina is an eager-by-default natively compiled functional programming language with the core goals of readibility, practicality, compile…
  ☆108Updated 2 months ago
• tsoding / qbe-notes
  Notes from the stream where I was checking out QBE
  ☆20Updated last year
• zesterer / vm-perf
  Performance comparisons between various virtual interpreter implementation strategies
  ☆45Updated last year
• thomcc / ubrustc
  Unborrowed Rust Compiler (rustc without a borrowchecker)
  ☆111Updated 2 years ago
• nh3dev / sharc
  Shard: a functional flavoured imperative language
  ☆37Updated this week
• tsoding / bada
  Simple Programming Language that compiles to BEAM bytecode
  ☆72Updated last year
• matklad / resilient-ll-parsing
  ☆60Updated 2 years ago
• ajeetdsouza / loxcraft
  Language tooling for the Lox programming language.
  ☆337Updated 3 months ago
• tsoding / Noq
  Simple expression transformer that is not Coq.
  ☆263Updated last year
• cull-os / carcass
  The Cull monorepository.
  ☆148Updated last week
• Champii / Rock
  Native language with Rust & LLVM
  ☆73Updated 2 years ago
• adam-mcdaniel / reckon
  A reasonable theorem prover for your reasoning tasks!
  ☆26Updated 9 months ago
• justanothercell / kommando
  kommando programming language
  ☆11Updated 3 months ago
• rezigned / tur
  Tur - A language for defining and executing Turing machines, complete with parser, interpreter, and multi-platform visualization tools.
  ☆115Updated last month
• linkdd / letlang
  Functional language with a powerful type system.
  ☆172Updated last year
• playXE / b3-rs
  JIT codegen backend with SSA IR based on B3 from WebKit
  ☆62Updated 2 years ago
• kolemannix / k1
  A hobby programming language
  ☆46Updated this week
• rush-rs / rush
  A simple programming language for researching different ways of program execution and compilation
  ☆34Updated last year
• 0x2a-42 / lelwel
  Resilient LL(1) parser generator for Rust
  ☆174Updated last month
• steveklabnik / rue
  A programming language that is a minimal subset of Rust
  ☆279Updated this week
• Eliah-Lakhin / ad-astra
  Scripting language for Rust.
  ☆103Updated 4 months ago
• jfecher / modern-compiler-architecture
  An example on how to write an incremental, concurrent, fault-tolerant compiler
  ☆55Updated 4 months ago
• lilyyy411 / rust-type-fuckery
  experiments with the Rust type system, including a type-level brainfuck implementation
  ☆36Updated 11 months ago