Alternatives and similar repositories for lady-deirdre

Users that are interested in lady-deirdre are comparing it to the libraries listed below

• pcwalton / offset-allocator
  A port of Sebastian Aaltonen's `OffsetAllocator` to Rust
  ☆408Updated 11 months ago
• formal-land / coq-of-rust
  Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make super safe applications! ✈️ 🚀 ⚕️ 🏦
  ☆923Updated last week
• explodingcamera / tinywasm
  A tiny, interpreted WebAssembly Runtime written in Rust
  ☆524Updated this week
• kyren / gc-arena
  Incremental garbage collection from safe Rust
  ☆726Updated last month
• dragostis / chili
  Rust port of Spice, a low-overhead parallelization library
  ☆646Updated last month
• hydro-project / rust-sitter
  Use Tree Sitter to parse your own languages in Rust
  ☆650Updated last week
• clarkmcc / cel-rust
  Common Expression Language interpreter written in Rust
  ☆433Updated 2 weeks ago
• yorickpeterse / pattern-matching-in-rust
  Pattern matching and exhaustiveness checking algorithms implemented in Rust
  ☆220Updated 7 months ago
• flux-rs / flux
  Refinement Types for Rust
  ☆741Updated this week
• minirust / minirust
  A precise specification for "Rust lite / MIR plus"
  ☆874Updated 2 weeks ago
• SFBdragon / talc
  A fast and flexible allocator for no_std and WebAssembly
  ☆485Updated last week
• LHolten / rust-query
  Type safe query builder for rust
  ☆352Updated 2 weeks ago
• mazeppa-dev / mazeppa
  A modern supercompiler for call-by-value functional languages
  ☆415Updated 2 months ago
• rustcoreutils / posixutils-rs
  Core POSIX command line utilities in safe Rust
  ☆378Updated last month
• HKalbasi / zngur
  A C++/Rust interop tool
  ☆302Updated 3 weeks ago
• RyanWelly / lisp-in-rs-macros
  A Lisp interpreter written fully in rust macros.
  ☆280Updated 9 months ago
• wdanilo / crabtime
  ☆1,566Updated last month
• cfallin / weval
  ☆172Updated 8 months ago
• NLnetLabs / roto
  The strongly-typed, compiled language for creating route filters, used by Rotonda.
  ☆314Updated this week
• s-arash / ascent
  Logic programming in Rust
  ☆470Updated last month
• davidlattimore / wild
  A very fast linker for Linux
  ☆2,212Updated this week
• winnow-rs / winnow
  Making parsing a breeze
  ☆743Updated 2 weeks ago
• Eliah-Lakhin / ad-astra
  Scripting language for Rust.
  ☆92Updated 6 months ago
• creusot-rs / creusot
  Creusot helps you prove your code is correct in an automated fashion.
  ☆1,285Updated this week
• NishantJoshi00 / shelgon
  ☆269Updated 4 months ago
• VineLang / vine
  an experimental new programming language based on interaction nets
  ☆272Updated this week
• dada-lang / dada
  I speak only of myself since I do not wish to convince, I have no right to drag others into my river, I oblige no one to follow me and ev…
  ☆485Updated last month
• rust-analyzer / ungrammar
  ☆317Updated 7 months ago
• rosefromthedead / effing-mad
  Algebraic effects for Rust
  ☆618Updated 11 months ago
• willothy / whirlwind
  🌀 Async-first sharded hashmap for Rust.
  ☆506Updated 5 months ago