Alternatives and similar repositories for rua:

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

• RemuLang / remu-type-system
  type-system, revised unification algorithm and runtime time representations
  ☆14Updated 5 years ago
• mb64 / prolog
  A simple prolog implementation in Rust
  ☆26Updated 4 years ago
• xieyuheng / cicada-rs
  old cicada attempt in rs
  ☆3Updated last year
• RobertHarper / nsml
  SML The Living Language
  ☆11Updated 10 years ago
• playXE / garbage-collector
  Garbage collector implementation in Rust for Rust
  ☆13Updated 4 years ago
• raviqqe / fmm
  The uncurried minimal functional programming language for CPS transformation
  ☆18Updated 11 months ago
• jsdf / lisp.rs
  Scheme Interpreter in Rust
  ☆26Updated 6 years ago
• iwillspeak / ullage
  A statically-typed compiled language defined by a simple grammar
  ☆23Updated 2 years ago
• rustcc / GEFS
  Game Engine From Scratch -- Rust China Conference 2020 topic by LemonHX and his team.
  ☆14Updated 4 years ago
• jeremydavis519 / rusty-asm
  A layer of syntactic sugar between Rust and inline assembly
  ☆11Updated 6 years ago
• durka / macrolisp
  Greenspunning Rust's macro_rules!
  ☆32Updated 6 years ago
• thautwarm / LLAST
  A high level LLVM IR AST provider for GraphEngine JIT.
  ☆22Updated 6 years ago
• thautwarm / plfp
  my slides for sharing in our Lab, integrated as the series Programming Languages for Fun and Practice
  ☆9Updated 4 years ago
• geofft / gtrace
  An implementation of strace in Rust, and a library interface
  ☆22Updated 6 years ago
• ralsei / six-eyes
  A work-in-progress structure editor for the cooltt proof assistant.
  ☆18Updated 2 years ago
• epellis / esta
  Interpreted language and bytecode VM of my own design written in Rust [Unmaintained]
  ☆28Updated 5 years ago
• hobinjk / rusty-kaleidoscope
  The LLVM Kaleidoscope tutorial implemented in Rust
  ☆31Updated 8 years ago
• lukewilson2002 / oxc
  The first C compiler written in Rust.. mostly unworking.
  ☆43Updated 4 years ago
• overminder / sanya-jit
  Let's (possibly) build a JIT!
  ☆29Updated last year
• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆24Updated 2 years ago
• imkiva / valheim
  Just for fun riscv64 emulator, which boots the Linux.
  ☆41Updated 2 years ago
• tmikov / scheme2020
  An implementation of Scheme R7RS-small in 48 working hours.
  ☆19Updated 4 years ago
• xnning / Dissertation
  My PhD Thesis
  ☆14Updated 3 years ago
• owo-lang / voile-rs
  Dependently-typed row-polymorphic programming language, evolved from minitt-rs
  ☆96Updated 4 years ago
• raviqqe / ssf
  Structurally-typed strict functional core language
  ☆19Updated 2 months ago
• upsuper / default-boxed
  Helper trait to create a boxed instance without going through stack
  ☆35Updated 2 years ago
• Danielmelody / Ruschm
  Scheme(R7RS) interpretor/compiler rust implementation
  ☆65Updated 2 years ago
• remexre / evaltrees
  A simple term-rewriting interpreter that displays intermediate expressions.
  ☆14Updated 2 years ago
• raptazure / chocolate
  Talking about classical logic and abstract algebra in Haskell
  ☆14Updated 3 years ago
• maybevoid / lambek
  Type-Level Programming in Rust
  ☆27Updated 3 years ago