Semantic find-and-replace using tree-sitter-based macro expansion!
☆16Mar 31, 2022Updated 4 years ago
Alternatives and similar repositories for treegrep
Users that are interested in treegrep are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- linear algebra done right in coq☆11Apr 6, 2021Updated 5 years ago
- Highlight code in Markdown files using tree-sitter and remark☆31Dec 3, 2022Updated 3 years ago
- Messing around with delimited continuations, fibers, and algebraic effects☆16Oct 2, 2021Updated 4 years ago
- Parse objdump files using tree-sitter☆13Nov 22, 2023Updated 2 years ago
- Chess Portable Game Notation (PGN) grammar for tree-sitter☆19Updated this week
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A python implementation of delta debugging tool.☆27Feb 9, 2024Updated 2 years ago
- Coq & Haskell code for Calculating Correct Compilers II☆12Feb 22, 2022Updated 4 years ago
- A small, data-driven and babashka-compatible wrapper around fzf☆27Oct 31, 2025Updated 8 months ago
- Clojure library for deferred namespace loading☆24Apr 29, 2018Updated 8 years ago
- Create a require() function from any file-system. Great for in-memory fs testing!☆16Oct 11, 2025Updated 9 months ago
- Code coverage for compiled binaries using Callgrind, mostly geared towards Zig code☆17Dec 18, 2021Updated 4 years ago
- Keeps a directed acyclic graph topologically sorted each time you add an edge or vertex.☆12Sep 22, 2018Updated 7 years ago
- Funny little Haskell impl☆18Oct 28, 2020Updated 5 years ago
- Minimal Zig-based app for Armv8-M + TrustZone☆12Aug 19, 2019Updated 6 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A reactive UI framework built with Effect☆15Jun 28, 2025Updated last year
- A fork of Rust’s `test` crate that doesn’t require unstable language features.☆20Apr 2, 2024Updated 2 years ago
- Based on paper by Greg Morrisett , TAL-0 is the design of a RISC-style typed assembly language which focuses on control-flow safety.☆23Dec 14, 2016Updated 9 years ago
- Compose macro in Typescript, expand back into Typescript☆13Oct 15, 2024Updated last year
- Example of using nanomsg-next-generation with Zig☆18May 29, 2019Updated 7 years ago
- ☆50Mar 22, 2026Updated 3 months ago
- Micro benchmarking in zig☆22Jul 10, 2025Updated last year
- the dynabook but for haskell☆23Sep 23, 2019Updated 6 years ago
- ☆16Nov 16, 2020Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Zig port of https://github.com/ulfjack/ryu☆18Mar 9, 2024Updated 2 years ago
- Nix expressions for the reMarkable tablet leveraging the company's toolchain.☆54May 16, 2026Updated 2 months ago
- Exclusion rules for Borg Backup catered to macOS☆44Jul 10, 2024Updated 2 years ago
- Literate coq blog posts☆17Jan 13, 2016Updated 10 years ago
- A certified Sudoku solver in Coq [maintainers=@siraben,@thery]☆19Nov 14, 2022Updated 3 years ago
- Zig binding of Z Standard☆27Mar 27, 2023Updated 3 years ago
- An alternate syntax for Clojure inspired by Pollen.☆45Jun 11, 2023Updated 3 years ago
- Peephole optimizer for QBE☆33Sep 1, 2025Updated 10 months ago
- Tools to create filesystem images from an fspec filesystem specification.☆16Apr 21, 2024Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Low-level implementation of different painting primitives (lines, rectangles, ...) without specialization on a certain draw target☆25Sep 18, 2024Updated last year
- ☆11Feb 17, 2023Updated 3 years ago
- ☆13Oct 8, 2022Updated 3 years ago
- CI helpers☆12Jun 19, 2026Updated last month
- Sublime Text API Version Documenter☆11Jan 3, 2023Updated 3 years ago
- jpdfbookmarks - fix JPdfBookmarks GUI mode open a pdf have bookmarks include CJK (Chinese , Japanese , Korean ) characters will show like…☆11Sep 4, 2023Updated 2 years ago
- A Nix-style immutable data management library in Python☆14Mar 14, 2024Updated 2 years ago