Alternatives and similar repositories for lta-rs

Users that are interested in lta-rs are comparing it to the libraries listed below

• endorlabs / MIRAI
  ☆190Updated 10 months ago
• tnballo / scapegoat
  Safe, fallible, embedded-friendly ordered set/map via a scapegoat tree. Validated against BTreeSet/BTreeMap.
  ☆263Updated 3 years ago
• xu-cheng / katex-rs
  Rust bindings to KaTeX
  ☆126Updated last year
• rust-fuzz / arbitrary
  Generating structured data from arbitrary, unstructured input.
  ☆840Updated 3 weeks ago
• hecatia-elegua / bilge
  Use bitsized types as if they were a feature of rust.
  ☆192Updated 3 months ago
• yannickfunk / genanki-rs
  Rust crate to create Anki decks. Based on the python library genanki
  ☆128Updated last year
• RalfJung / cargo-careful
  Execute Rust code carefully, with extra checking along the way
  ☆469Updated last week
• niklasf / shakmaty
  A Rust library for chess and chess variant rules and operations
  ☆260Updated this week
• bheisler / iai
  Experimental one-shot benchmarking/profiling harness for Rust
  ☆643Updated last year
• xacrimon / conc-map-bench
  ☆208Updated 10 months ago
• cognitive-engineering-lab / argus
  An IDE extension for debugging trait errors in Rust.
  ☆309Updated 3 months ago
• h33p / cglue
  Rust ABI safe code generator
  ☆190Updated 8 months ago
• prove-rs / z3.rs
  Rust bindings for the Z3 solver.
  ☆471Updated last week
• jswrenn / deflect
  Reflection via DWARF.
  ☆298Updated 2 years ago
• calebzulawski / multiversion
  Easy function multiversioning for Rust
  ☆251Updated 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…
  ☆364Updated this week
• RatanShreshtha / DeepThought
  A simple blog theme focused on writing powered by Bulma and Zola.
  ☆188Updated last year
• danlehmann / arbitrary-int
  A modern and lightweight implementation of arbitrary integers for Rust
  ☆45Updated last month
• nikomatsakis / moro
  Experiments with structured concurrency in Rust
  ☆404Updated last year
• open-spaced-repetition / fsrs-rs
  FSRS for Rust, including Optimizer and Scheduler
  ☆316Updated 3 weeks ago
• hawkw / thingbuf
  in-place allocation-reusing queues for Rust
  ☆392Updated last year
• andrewhickman / prost-reflect
  A protobuf library extending prost with reflection support and dynamic messages.
  ☆130Updated last month
• cargo-public-api / cargo-public-api
  List and diff the public API of Rust library crates between releases and commits. Detect breaking API changes and semver violations via C…
  ☆518Updated this week
• Kobzol / cargo-remark
  Cargo subcommand for viewing LLVM optimization remarks.
  ☆202Updated 2 months ago
• adam-mcdaniel / chess-engine
  A dependency-free chess engine♟️ library built to run anywhere.
  ☆456Updated last year
• zerotypic / wasg-register
  Wireless@SG Registration Utility
  ☆132Updated 11 months ago
• not-matthias / apollo
  Modern and minimalistic blog theme.
  ☆224Updated last month
• udoprog / musli
  Müsli is a flexible and efficient serialization framework
  ☆420Updated 2 weeks ago
• gungraun / gungraun
  High-precision, one-shot and consistent benchmarking framework/harness for Rust. All Valgrind tools at your fingertips.
  ☆210Updated this week
• cognitive-engineering-lab / rustc_plugin
  A framework for writing plugins that integrate with the Rust compiler
  ☆162Updated 3 months ago