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
- β27Updated 4 years ago
- An intrusive splay tree implementation that is no-std compatible and free from allocation and movesβ67Updated this week
- β58Updated 4 months ago
- Gotchas and warts in Rust Langβ71Updated last year
- β47Updated 9 months ago
- Transport-polymorphic, asynchronous session types for Rustβ61Updated 2 years ago
- Helpers for clearing sensitive data on the stack and heapβ54Updated 2 years ago
- Supercharge you Rust programs!β38Updated 7 years ago
- scraps of a potential languageβ37Updated 3 years ago
- a pragmatic point-free theorem prover assistantβ137Updated last year
- Token tree calling conventionβ79Updated 2 years ago
- What do you call a pointer we stole the high bits off? An ointer.β85Updated last year
- Cargo dephell analyzes the third-party dependencies of a Rust workspaceβ48Updated last year
- Modular register allocator algorithmsβ106Updated 2 years ago
- Efficient sampling with uniform probabilityβ31Updated 2 years ago
- replacement for std::{Range,RangeInclusive}β36Updated 2 years ago
- A DSL and compiler for generating peephole optimizers for Craneliftβ63Updated 4 years ago
- Type-level named values with partial dependent type support in Rustβ56Updated 2 years ago
- Prototype extension of the Rust type system towards checking units-of-measureβ112Updated 4 years ago
- Emulating Higher-Kinded Types in Rust via Plug/Unplug. Also, Monads.β30Updated 5 years ago
- A Rust logic programming library inspired by the *Kanren family of language DSLs.β51Updated last week
- Fungi: Typed incremental computation with namesβ66Updated 5 years ago
- Ultra-compact storage for collections of enums π±β23Updated 2 years ago
- Composable, lock-free, allocation-light data structuresβ60Updated 6 years ago
- Sruth LΓΉbach: A toy optimization engineβ23Updated 3 years ago
- An object system for Rust based on relative pointersβ37Updated 2 years ago
- A library for deadlock-free multiparty session-typed communication in Rust.β27Updated 4 months ago
- A library for deadlock-free session-typed communication in Rust.β46Updated 3 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