comby-tools / comby-reducer
A simple program reducer for any language.
☆72Updated last year
Related projects: ⓘ
- Brainfuck with Actors☆35Updated 5 years ago
- Using z3's never been easier (maybe)☆100Updated 2 years ago
- ☆10Updated 2 years ago
- Shrinkray is a modern multi-format test-case reducer☆86Updated last month
- Éole, a Lévy-optimal lambda calculus evaluator without oracle☆110Updated 4 years ago
- Generate (message) sequence diagrams from TLA+ state traces☆72Updated last year
- A portable self-bootstrapping C compiler☆48Updated this week
- Datalog + Egg = Good☆65Updated last year
- Detect what files a program uses and rerun it when they change☆29Updated last year
- Blech is a language for developing reactive, real-time critical embedded software.☆64Updated last year
- Hash-based Diffing for AST's☆74Updated 4 years ago
- building and applying patches to binary files☆67Updated 10 months ago
- Turn dynamically linked ELF binaries and libraries into self-contained closures.☆170Updated 3 months ago
- Rewrite of Arthur Whitney's one-page J interpreter in Rust☆61Updated 4 years ago
- Flexible and Constant Time Programming Language☆197Updated 2 years ago
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆100Updated last week
- a 64-bit histogram / quantile sketch☆56Updated last year
- A compiler for Standard ML, somewhat☆199Updated 2 years ago
- Contractual Semver☆25Updated 2 years ago
- Repository hosting unofficial binary pack files for many commits of LLVM☆136Updated last year
- a pragmatic point-free theorem prover assistant☆137Updated 11 months ago
- A Typed, Composable Database Query Language