Centril / rfc-trait-parametric-polymorphism
Planning, scheming and designing of {-# LANGAUGE ConstraintKinds #-} for Rust
☆12Updated 7 years ago
Alternatives and similar repositories for rfc-trait-parametric-polymorphism:
Users that are interested in rfc-trait-parametric-polymorphism are comparing it to the libraries listed below
- Proof of Concept of a version of the error trait that is no-std compatible and works with backtraces / error return traces☆11Updated 4 years ago
- Backported standard Rust library to older compilers.☆21Updated 2 years ago
- ☆37Updated last year
- JS affine☆66Updated 4 years ago
- A type safe, low level replacement for `std::io`.☆62Updated 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
- Proc macro for using doc comments as context for errors/logs/profiling/whatever via `tracing`☆46Updated 2 years ago
- Home for the Inline Assembly project group☆33Updated 5 years ago
- Emulating Higher-Kinded Types in Rust via Plug/Unplug. Also, Monads.☆30Updated 5 years ago
- Test harness for declarative and procedural macros expansion via `cargo-expand`☆57Updated 2 months ago
- Token tree calling convention☆79Updated 2 years ago
- Intended to allow taking a T from a &mut T temporarily☆78Updated 5 years 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.☆38Updated 6 years ago
- Experimental type level programming in Rust☆37Updated 3 years ago
- Machine scalar casting that meets your expectations☆74Updated 3 years ago
- Proc macro derive to generate structs from enum variants.☆28Updated last year
- ☆39Updated 11 months ago
- native timers for futures 0.3☆25Updated 6 years ago
- Arbitrary precision integers library.☆27Updated 4 years ago
- Generic permutator written in Rust that permutates both lists of lists and singular lists using references.☆16Updated 5 years ago
- Debug RefCell which keeps track of stack traces in debug mode☆24Updated last year
- Modeling NLL and the Rust borrowck☆80Updated 7 years ago
- Install a rustc master toolchain usable from rustup☆75Updated 2 years ago
- rust verification condition generator☆96Updated 8 years ago
- Unsafe marker trait for types that deref to a stable address☆31Updated 2 years ago
- An enrichment of Rust's core language to support more advanced features☆17Updated 7 years ago
- pin-safe interior mutability☆14Updated 3 years ago
- Build and verify byte-for-byte reproducible Rust packages using a Cargo-based workflow☆59Updated 4 years ago
- A Rust compiler plugin and support library to annotate overflow behavior☆106Updated last year
- 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 2 years ago