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
- An intrusive splay tree implementation that is no-std compatible and free from allocation and movesβ67Updated 2 months ago
- β58Updated 6 months ago
- Token tree calling conventionβ79Updated 2 years ago
- a pragmatic point-free theorem prover assistantβ138Updated last year
- Supercharge you Rust programs!β38Updated 7 years ago
- β27Updated 4 years ago
- Gotchas and warts in Rust Langβ73Updated 2 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
- A rust crate which implements nanboxingβ21Updated 7 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
- Procedural macro span debugger/visualizerβ40Updated 4 years ago
- Compact sets in rustβ54Updated last week
- β48Updated 11 months ago
- Transport-polymorphic, asynchronous session types for Rustβ61Updated 2 years ago
- A safe and efficient target language for functional compilersβ20Updated 6 years ago
- yk packagesβ32Updated this week
- Modular register allocator algorithmsβ106Updated 2 years ago
- scraps of a potential languageβ37Updated 3 years ago
- Efficient sampling with uniform probabilityβ31Updated 2 years ago
- An educational implementation of the ninja build system, based on ideas from the Build Systems a la Carte paper.β57Updated 4 years ago
- What do you call a pointer we stole the high bits off? An ointer.β86Updated last year
- Helpers for clearing sensitive data on the stack and heapβ54Updated 2 years ago
- Memory validation framework for Rustβ67Updated last month
- Fungi: Typed incremental computation with namesβ67Updated 5 years ago
- Fast cache efficient immutable map for rustβ28Updated 4 months ago
- A library for deadlock-free multiparty session-typed communication in Rust.β29Updated 6 months ago
- An arbitrary-precision floating-point library in Rustβ44Updated last year
- A simple and spec-compliant WebAssembly interpreterβ89Updated last year