A simple program reducer for any language.
☆77May 11, 2023Updated 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:
- Decompose source code into templates and fragments for any language.☆23Aug 29, 2022Updated 3 years ago
- ☆10Jan 29, 2025Updated last year
- A Zig implementation of the stivale2 boot protocol☆13Aug 21, 2022Updated 3 years ago
- ☆12Sep 22, 2020Updated 5 years ago
- Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.si…☆15May 22, 2024Updated last year
- An algorithm for generating random doubles.☆13Feb 21, 2017Updated 9 years ago
- A boringssl-based rustls crypto provider☆18Oct 7, 2025Updated 4 months ago
- Scripts and instructions to build FreeBSD for the Pine64 board☆11Apr 17, 2017Updated 8 years ago
- ALGT 2.0☆30Dec 23, 2019Updated 6 years ago
- Semantic find-and-replace using tree-sitter-based macro expansion!☆16Mar 31, 2022Updated 3 years ago
- A Rust implementation of the K2Tree, an extremely space-efficient way of representing sparse bit-matrices.☆17Apr 13, 2022Updated 3 years ago
- S-expression-aware diffing tool based on Levenshtein-like tree edit distance.☆23Mar 9, 2021Updated 4 years ago
- Reader to enable embedding images in source files as text☆22Dec 22, 2024Updated last year
- Setting up C elegans as an RL environment.☆16Apr 20, 2024Updated last year
- libfuzzerfication - fuzzing for the rest of us!☆61Jan 9, 2017Updated 9 years ago
- probabilistic performance drum loop slicer for Norns☆19Feb 5, 2026Updated 3 weeks ago
- BAT KEM/Signature Reference Implementation☆23Dec 28, 2021Updated 4 years ago
- Alternative Core language for GHC plugins☆39Feb 15, 2016Updated 10 years ago
- An LRU cache implementation with constant time operations and weighted semantic.☆46Updated this week
- Automatic regression verification for LLVM programs☆19Jul 16, 2021Updated 4 years ago
- A parsing library that compiles grammars to combinators using elimination of left recursion☆27Dec 22, 2025Updated 2 months ago
- A code rewrite tool for structural search and replace that supports ~every language.☆2,604Aug 23, 2025Updated 6 months ago
- Go implementation of libhydrogen - a lightweight, easy-to-use crypto library☆24Mar 23, 2017Updated 8 years ago
- Manfred von Thun's Programming Language Joy☆17Feb 24, 2026Updated last week
- Playing around with WebAssembly (Wasm) anyref using JavaScript's GC as the allocator☆22Dec 4, 2022Updated 3 years ago
- Experimental LLVM bitcode reader/writer☆22Jan 12, 2023Updated 3 years ago
- ☆19Aug 15, 2024Updated last year
- A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars☆109Feb 23, 2026Updated last week
- screenshot-driven version tracking☆25Jun 1, 2022Updated 3 years ago
- XKCD 3062☆22Mar 13, 2025Updated 11 months ago
- A terminal UI for inspecting steps taken by a rewriting process. Useful for the optimization phase of a compiler, or even evaluators of s…☆21Oct 28, 2019Updated 6 years ago
- A small, data-driven and babashka-compatible wrapper around fzf☆27Oct 31, 2025Updated 4 months ago
- everything is an image☆20Dec 23, 2022Updated 3 years ago
- Shrink Ray is a new test-case reducer designed to be effective on a wide range of formats☆29Jan 23, 2020Updated 6 years ago
- Framework for building transparent memory encryption and authentication solutions☆27Jun 19, 2018Updated 7 years ago
- ☆25Dec 9, 2024Updated last year
- Hierarchical Delta Debugging Framework☆60Nov 23, 2025Updated 3 months ago
- A Bestiary of Single-File Implementations of Programming Languages☆1,034Feb 5, 2026Updated 3 weeks ago
- BoringSSL for WebAssembly/WASI☆73Feb 16, 2026Updated 2 weeks ago