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
- Transport-polymorphic, asynchronous session types for Rust☆61Updated 2 years ago
- ☆37Updated 3 years ago
- Modular register allocator algorithms☆106Updated 2 years ago
- A library for deadlock-free session-typed communication in Rust.☆46Updated 4 years ago
- Liquid Types implementation for Rust☆28Updated 2 years ago
- ☆22Updated 3 years ago
- Numerical snippets & tests☆12Updated 4 months ago
- Program synthesis is possible in Rust☆24Updated 6 years ago
- SAW front end for the MIR language from rustc☆36Updated 4 years ago
- The Pulse separation logic DSL for F*☆14Updated this week
- Typed λ-calculus in Rust☆29Updated last year
- A disassembler framework☆18Updated 2 years ago
- Session Type EDSL for Rust☆102Updated 2 years ago
- A DSL and compiler for generating peephole optimizers for Cranelift☆64Updated 4 years ago
- Fungi: Typed incremental computation with names☆67Updated 5 years ago
- 🦜 yair - a high-level compiler IR entirely written in Rust☆38Updated 3 years ago
- A simple induction and BMC engine.☆23Updated 2 years ago
- Automagical variable binding library for Rust☆67Updated 5 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Updated 7 years ago
- A workshop for comparing buddy allocator algorithms☆16Updated 6 years ago
- Easy SMT solver interaction☆35Updated last week
- Provides a Refl encoding in Rust☆69Updated last year
- Exploring the "expression problem" in Rust☆48Updated 2 years ago
- A simple error library for no_std + no_alloc Rust☆18Updated 4 years ago
- A simple (unfinished) SMT solver for QF_ABV.☆36Updated 6 years ago
- Efficient sampling with uniform probability☆31Updated 2 years ago
- a crate for small packed strings☆16Updated 2 years ago
- Type-level named values with partial dependent type support in Rust☆57Updated 2 years ago