Alternatives and similar repositories for sat:

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

• codahale / pcg.rs
  A Rust implementation of the PCG PRNG.
  ☆24Updated 7 years ago
• frehberg / rust-bytestool
  Compiler plugin calculating const size of string literal and others
  ☆11Updated 8 years ago
• pthariensflame / refraction
  A general-purpose lens library for Rust.
  ☆29Updated 8 years ago
• saschagrunert / peel
  Dynamic packet parsing within trees 🌲🌳🌴
  ☆24Updated 7 years ago
• nagisa / math.rs
  Implementation of libm in rust
  ☆34Updated 7 years ago
• advancedresearch / monotonic_solver
  A monotonic solver designed to be easy to use with Rust enum expressions
  ☆47Updated 4 years ago
• Manishearth / rust-tenacious
  Lint to disallow the moving of marked types in Rust
  ☆35Updated 8 years ago
• contain-rs / enum-set
  A structure for holding a set of enum variants
  ☆20Updated 6 years ago
• Stebalien / stash-rs
  A fast map for when one doesn't care about choosing the keys.
  ☆26Updated 5 months ago
• rrichardson / block_alloc
  Allocator of fixed sized blocks from pre-allocated arena
  ☆18Updated 7 years ago
• anp / cue
  Simple parallel pipeline for long tasks in Rust.
  ☆17Updated 8 years ago
• kvark / ticketed_lock
  Ticketed lock synchronization primitive
  ☆11Updated 4 years ago
• kinghajj / shawshank
  ☆13Updated 7 years ago
• nikomatsakis / cargo-incremental
  A fuzzing tool for incremental compilation that walks git history
  ☆32Updated 6 years ago
• matprec / explain-rs
  A library which finds language features in rust code and provides resources on them.
  ☆39Updated 7 years ago
• cuplv / iodyn.rust
  Collections Library for Adapton, in Rust
  ☆13Updated 7 years ago
• insanitybit / aktors
  Rust actor library with a bit of inspiration from Akka/Pykka
  ☆45Updated 4 years ago
• LykenSol-abandoned / lyken
  Experimental compiler/UI components in Rust.
  ☆37Updated 6 years ago
• seanmonstar / vecio
  ☆30Updated 3 years ago
• frankmcsherry / recycler
  A small Rust library for recycling types with owned memory
  ☆33Updated 9 years ago
• arcnmx / nue
  I/O and binary data encoding for Rust
  ☆38Updated 9 years ago
• graydon / z3-rs
  ☆23Updated 6 years ago
• nikomatsakis / dogged
  Experimental persistent collections in Rust
  ☆45Updated 7 years ago
• softprops / screenprints
  reprints for your terminal screen
  ☆20Updated 9 years ago
• fitzgen / rent_to_own
  A wrapper type for optionally giving up ownership of the underlying value.
  ☆11Updated 7 years ago
• jswrenn / typelayout
  An experiment in embedding layout computations in the type system.
  ☆17Updated 5 years ago
• shepmaster / peresil
  A simplistic parsing library in Rust
  ☆20Updated 5 years ago
• shepmaster / ebene-rust
  A Rust source code parser and explorer
  ☆23Updated last year
• japaric-archived / untry
  Convert `try!()` into `?`s
  ☆34Updated 8 years ago
• huonw / llvmint
  ☆25Updated 9 years ago