advancedresearch / monotonic_solver
A monotonic solver designed to be easy to use with Rust enum expressions
☆47Updated 4 years ago
Alternatives and similar repositories for monotonic_solver:
Users that are interested in monotonic_solver are comparing it to the libraries listed below
- D-inspired contract programming in Rust using macros☆54Updated 3 years ago
- Ticketed lock synchronization primitive☆11Updated 4 years ago
- A library which finds language features in rust code and provides resources on them.☆39Updated 7 years ago
- A fuzzing tool for incremental compilation that walks git history☆32Updated 6 years ago
- A fast map for when one doesn't care about choosing the keys.☆26Updated 5 months ago
- An attempt to make a port of minimp3 to Rust☆30Updated 6 years ago
- A data engine for Data Oriented Design☆26Updated 6 years ago
- A macro to generate Rust actors☆45Updated 4 years ago
- Working group focused on language runtimes - implementing GC and concurrency in safe Rust APIs☆34Updated 7 years ago
- Faster, more flexible and more correct alternative to core::fmt☆40Updated 4 years ago
- A very small GC in Rust, with a safe API☆61Updated 9 months ago
- ☆25Updated 9 years ago
- A small Rust library for recycling types with owned memory☆33Updated 9 years ago
- Simple language parser, interpreter and CLI built in Rust, to be used for baremetal/no_std environments.☆20Updated 2 years ago
- Fast json encoder in rust, that encodes the structure of JSON values in their types☆83Updated 2 years ago
- A general-purpose lens library for Rust.☆29Updated 8 years ago
- Lint to disallow the moving of marked types in Rust☆35Updated 8 years ago
- A synchronization primitive for lock-free reads with one concurrent writer☆21Updated 8 years ago
- ☆23Updated 8 years ago
- An owned, grow-able UTF-8 string that stores small strings inline and avoids heap-allocation.☆68Updated 3 years ago
- Units of Measure for Rust☆45Updated 9 years ago
- Type-level named values with partial dependent type support in Rust☆57Updated 3 years ago
- A Cargo plugin to list unsafe code in a Rust project.☆45Updated 6 years ago
- Type-Safe, Lazily Evaluated, Plugins for Extensible Types☆29Updated 8 years ago
- A wrapper type for optionally giving up ownership of the underlying value.☆11Updated 7 years ago
- More maintainable Rust test☆28Updated 3 years ago
- a distributed-merge capable database for many small objects☆79Updated 5 years ago
- [WIP] Molten - Style-preserving TOML parser.☆39Updated 7 years ago
- [DEPRECATED] A simple object arena☆37Updated 3 years ago
- A data serialization format as similar as possible to Rust's own syntax☆44Updated 2 years ago