kmcallister / satLinks
Interface for defining and solving SAT problems in Rust
☆14Updated 8 years ago
Alternatives and similar repositories for sat
Users that are interested in sat are comparing it to the libraries listed below
Sorting:
- A general-purpose lens library for Rust.☆29Updated 8 years ago
- A fuzzing tool for incremental compilation that walks git history☆33Updated 7 years ago
- A structure for holding a set of enum variants☆19Updated 6 years ago
- ☆27Updated 10 years ago
- Compiler plugin calculating const size of string literal and others☆11Updated 8 years ago
- Scary macros for serde_json☆43Updated 8 years ago
- Simple parallel pipeline for long tasks in Rust.☆17Updated 8 years ago
- reprints for your terminal screen☆20Updated 9 years ago
- A Rust implementation of the PCG PRNG.☆24Updated 8 years ago
- N-Dimensional Spatial Tree implementations library for Rust☆10Updated last year
- A implementation of GraphQL for Rust☆12Updated 8 years ago
- a distributed-merge capable database for many small objects☆79Updated 5 years ago
- Rust declarative static analysis with macro-like syntax☆15Updated 6 years ago
- Take a reference and get back a slice of length one☆25Updated 4 years ago
- Allocator of fixed sized blocks from pre-allocated arena☆18Updated 7 years ago
- ☆11Updated 6 years ago
- Convert `try!()` into `?`s☆34Updated 8 years ago
- High-level gui api for rust (early alpha)☆13Updated 7 years ago
- ☆30Updated 3 years ago
- I/O and binary data encoding for Rust☆38Updated 9 years ago
- A library which finds language features in rust code and provides resources on them.☆39Updated 7 years ago
- Dynamic packet parsing within trees 🌲🌳🌴☆24Updated 7 years ago
- ☆22Updated 8 years ago
- Faster, more flexible and more correct alternative to core::fmt☆40Updated 4 years ago
- Tokio / Hyper like IO for the Browser based on the stdweb, futures and http crates.☆22Updated 7 years ago
- ☆13Updated 7 years ago
- Implementation of libm in rust☆34Updated 8 years ago
- Fast json encoder in rust, that encodes the structure of JSON values in their types☆83Updated 2 years ago
- An owned, grow-able UTF-8 string that stores small strings inline and avoids heap-allocation.☆68Updated 3 years ago
- A modern asynchronous HTTP server for Rust.☆63Updated 8 years ago