skade / panic_at_the_discoLinks
☆17Updated 7 years ago
Alternatives and similar repositories for panic_at_the_disco
Users that are interested in panic_at_the_disco are comparing it to the libraries listed below
Sorting:
- Project group working on the "safe transmute" feature☆93Updated 10 months ago
- Token tree calling convention☆80Updated 2 years ago
- ☆41Updated last year
- ☆57Updated last year
- Please do not use this.☆182Updated 4 years ago
- A Rust compiler plugin and support library to annotate overflow behavior☆107Updated 2 years ago
- A tool to help with minimization of Rust code☆58Updated 2 months ago
- A type-level implementation of Smallfuck in Rust, doubling as a Turing-completeness proof for Rust's type system.☆238Updated 8 years ago
- Home of the "types team", affiliated with the compiler and lang teams.☆96Updated last year
- The never type (the true one!) in stable Rust.☆40Updated 2 weeks ago
- A Rust allocator which makes sound when active, like a Geiger counter.☆118Updated 4 months ago
- ☆44Updated 2 years ago
- Tracking if yeet gets added as a reserved keyword in Rust☆26Updated 2 years ago
- Sound unchecked indexing using “generativity”; a type system approach to indices, pointers and ranges that are trusted to be in bounds.☆102Updated 5 years ago
- sptr: The Strict Provenance Polyfill☆75Updated last year
- An extraction of the compiletest utility from the Rust compiler☆226Updated last month
- Rust implementation of the Quine-McCluskey algorithm and Petrick's method☆33Updated 2 years ago
- home for proposals in and around compile-time function evaluation☆110Updated last year
- A macro for defining type operators in Rust.☆64Updated 8 years ago
- Install a rustc master toolchain usable from rustup☆75Updated 2 weeks ago
- Tools to avoid unnecessary usage of safe code☆38Updated 4 years ago
- Prototype extension of the Rust type system towards checking units-of-measure☆115Updated 5 years ago
- Wadler-style pretty-printing combinators in Rust☆160Updated 4 months ago
- Experimenting with Rust's fundamental data model☆53Updated last week
- Historic Rust code browsing☆35Updated 4 years ago
- Type-level strings☆14Updated last year
- Intended to allow taking a T from a &mut T temporarily☆78Updated 5 years ago
- A test framework for testing rustc diagnostics output☆33Updated last week
- Procedural macro to easily write higher-order strategies in proptest.☆46Updated 3 weeks ago
- My Master's Thesis??☆69Updated 9 years ago