DMOJ / dmoj-rustLinks
A Rust crate for providing helpful methods in online judging.
☆26Updated 3 years ago
Alternatives and similar repositories for dmoj-rust
Users that are interested in dmoj-rust are comparing it to the libraries listed below
Sorting:
- Where the work of WG-grammar, aiming to provide a canonical grammar for Rust, resides☆103Updated last year
- A prototype of my proposed name resolution algorithm for Rust.☆13Updated 10 years ago
- GLL parsing framework.☆139Updated last year
- Modeling NLL and the Rust borrowck☆84Updated 8 years ago
- A Rust compiler plugin and support library to annotate overflow behavior☆106Updated 2 years ago
- A macro for defining type operators in Rust.☆65Updated 8 years ago
- ☆55Updated 5 months ago
- A perf script for helping to answer queries about how much time a given function occupies, where it is called from, and so forth.☆39Updated 7 years ago
- Modular register allocator algorithms☆105Updated 3 years ago
- Aligned allocation for Rust☆15Updated 5 years ago
- sptr: The Strict Provenance Polyfill☆75Updated 2 years ago
- The peano numbers implemented in Rust's type system.☆24Updated 9 years ago
- A proc macro for real async traits, using nightly-only existential types and generic associated types to work around the need for type er…☆45Updated 3 years ago
- A rust crate to offer compile-time assistance for working with unsafe code.☆122Updated 4 years ago
- ☆53Updated 6 years ago
- `rust-reduce` will try to make the source file smaller by interpreting it as valid Rust code and intelligently removing parts of the code…☆102Updated last year
- An intrusive splay tree implementation that is no-std compatible and free from allocation and moves☆67Updated 9 months ago
- Attempt of collection several proposals of the allocators-wg☆18Updated 5 years ago
- Hexadecimal float support for Rust☆43Updated 5 months ago
- A Rust implementation of two segment trees and a fenwick tree.☆65Updated 7 years ago
- A graphical debugger for Rust MIR☆199Updated 3 years ago
- home for proposals in and around compile-time function evaluation☆113Updated 2 months ago
- Sound unchecked indexing using “generativity”; a type system approach to indices, pointers and ranges that are trusted to be in bounds.☆105Updated 6 years ago
- An experiment in embedding layout computations in the type system.☆17Updated 6 years ago
- setup for fuzzing the Rust compiler☆60Updated 10 months ago
- Compile-time temporary directory shared by multiple crates and erased by `cargo clean`☆77Updated last month
- A proc-macro to break Rust IDEs☆65Updated 4 years ago
- ☆90Updated last month
- Home for the Inline Assembly project group☆34Updated 5 years ago
- (More or less) accurate floating point algorithms☆57Updated last year