comby-tools / comby-reducer
A simple program reducer for any language.
☆73Updated last year
Alternatives and similar repositories for comby-reducer:
Users that are interested in comby-reducer are comparing it to the libraries listed below
- ☆11Updated 3 years ago
- Using z3's never been easier (maybe)☆101Updated 3 years ago
- A meta tracing JIT for x86 and interpreters written in C/C++☆35Updated 8 years ago
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆104Updated 7 months ago
- Flexible and Constant Time Programming Language☆199Updated 3 years ago
- Brainfuck with Actors☆36Updated 6 years ago
- Éole, a Lévy-optimal lambda calculus evaluator without oracle☆112Updated 5 years ago
- Contractual Semver☆26Updated 3 years ago
- Datalog + Egg = Good☆66Updated last year
- Repository hosting unofficial binary pack files for many commits of LLVM☆138Updated last year
- tar creator+extractor in ~100 lines of prolog☆261Updated 2 years ago
- Hash-based Diffing for AST's☆76Updated 5 years ago
- Proof-of-concept for a memory-efficient data structure for zooming billion-event traces☆69Updated 3 years ago
- ReasonML code to construct an NFA from a regular expression☆24Updated 6 years ago
- naive dns client library in zig☆37Updated last month
- Rewrite of Arthur Whitney's one-page J interpreter in Rust☆62Updated 5 years ago
- One-pass Code Generation in V8 (Archive)☆20Updated 2 years ago
- A compiler for Standard ML, somewhat☆202Updated 3 years ago
- A Typed, Composable Database Query Language☆104Updated 4 years ago
- ☆172Updated 6 months ago
- Verified hash-based AMQ structures in Coq☆122Updated 5 years ago
- A PEG that compiles itself.☆75Updated 14 years ago
- [Mirror] A close reading of the μKanren paper.☆42Updated 2 years ago
- Detect what files a program uses and rerun it when they change☆29Updated 2 years ago
- Prolog Home Page☆71Updated last month
- Generate (message) sequence diagrams from TLA+ state traces☆73Updated 2 years ago
- Blech is a language for developing reactive, real-time critical embedded software.☆67Updated 2 years ago
- Shrinkray is a modern multi-format test-case reducer☆266Updated last month
- A Rust toolkit to combine property-based testing and fuzzing.☆135Updated 2 years ago
- Dawn Phase 1 proto-language☆37Updated 4 years ago