advancedresearch / discrete
Combinatorial phantom types for discrete mathematics
☆15Updated last year
Alternatives and similar repositories for discrete
Users that are interested in discrete are comparing it to the libraries listed below
Sorting:
- A linear solver designed to be easy to use with Rust enums.☆32Updated 4 years ago
- A small crate to provide space-efficient Option<_> replacements☆37Updated 2 months ago
- ☆30Updated 3 years ago
- ☆13Updated 7 years ago
- A Rust source code parser and explorer☆23Updated last year
- A trait-based system for creating async Wakers. Because RawWakers are healthier after they've been cooked.☆21Updated 4 years ago
- A wrapper type for optionally giving up ownership of the underlying value.☆11Updated 7 years ago
- Methods on HashMap and BTreeMap for safely getting multiple mutable references to the contained values.☆19Updated 8 years ago
- A structure for holding a set of enum variants☆19Updated 6 years ago
- high-speed metrics collection library in Rust☆19Updated 6 years ago
- Initial rallying point for ideas and PRs around solving discoverability of Rust crates for production use.☆29Updated 8 years ago
- obsolete since rust 1.35.0 doesn't need it anymore☆10Updated 3 years ago
- Dates and times library for Rust.☆14Updated 2 years ago
- A syn targetting PEG parser generator☆20Updated last year
- A general-purpose lens library for Rust.☆29Updated 8 years ago
- An in-memory topological sort algorithm for trees based on Group Theory☆24Updated 4 years ago
- Set theory applied on sorted and deduplicated slices.☆45Updated 2 years ago
- Rust web-framework for websocket based web-apps☆9Updated 6 years ago
- A symbolic evaluator for MIR☆19Updated 5 years ago
- Solve hard constraints easily with Rust.☆15Updated 2 years ago
- Pre-defined constants from all disciplines (math, physics, ...) as a Rust library☆22Updated 2 years ago
- A synchronization primitive for lock-free reads with one concurrent writer☆21Updated 8 years ago
- Collections Library for Adapton, in Rust☆13Updated 7 years ago
- An experiment in embedding layout computations in the type system.☆17Updated 5 years ago
- Experimental collection traits for Rust☆28Updated 8 years ago
- Proof of concept of procedural macro input parsed by LALRPOP☆52Updated 2 years ago
- Run a function after some data was mutably borrowed☆30Updated 4 years ago
- Splay Tree based Collections (e.g., Map, Set, Heap) Library for Rust☆19Updated 2 years ago
- Compiler plugin calculating const size of string literal and others☆11Updated 8 years ago
- Dynamically query a type-erased object for any trait implementation☆65Updated 2 years ago