Alternatives and similar repositories for the-witness-solver:

Users that are interested in the-witness-solver are comparing it to the libraries listed below

• Lucretiel / twinsies
  Twinsies is a specialized reference-counting pointer where the item is jointly owned in 2 places
  ☆27Updated last year
• shepmaster / mini-crater
  ☆31Updated 5 months ago
• Shnatsel / binfarce
  Extremely minimal parser for ELF/PE/Mach-o/ar
  ☆40Updated 3 years ago
• ehuss / cargo-prefetch
  Cargo subcommand to download popular crates.
  ☆52Updated 2 years ago
• scrabsha / cargo-hexpand
  cargo-expand, but with Hygiene [WIP]
  ☆21Updated last year
• matklad / proc-caesar
  A proc-macro to break Rust IDEs
  ☆64Updated 3 years ago
• taiki-e / cargo-minimal-versions
  Cargo subcommand for proper use of -Z minimal-versions and -Z direct-minimal-versions.
  ☆55Updated last month
• Blobfolio / brunch
  Brunch is a very simple Rust micro-benchmark runner.
  ☆28Updated 2 months ago
• nvzqz / condtype
  Choose Rust types at compile-time via constants
  ☆64Updated last year
• danielhenrymantilla / with_locals.rs
  Procedural macro to mock returning (values referencing) locals from a function (using CPS)
  ☆30Updated 6 months ago
• danielhenrymantilla / rust-uninit
  Read trait fixed to soundly work with uninitalized memory
  ☆25Updated last year
• graydon / exhaustigen-rs
  exhaustive testing library
  ☆63Updated 8 months ago
• sfackler / shell-escape
  ☆20Updated last year
• kangalio / display-utils
  String formatting utilities that return impl Display and are 100% no_std compatible
  ☆39Updated 3 years ago
• Noratrieb / cargo-minimize
  A tool to help with minimization of Rust code
  ☆51Updated last week
• jyn514 / size-of-trait
  Tiny little crate to determine how large an unnameable type is.
  ☆11Updated 3 weeks ago
• mversic / disjoint_impls
  Support for mutually disjoint impls
  ☆21Updated last month
• daniel5151 / inlinable-dyn-extension-traits
  An exploration into the various ways optional trait methods can be implemented in Rust.
  ☆37Updated 4 years ago
• bruxisma / outcome
  An experiment in an augmented error handling type for Rust
  ☆39Updated last week
• tomprogrammer / rust-ascii
  ASCII-only equivalents to `char`, `str` and `String`.
  ☆73Updated 9 months ago
• parasyte / hd
  Hex Display: A modern xxd alternative.
  ☆43Updated last month
• distil / diffus
  ☆56Updated 3 years ago
• graydon / extent
  replacement for std::{Range,RangeInclusive}
  ☆36Updated 2 years ago
• rustonaut / maybe-owned
  provides a `MaybeOwned<'a,T>` type different to std's `Cow` it implements `From<T>` and `From<&'a T>` and does not require `ToOwned`
  ☆30Updated 2 years ago
• kpreid / exhaust
  Exhaustive iteration trait in Rust
  ☆14Updated last month
• microsoft / rust_fallible_vec
  Fallible allocation support for Rust's Vec
  ☆28Updated 11 months ago
• Lokathor / bitfrob
  Helps you frob those bits
  ☆36Updated 8 months ago
• zesterer / yurt
  A highly experiment portable runtime
  ☆19Updated last year
• fasterthanlime / feedback
  An issue tracker for articles/series/videos at https://fasterthanli.me/
  ☆13Updated last year
• weiznich / rust-foundation-community-grant
  ☆20Updated 2 years ago