comby-tools / comby-reducerLinks
A simple program reducer for any language.
☆74Updated 2 years ago
Alternatives and similar repositories for comby-reducer
Users that are interested in comby-reducer are comparing it to the libraries listed below
Sorting:
- Using z3's never been easier (maybe)☆102Updated 3 years ago
- One-pass Code Generation in V8 (Archive)☆20Updated 2 years ago
- Brainfuck with Actors☆36Updated 6 years ago
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆104Updated 10 months ago
- ☆11Updated 3 years ago
- Éole, a Lévy-optimal lambda calculus evaluator without oracle☆112Updated 5 years ago
- Flexible and Constant Time Programming Language☆200Updated 3 years ago
- ☆172Updated 8 months ago
- A meta tracing JIT for x86 and interpreters written in C/C++☆35Updated 8 years ago
- The IntercalScript programming language☆138Updated 4 years ago
- Detect what files a program uses and rerun it when they change☆46Updated 2 years ago
- A compiler for Standard ML, somewhat☆203Updated 3 years ago
- Shrink Ray is a new test-case reducer designed to be effective on a wide range of formats☆29Updated 5 years ago
- Verified hash-based AMQ structures in Coq☆123Updated 5 years ago
- tar creator+extractor in ~100 lines of prolog☆263Updated 2 years ago
- Hash-based Diffing for AST's☆76Updated 5 years ago
- pfff is mainly an OCaml API to write static analysis, dynamic analysis, code visualizations, code navigations, or style-preserving source…☆184Updated 2 years ago
- A static parser for POSIX Shell☆194Updated last year
- Rewrite of Arthur Whitney's one-page J interpreter in Rust☆61Updated 5 years ago
- Datalog + Egg = Good☆66Updated 2 years ago
- Proof-of-concept for a memory-efficient data structure for zooming billion-event traces☆70Updated 4 years ago
- A new declarative programming language☆23Updated 4 years ago
- a 64-bit histogram / quantile sketch☆59Updated 6 months ago
- Shrinkray is a modern multi-format test-case reducer☆273Updated 4 months ago
- Brzozowski derivative python sketch☆85Updated 3 months ago
- Contractual Semver☆27Updated 3 years ago
- Turn dynamically linked ELF binaries and libraries into self-contained closures.☆178Updated last year
- A tree-sitter grammar for TLA⁺ and PlusCal☆67Updated last month
- High fidelity benchmark runner☆88Updated 3 years ago
- An experiment in controlling the size of a thread pool using a PID controller.☆118Updated last year