Alternatives and similar repositories for savage

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

• minirust / minirust
  A precise specification for "Rust lite / MIR plus"
  ☆922Updated 2 weeks ago
• mhogrefe / malachite
  An arbitrary-precision arithmetic library for Rust.
  ☆514Updated last week
• flux-rs / flux
  Refinement Types for Rust
  ☆767Updated this week
• matthieu-m / static-rc
  Compile-time reference counting
  ☆457Updated 3 months ago
• iliekturtles / uom
  Units of measurement -- type-safe zero-cost dimensional analysis
  ☆1,131Updated last week
• MichalGniadek / klask
  Automatically create GUI applications from clap3 apps
  ☆414Updated 2 years ago
• Kixiron / rust-langdev
  Language development libraries for Rust
  ☆971Updated 9 months ago
• c0dearm / mushin
  Computational graphs with reverse automatic differentation in the GPU
  ☆394Updated 3 years ago
• brendanzab / codespan
  Beautiful diagnostic reporting for text-based programming languages.
  ☆1,226Updated 2 weeks ago
• pacak / cargo-show-asm
  cargo subcommand showing the assembly, LLVM-IR and MIR generated for Rust code
  ☆851Updated last week
• hawkw / mycelium
  🍄 an alleged 'operating system'
  ☆672Updated last week
• dtolnay / watt
  Runtime for executing procedural macros as WebAssembly
  ☆1,424Updated 3 weeks ago
• Eugeny / rust-sinner
  Easy c̵̰͠r̵̛̠ö̴̪s̶̩̒s̵̭̀-t̶̲͝h̶̯̚r̵̺͐e̷̖̽ḁ̴̍d̶̖̔ ȓ̵͙ė̶͎ḟ̴͙e̸̖͛r̶̖͗ë̶̱́ṉ̵̒ĉ̷̥e̷͚̍ s̷̹͌h̷̲̉a̵̭͋r̷̫̊ḭ̵̊n̷̬͂g̵̦̃ f̶̻̊ơ̵̜ṟ̸̈́ R̵̞̋ù̵…
  ☆310Updated 3 years ago
• dtolnay / no-panic
  Attribute macro to require that the compiler prove a function can't ever panic
  ☆1,145Updated 3 weeks ago
• hydro-project / rust-sitter
  Use Tree Sitter to parse your own languages in Rust
  ☆667Updated 2 months ago
• sunfishcode / eyra
  Rust programs written entirely in Rust
  ☆851Updated 4 months ago
• dtolnay / prettyplease
  A minimal `syn` syntax tree pretty-printer
  ☆714Updated 3 weeks ago
• RazrFalcon / pico-args
  An ultra simple CLI arguments parser.
  ☆620Updated last year
• softdevteam / grmtools
  Rust grammar tool libraries and binaries
  ☆554Updated 2 weeks ago
• RalfJung / cargo-careful
  Execute Rust code carefully, with extra checking along the way
  ☆447Updated 3 weeks ago
• rosefromthedead / effing-mad
  Algebraic effects for Rust
  ☆637Updated last year
• matklad / xshell
  ☆773Updated 8 months ago
• rust-lang / fls
  The FLS
  ☆456Updated last month
• matthieu-m / ghost-cell
  An implementation of Joshua Yanovski's Ghost Cell paper.
  ☆482Updated last year
• not-fl3 / nanoserde
  Serialization library with zero dependencies
  ☆815Updated 2 months ago
• pacak / bpaf
  Command line parser with applicative interface
  ☆396Updated 3 months ago
• rusticstuff / simdutf8
  SIMD-accelerated UTF-8 validation for Rust.
  ☆564Updated 5 months ago
• roogle-rs / roogle
  A Rust API search engine
  ☆418Updated last year
• viperproject / prusti-dev
  A static verifier for Rust, based on the Viper verification infrastructure.
  ☆1,673Updated 3 weeks ago
• zesterer / ariadne
  A fancy diagnostics & error reporting crate
  ☆2,024Updated 3 months ago