mcoblenz / Bronze
☆35Updated 3 months ago
Alternatives and similar repositories for Bronze:
Users that are interested in Bronze are comparing it to the libraries listed below
- exhaustive testing library☆63Updated 5 months ago
- Propositional logic with types in Rust☆60Updated last year
- ☆29Updated 7 months ago
- lens implemented in rust☆111Updated last year
- An article explaining the unsoundness I found in owning-ref☆26Updated 2 years ago
- Stack safe and expressive recursion in Rust☆95Updated last week
- Data-driven tests on stable Rust☆37Updated this week
- Proof of concept of procedural macro input parsed by LALRPOP☆51Updated 2 years ago
- A memory efficient syntax tree for language developers☆51Updated 4 months ago
- Home of the "types team", affiliated with the compiler and lang teams.☆96Updated 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
- Trait synonyms for “Fn[…]”-trait bounds returning futures☆21Updated 3 years ago
- Experimental type level programming in Rust☆37Updated 3 years ago
- One pointer wide trait objects which are also FFI safe, allowing traits to be passed to/from and implemented by C ABI code.☆42Updated 2 years ago
- Low-level manipulations of IEEE754 floating-point numbers.☆28Updated last year
- ☆32Updated 2 years ago
- An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.☆148Updated 8 months ago
- Typed index version of Rust slice and Vec containers☆68Updated 3 months ago
- А procedural macro useful for testing/fuzzing stateful models against a semantically equivalent but obviously correct implementation☆83Updated last year
- An efficient JSON Value parser☆75Updated last year
- A Rust memory allocator for large slices that don't escape the stack.☆30Updated 2 years ago
- Abstract over the atomicity of reference-counting pointers in rust☆148Updated 2 months ago
- Blazing fast immutable collection datatypes for Rust.☆91Updated this week
- Count and convert between various ways of indexing utf8 string slices.☆16Updated 2 months ago
- ☆45Updated 2 years ago
- Choose Rust types at compile-time via constants☆63Updated 11 months ago
- A syntactic "for" loop Rust macro☆56Updated 2 years ago
- String optimized for map keys☆61Updated 2 weeks ago
- Helper macros: autoimpl, impl_scope☆59Updated 2 weeks ago
- A library for generating Graphviz DOT language files for graphs.☆73Updated last year