benwr / bromberg_sl2
Cayley hashing as in "Navigating in the Cayley Graph of SLβ(π½β)"
β55Updated 3 years ago
Alternatives and similar repositories for bromberg_sl2:
Users that are interested in bromberg_sl2 are comparing it to the libraries listed below
- A tool for finding large memcpy's in llvm irβ60Updated 5 years ago
- β48Updated 11 months ago
- Token tree calling conventionβ79Updated 2 years ago
- β27Updated 4 years ago
- Compact sets in rustβ54Updated last week
- Gotchas and warts in Rust Langβ73Updated 2 years ago
- An intrusive splay tree implementation that is no-std compatible and free from allocation and movesβ67Updated 2 months 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
- Transport-polymorphic, asynchronous session types for Rustβ61Updated 2 years ago
- β58Updated 6 months ago
- scraps of a potential languageβ37Updated 3 years ago
- Prototype extension of the Rust type system towards checking units-of-measureβ115Updated 4 years ago
- Cargo dephell analyzes the third-party dependencies of a Rust workspaceβ48Updated last year
- Supercharge you Rust programs!β38Updated 7 years ago
- Emulating Higher-Kinded Types in Rust via Plug/Unplug. Also, Monads.β30Updated 5 years ago
- A safe and efficient target language for functional compilersβ20Updated 6 years ago
- Faster division by constants that aren't known at compile-timeβ24Updated 3 years ago
- Modular register allocator algorithmsβ106Updated 2 years ago
- Tutorial and demo of rust compiler replacement toolingβ56Updated 3 years ago
- exhaustive testing libraryβ63Updated 7 months ago
- Spawn processes with arbitrary closures in rustβ110Updated 3 years ago
- Type-level named values with partial dependent type support in Rustβ57Updated 2 years ago
- A collection of small utilities for working with pointer types in Rust.β122Updated 2 months ago
- Rust bindings for the FreeBSD capsicum frameworkβ62Updated 3 months ago
- Proc macro for using doc comments as context for errors/logs/profiling/whatever via `tracing`β45Updated 2 years ago
- Self-referencial structs using the async/await transformationβ43Updated 3 years ago
- a pragmatic point-free theorem prover assistantβ138Updated last year
- sptr: The Strict Provenance Polyfillβ76Updated last year
- An educational implementation of the ninja build system, based on ideas from the Build Systems a la Carte paper.β57Updated 4 years ago
- A rust crate which implements nanboxingβ21Updated 7 years ago