Alternatives and similar repositories for sat

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

• rrichardson / block_alloc
  Allocator of fixed sized blocks from pre-allocated arena
  ☆18Updated 8 years ago
• Stebalien / stash-rs
  A fast map for when one doesn't care about choosing the keys.
  ☆27Updated last year
• ballard26 / concurrent-hamt
  ☆86Updated 9 years ago
• codahale / pcg.rs
  A Rust implementation of the PCG PRNG.
  ☆24Updated 8 years ago
• nivekuil / rculock
  A synchronization primitive for lock-free reads with one concurrent writer
  ☆21Updated 8 years ago
• adevore / rudy
  Judy array implementation in pure Rust
  ☆87Updated 8 years ago
• nikomatsakis / cargo-incremental
  A fuzzing tool for incremental compilation that walks git history
  ☆33Updated 7 years ago
• meh / rorschach
  And I'll look down and whisper "GNO."
  ☆59Updated 9 years ago
• matprec / explain-rs
  A library which finds language features in rust code and provides resources on them.
  ☆39Updated 8 years ago
• seanmonstar / vecio
  ☆30Updated 4 years ago
• m-labs / rust-atomic_ring_buffer
  Atomic ring buffer is a fixed-size multi-producer multi-consumer queue that works on bare-metal systems.
  ☆49Updated 8 years ago
• harharkh / mayda
  A Rust library to compress integer arrays.
  ☆40Updated 7 years ago
• advancedresearch / quickbacktrack
  Library for backtracking with customizable search for moves
  ☆24Updated last month
• advancedresearch / monotonic_solver
  A monotonic solver designed to be easy to use with Rust enum expressions
  ☆49Updated 4 years ago
• Boddlnagg / units
  Units of Measure for Rust
  ☆49Updated 10 years ago
• graydon / z3-rs
  ☆24Updated 7 years ago
• Manishearth / rust-tenacious
  Lint to disallow the moving of marked types in Rust
  ☆35Updated 9 years ago
• brson / cargo-crusader
  Test the downstream impact of Rust crate changes before publishing
  ☆59Updated 7 years ago
• asajeffrey / josephine
  JS affine
  ☆68Updated 5 years ago
• Robbepop / prophet
  A simple neural net implementation.
  ☆42Updated 6 years ago
• canndrew / error_def
  Rust syntax extension for generating error-handling boilerplate code.
  ☆18Updated 7 years ago
• pthariensflame / refraction
  A general-purpose lens library for Rust.
  ☆30Updated 9 years ago
• TimelyDataflow / diagnostics
  Diagnostic tools for timely dataflow computations
  ☆50Updated 3 years ago
• Metadiff / gir
  Graph Intermediate Representation (GIR) library for ML
  ☆23Updated 8 years ago
• diwic / reffers-rs
  Rust wrappers around references, boxes and Arcs.
  ☆71Updated 4 years ago
• nikomatsakis / dogged
  Experimental persistent collections in Rust
  ☆45Updated 8 years ago
• nsmaciej / serde_wat
  Scary macros for serde_json
  ☆43Updated 9 years ago
• shepmaster / peresil
  A simplistic parsing library in Rust
  ☆20Updated 5 years ago
• milibopp / acacia
  A spatial partitioning and tree library in Rust.
  ☆84Updated last year
• cuplv / iodyn.rust
  Collections Library for Adapton, in Rust
  ☆13Updated 8 years ago