Alternatives and similar repositories for rustlab2024

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

• cognitive-engineering-lab / argus
  An IDE extension for debugging trait errors in Rust.
  ☆185Updated last month
• RyanWelly / lisp-in-rs-macros
  A Lisp interpreter written fully in rust macros.
  ☆280Updated 9 months ago
• orhun / rustlab2024-ratatui-workshop
  A workshop for cooking up TUIs with Ratatui
  ☆24Updated 7 months ago
• steveklabnik / rue
  A programming language that is a minimal subset of Rust
  ☆100Updated 2 weeks ago
• BurntSushi / rsc-regexp
  Translations of a simple C program to Rust.
  ☆141Updated last year
• jonhoo / lox
  https://app.codecrafters.io/courses/interpreter
  ☆89Updated 10 months ago
• linkdd / astmaker
  Build Abstract Syntax Trees and tree-walking models quickly in Rust.
  ☆122Updated last year
• linkdd / letlang
  Functional language with a powerful type system.
  ☆171Updated last year
• VineLang / vine
  an experimental new programming language based on interaction nets
  ☆273Updated this week
• faiface / par-lang
  Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.
  ☆268Updated this week
• 0x2a-42 / lelwel
  Resilient LL(1) parser generator for Rust
  ☆161Updated last week
• vaivaswatha / pliron
  An Extensible Compiler IR Framework
  ☆179Updated 2 weeks ago
• rustcoreutils / posixutils-rs
  Core POSIX command line utilities in safe Rust
  ☆379Updated last month
• formal-land / coq-of-rust
  Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make super safe applications! ✈️ 🚀 ⚕️ 🏦
  ☆922Updated this week
• yorickpeterse / pattern-matching-in-rust
  Pattern matching and exhaustiveness checking algorithms implemented in Rust
  ☆220Updated 7 months ago
• s-arash / ascent
  Logic programming in Rust
  ☆471Updated last month
• marvinborner / interaction-net-resources
  Interaction net resources
  ☆15Updated this week
• Eliah-Lakhin / lady-deirdre
  Compiler front-end foundation technology.
  ☆463Updated last week
• chshersh / ccl
  📜 CCL: Categorical Configuration Language, The most elegant configuration language
  ☆222Updated 4 months ago
• corrode / four-horsemen-talk
  Slides and sample code from my talk "The Four Horsemen of Bad Rust Code" at FOSDEM
  ☆40Updated last year
• maplant / scheme-rs
  Embedded Scheme for the Async Rust Ecosystem
  ☆182Updated 3 weeks ago
• rosefromthedead / effing-mad
  Algebraic effects for Rust
  ☆622Updated last year
• corrode / write-yourself-a-shell
  Write yourself a shell in Rust. A 6-hour course to learn about intermediate Rust concepts and idiomatic code.
  ☆29Updated 7 months ago
• model-checking / verify-rust-std
  Verifying the Rust standard library
  ☆251Updated this week
• ibraheemdev / too-many-web-servers
  https://ibraheem.ca/posts/too-many-web-servers/
  ☆104Updated last year
• orsinium-labs / rlci
  🦀 λ Overly-documented Rust-powered Lambda Calculus Interpreter.
  ☆65Updated 2 months ago
• nikomatsakis / rust-design-axioms
  Discovering and describing Rust's design axioms
  ☆74Updated last year
• brioche-dev / brioche
  A delicious package manager
  ☆408Updated this week
• matklad / abont
  Finally, a shell for all seasons!
  ☆118Updated 5 months ago
• ashvardanian / less_slow.rs
  Playing around "Less Slow" coding practices in Rust, from numerical micro-kernels to coroutines, ranges, and polymorphic state machines
  ☆114Updated 2 months ago