Alternatives and similar repositories for the-witness-solver

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

• kennytm / parse-size
  Parse byte size into integer accurately.
  ☆29Updated 8 months ago
• weiznich / rust-foundation-community-grant
  ☆20Updated 2 years ago
• ferrilab / ferrilab
  Experimenting with Rust's fundamental data model
  ☆52Updated 8 months ago
• najamelan / tracing_prism
  Side by side split of async log files
  ☆15Updated 2 years ago
• graydon / exhaustigen-rs
  exhaustive testing library
  ☆63Updated 10 months ago
• foresterre / storyteller
  🎙 Architect TUI and text user output for multiple output destinations using events, in Rust.
  ☆31Updated last month
• shepmaster / mini-crater
  ☆32Updated 7 months ago
• advancedresearch / hooo
  Propositional logic with exponentials
  ☆20Updated last month
• Skepfyr / DiplomaticBag
  A rust library to hide types inside a diplomatic bag which can be sent between threads freely
  ☆15Updated 2 years ago
• Lucretiel / twinsies
  Twinsies is a specialized reference-counting pointer where the item is jointly owned in 2 places
  ☆27Updated last year
• zesterer / ffd
  Fast Function Dispatch: Improving the performance of Rust's dynamic function calls
  ☆32Updated 7 months ago
• myrrlyn / wyz
  myrrlyn’s wyzyrdly library
  ☆25Updated last year
• KaiserKarel / issue-rs
  ☆74Updated 3 years ago
• oli-obk / quine-mc_cluskey
  Rust implementation of the Quine-McCluskey algorithm and Petrick's method
  ☆33Updated 2 years ago
• graydon / extent
  replacement for std::{Range,RangeInclusive}
  ☆36Updated 2 years ago
• Lokathor / bitfrob
  Helps you frob those bits
  ☆38Updated 9 months ago
• rodrimati1992 / tstr_crates
  Type-level strings
  ☆14Updated last year
• dtolnay / include-json
  Parse JSON file at compile time and embed as serde_json::Value
  ☆28Updated 3 months ago
• petrosagg / escher
  Self-referencial structs using the async/await transformation
  ☆43Updated 4 years ago
• jyn514 / size-of-trait
  Tiny little crate to determine how large an unnameable type is.
  ☆12Updated 2 months ago
• scrabsha / expandable
  What if we could check declarative macros before using them?
  ☆48Updated 7 months ago
• PsichiX / md-bakery
  CLI tool to bake your fresh and hot MD files
  ☆40Updated 4 years ago
• JWorthe / entelect-challenge-tower-defence
  Bot for the 2018 Entelect Challenge - Tower Defence
  ☆17Updated 6 years ago
• MakotoE / clippit
  ☆10Updated last year
• danielhenrymantilla / with_locals.rs
  Procedural macro to mock returning (values referencing) locals from a function (using CPS)
  ☆31Updated 7 months ago
• jkelleyrtp / optargs
  Easy-to-use optional function arguments for Rust
  ☆47Updated last year
• henryksloan / sugarcubes
  A library and tool for automata and formal languages, inspired by JFLAP
  ☆26Updated 3 years ago
• dtolnay / squatternaut
  A snapshot of name squatting on crates.io
  ☆75Updated last year
• Diggsey / spanr
  Procedural macro span debugger/visualizer
  ☆40Updated 4 years ago
• spitfire05 / wavegen-rs
  Waveform generator library written in Rust
  ☆38Updated 2 years ago