benwr / bromberg_sl2Links
Cayley hashing as in "Navigating in the Cayley Graph of SLβ(π½β)"
β57Updated 2 months ago
Alternatives and similar repositories for bromberg_sl2
Users that are interested in bromberg_sl2 are comparing it to the libraries listed below
Sorting:
- Transport-polymorphic, asynchronous session types for Rustβ63Updated 2 years ago
- An arbitrary-precision floating-point library in Rustβ45Updated 5 months ago
- Modular register allocator algorithmsβ106Updated 2 years ago
- β27Updated 4 years ago
- An intrusive splay tree implementation that is no-std compatible and free from allocation and movesβ67Updated 5 months ago
- a pragmatic point-free theorem prover assistantβ142Updated this week
- A library for deadlock-free multiparty session-typed communication in Rust.β31Updated last year
- A Rust logic programming library inspired by the *Kanren family of language DSLs.β52Updated 6 months ago
- β49Updated 3 months ago
- A safe and efficient target language for functional compilersβ20Updated 7 years ago
- A tool for finding large memcpy's in llvm irβ61Updated 6 years ago
- Fungi: Typed incremental computation with namesβ70Updated 5 years ago
- Helpers for clearing sensitive data on the stack and heapβ54Updated 3 months ago
- What do you call a pointer we stole the high bits off? An ointer.β87Updated 2 years ago
- A DSL and compiler for generating peephole optimizers for Craneliftβ64Updated 5 years ago
- Sound unchecked indexing using βgenerativityβ; a type system approach to indices, pointers and ranges that are trusted to be in bounds.β102Updated 6 years ago
- β58Updated 2 months ago
- β85Updated 9 years ago
- Wrappers around Rust's integer to check for constant-time-compatible usageβ22Updated 5 years ago
- wrap errors with automatic backtrace capture and print-on-result-unwrapβ33Updated last year
- A Cargo subcommand for working with feL4 projects.β53Updated 7 years ago
- β94Updated 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
- Gotchas and warts in Rust Langβ76Updated 2 years ago
- Prototype extension of the Rust type system towards checking units-of-measureβ115Updated 5 years ago
- Rust bindings for the FreeBSD capsicum frameworkβ64Updated 3 months ago
- A disassembler frameworkβ18Updated 3 years ago
- Token tree calling conventionβ80Updated 2 years ago
- Very fast cryptographic hashing for large messages.β69Updated 6 months ago
- Proof-of-concept for a memory-efficient data structure for zooming billion-event tracesβ70Updated 4 years ago