Alternatives and similar repositories for rustlab2024

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

• formal-land / coq-of-rust
  Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make super safe applications! ✈️ 🚀 ⚕️ 🏦
  ☆982Updated 3 weeks ago
• PhilippRados / wrecc
  A x86_64 C99 compiler written in Rust from scratch
  ☆440Updated 9 months ago
• ajeetdsouza / loxcraft
  Language tooling for the Lox programming language.
  ☆335Updated 2 months ago
• cognitive-engineering-lab / argus
  An IDE extension for debugging trait errors in Rust.
  ☆275Updated 3 weeks ago
• typst / comemo
  Incremental computation through constrained memoization.
  ☆540Updated 2 months ago
• vaivaswatha / pliron
  An Extensible Compiler IR Framework
  ☆209Updated last month
• orhun / rustlab2024-ratatui-workshop
  A workshop for cooking up TUIs with Ratatui
  ☆26Updated 11 months ago
• faiface / par-lang
  Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.
  ☆472Updated last week
• pest-parser / awesome-pest
  A curated list of resources, projects, and tools using or for the pest parser generator in Rust
  ☆116Updated last month
• steveklabnik / rue
  A programming language that is a minimal subset of Rust
  ☆276Updated last month
• BurntSushi / rsc-regexp
  Translations of a simple C program to Rust.
  ☆141Updated last year
• nikomatsakis / how-to-rust
  A collection of blog posts and links that talk about how to successfully use Rust.
  ☆389Updated 3 years ago
• maplant / scheme-rs
  Embedded Scheme for the Async Rust Ecosystem
  ☆221Updated this week
• HigherOrderCO / kind2-archive
  Temporary repository for Kind2's refactor based on HVM2
  ☆280Updated last year
• tdp2110 / crafting-interpreters-rs
  Crafting Interpreters in Rust
  ☆301Updated 2 years ago
• rezigned / tur
  Tur - A language for defining and executing Turing machines, complete with parser, interpreter, and multi-platform visualization tools.
  ☆115Updated 3 weeks ago
• veyselusta / programming-language-research
  Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.
  ☆248Updated last year
• newca12 / awesome-rust-formalized-reasoning
  An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematic…
  ☆355Updated last week
• ad-si / Rust-Flashcards
  Over 550 flashcards to learn Rust from first principles. Written in markdown with script to convert them to an Anki deck or PDF file.
  ☆635Updated 2 months ago
• rikhuijzer / xrcf
  A modern library for building production-grade compilers
  ☆18Updated 7 months ago
• Kobzol / rust-course-fei
  Rust course taught at FEI VŠB-TUO.
  ☆204Updated 3 months ago
• RyanWelly / lisp-in-rs-macros
  A Lisp interpreter written fully in rust macros.
  ☆280Updated last year
• Voultapher / sort-research-rs
  Test and benchmark suite for sort implementations.
  ☆500Updated last month
• rustcoreutils / posixutils-rs
  Core POSIX command line utilities in safe Rust
  ☆395Updated 3 months ago
• endorlabs / MIRAI
  ☆168Updated 7 months ago
• ferrous-systems / rust-training
  Learning materials for the Rust Training courses by Ferrous Systems
  ☆273Updated last week
• yorickpeterse / pattern-matching-in-rust
  Pattern matching and exhaustiveness checking algorithms implemented in Rust
  ☆226Updated 11 months ago
• VineLang / vine
  an experimental new programming language based on interaction nets
  ☆307Updated this week
• rust-hosted-langs / book
  Writing Interpreters in Rust: a Guide
  ☆517Updated 8 months ago
• s-arash / ascent
  Logic programming in Rust
  ☆507Updated last week