Alternatives and similar repositories for rustc-sat:

Users that are interested in rustc-sat are comparing it to the libraries listed below

• graydon / bocu1
  a BOCU-1 encoder/decoder library in rust
  ☆18Updated 2 years ago
• sldty / kitbag
  Kitbag is a content-addressed versioned tree-structured graph-based datastore.
  ☆14Updated 3 years ago
• luteberget / minisat-rs
  Rust crate which compiles minisat and provides an interface (C/C++ compiler required)
  ☆10Updated 3 years ago
• JoshMcguigan / nerve
  ☆17Updated 4 years ago
• Kixiron / sruth
  Sruth Lùbach: A toy optimization engine
  ☆23Updated 3 years ago
• bytecodealliance / filecheck
  Library for writing tests for utilities that read text files and produce text output
  ☆22Updated 4 years ago
• dtolnay / serde-stacker
  Serializer and Deserializer adapters that avoid stack overflows by dynamically growing the stack
  ☆33Updated last week
• hdevalence / text_tree
  dom-like layout for terminal applications
  ☆12Updated 4 years ago
• dtolnay / lalrproc
  Proof of concept of procedural macro input parsed by LALRPOP
  ☆51Updated 2 years ago
• Michael-F-Bryan / linkcheck
  A library for extracting and validating links.
  ☆22Updated 5 months ago
• vrtbl / aspen
  Passerine's package manager.
  ☆22Updated 2 years ago
• yvt / svgbobdoc
  Rust procedural macro that renders ASCII diagrams in doc comments as SVG images.
  ☆19Updated 2 months ago
• maybevoid / lambek
  Type-Level Programming in Rust
  ☆27Updated 3 years ago
• playXE / garbage-collector
  Garbage collector implementation in Rust for Rust
  ☆13Updated 4 years ago
• mb64 / prolog
  A simple prolog implementation in Rust
  ☆26Updated 4 years ago
• pythonesque / dependent_traits
  A dependent type system built entirely in Rust's trait system (WIP).
  ☆25Updated 6 years ago
• zesterer / mutation
  Unleash the power of nightly Rust to write code that's generic over mutation!
  ☆24Updated 4 years ago
• graydon / exhaustigen-rs
  exhaustive testing library
  ☆63Updated 6 months ago
• graydon / extent
  replacement for std::{Range,RangeInclusive}
  ☆36Updated 2 years ago
• nox / inert
  Inert lets you use non-Sync values in Sync context
  ☆16Updated 5 years ago
• tormol / map_in_place
  A rust library for reusing heap allocations
  ☆23Updated 4 years ago
• eddyb / sobek
  Reverse engineering framework.
  ☆36Updated 2 years ago
• kennytm / omgwtf8
  Optimized-Matching-Generalized Wobbly Transformation Format — 8-bit
  ☆36Updated 6 years ago
• playXE / cgc
  Copying Garbage Collector
  ☆13Updated 4 years ago
• fitzgen / peepmatic
  A DSL and compiler for generating peephole optimizers for Cranelift
  ☆63Updated 4 years ago
• tosc-rs / mnemos-alloc
  An async allocator with Fun™️ unsafe Rust
  ☆18Updated last year
• paholg / peano
  The peano numbers implemented in Rust's type system.
  ☆24Updated 8 years ago
• image-rs / inflate
  A pure Rust implementation of DEFLATE decompression
  ☆44Updated 5 years ago
• nikomatsakis / dyner
  Experimenting with ergonomic dyn types
  ☆29Updated 3 years ago
• graydon / exhaustigen
  ☆10Updated 3 years ago