comby-tools / comby-reducerLinks
A simple program reducer for any language.
☆75Updated 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
- ☆11Updated 3 years ago
- ☆174Updated last month
- Brainfuck with Actors☆36Updated 6 years ago
- Éole, a Lévy-optimal lambda calculus evaluator without oracle☆113Updated 5 years ago
- A compiler for Standard ML, somewhat☆203Updated 3 years ago
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆105Updated last year
- The IntercalScript programming language☆139Updated 5 years ago
- One-pass Code Generation in V8 (Archive)☆20Updated 3 years ago
- Datalog + Egg = Good☆66Updated 2 years ago
- Shrinkray is a modern multi-format test-case reducer☆276Updated last month
- Contractual Semver☆27Updated 3 years ago
- Hash-based Diffing for AST's☆77Updated 5 years ago
- Decompose source code into templates and fragments for any language.☆23Updated 3 years ago
- A language for pipe-based programming☆53Updated 2 years ago
- WASM builds of the Z3 SMT solver☆149Updated 5 years ago
- Verified hash-based AMQ structures in Coq☆124Updated 5 years ago
- Repository hosting unofficial binary pack files for many commits of LLVM☆142Updated 2 years ago
- A static parser for POSIX Shell☆196Updated last year
- Detect what files a program uses and rerun it when they change☆46Updated 3 years ago
- Turn dynamically linked ELF binaries and libraries into self-contained closures.☆180Updated last year
- Rewrite of Arthur Whitney's one-page J interpreter in Rust☆60Updated 5 years ago
- A typed, polyglot, functional language☆204Updated last week
- a toy jvm in awk☆164Updated 4 years ago
- tar creator+extractor in ~100 lines of prolog☆262Updated 2 years ago
- Macros have types!☆132Updated 2 years ago
- Demo of a WAM Prolog implementation in Python☆78Updated 2 years ago
- A programming language somewhat resembling cellular processes.☆34Updated 3 years ago
- Pointless: a scripting language for learning and fun☆122Updated this week
- Unison's source code☆108Updated last year