graydon / photesthesis
test framework
☆10Updated 3 years ago
Alternatives and similar repositories for photesthesis:
Users that are interested in photesthesis are comparing it to the libraries listed below
- Sruth Lùbach: A toy optimization engine☆23Updated 3 years ago
- Type-Level Programming in Rust☆27Updated 3 years ago
- Modular register allocator algorithms☆106Updated 2 years ago
- ☆22Updated 3 years ago
- Kitbag is a content-addressed versioned tree-structured graph-based datastore.☆14Updated 3 years ago
- Virtual Machine/Interpreter dispatch method experiments in Rust☆38Updated 7 years ago
- exhaustive testing library☆63Updated 8 months ago
- A general purpose relational language☆20Updated 5 years ago
- A DSL and compiler for generating peephole optimizers for Cranelift☆64Updated 4 years ago
- replacement for std::{Range,RangeInclusive}☆36Updated 2 years ago
- Faster division by constants that aren't known at compile-time☆25Updated 3 years ago
- 🦜 yair - a high-level compiler IR entirely written in Rust☆38Updated 3 years ago
- Efficient sampling with uniform probability☆31Updated 2 years ago
- Easy SMT solver interaction☆35Updated last month
- Cayley hashing as in "Navigating in the Cayley Graph of SL₂(𝔽ₚ)"☆55Updated 3 years ago
- A dependent type system built entirely in Rust's trait system (WIP).☆25Updated 6 years ago
- The Pulse separation logic DSL for F*☆16Updated 2 weeks ago
- Transport-polymorphic, asynchronous session types for Rust☆61Updated 2 years ago
- A formally-verified provably-safe sandboxing Wasm-to-native compiler☆23Updated 2 years ago
- A library for deadlock-free session-typed communication in Rust.☆46Updated 4 years ago
- A Rust logic programming library inspired by the *Kanren family of language DSLs.☆51Updated last month
- Experimental type level programming in Rust☆37Updated 3 years ago
- nested & overlapping interval set functions, overlap, union, etc (Rust)☆16Updated last year
- Debugging WebAssembly? Put some Whamm! on it.☆27Updated 2 weeks ago
- Synchronization primitives for lazy and one-time initialization (no_std compatible).☆33Updated 3 weeks ago
- VS Code extension to verify Rust programs with the Prusti verifier.☆24Updated 3 weeks ago
- Collection of techniques for (binary) string searching☆23Updated 5 years ago
- Numerical snippets & tests☆12Updated 5 months ago
- Type-level named values with partial dependent type support in Rust☆57Updated 3 years ago
- ☆37Updated 3 years ago