Indexed grep
☆20Feb 4, 2024Updated 2 years ago
Alternatives and similar repositories for grip
Users that are interested in grip are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Tracks cross references and allows fast viewing of pseudocode between references☆13Mar 10, 2025Updated last year
- ETrace is a syscall tracing utility powered by eBPF☆26Feb 26, 2023Updated 3 years ago
- Lightweight PDB symbol parser and resolver☆29Oct 28, 2024Updated last year
- ☆66Apr 12, 2023Updated 2 years ago
- Common Lisp front-end to CL-PDF and Vecto☆13Apr 30, 2022Updated 3 years ago
- A satisfiability solver for (existential) bit-vector formulas based on the mcSAT framework.☆22Jun 13, 2023Updated 2 years ago
- My systemd user units for managing X sessions☆31Apr 14, 2016Updated 9 years ago
- Cross platform C++ libraries☆23Updated this week
- Fully asynchronous implementation of the Google Cast CASTV2 protocol, allowing communication with receivers such as Chromecast or Google …☆17Aug 15, 2025Updated 7 months ago
- Emacs mode for personal time tracking☆20Jan 3, 2013Updated 13 years ago
- Automatically compile and link C programs☆16Jul 24, 2010Updated 15 years ago
- A simple BNF parser.☆11Nov 15, 2023Updated 2 years ago
- Sources - with fixes - of the draft Common Lisp specification proposed to the American National Standard for Information Systems as well …☆14May 6, 2024Updated last year
- Administrative repo for the Lathe collection of general-purpose libraries.☆14Jan 7, 2022Updated 4 years ago
- Meme Driven Development (MDD) - A novel (and fun) approach to modern software development☆14Mar 16, 2026Updated last week
- Example of building an application verifer DLL☆51Jun 1, 2024Updated last year
- ☆31Feb 28, 2025Updated last year
- An implementation of a hash-set.☆18Dec 1, 2024Updated last year
- The nework without a medium is like a smile without a cat☆33Oct 2, 2020Updated 5 years ago
- A parser for Microsoft PDB (Program Database) debugging information☆23Nov 5, 2024Updated last year
- piggybacking on the Dafny language implementation to explore interactive semi-automated verified program synthesis, combining LLMs and sy…☆16Updated this week
- ☆10Dec 27, 2025Updated 2 months ago
- Symbolic Execution based on lifting amd64 to z3☆32Jul 2, 2024Updated last year
- Simulation environment for an autonomous robot☆18Feb 13, 2021Updated 5 years ago
- ☆14Dec 26, 2024Updated last year
- codesearch source for unite.vim☆15Apr 4, 2018Updated 7 years ago
- Semantic find-and-replace using tree-sitter-based macro expansion!☆16Mar 31, 2022Updated 3 years ago
- Automatic generator for ASDF's .asd files☆18Dec 21, 2018Updated 7 years ago
- ☆12Feb 4, 2025Updated last year
- Colby Hall's C++ Standard Library☆11Jan 13, 2020Updated 6 years ago
- AES-GEM (AES Galois Extended Mode) implementation.☆13Feb 9, 2026Updated last month
- ☆91Nov 25, 2024Updated last year
- Disassembler for X86 & AMD64 machine code☆15May 26, 2015Updated 10 years ago
- LLVM Graph View for VSCode☆40Mar 25, 2025Updated 11 months ago
- Bitcoin full node as a C Programming Language library☆10Dec 3, 2025Updated 3 months ago
- Show Window Stations, Desktops and top level windows☆17Jun 10, 2023Updated 2 years ago
- How to use LLVM passes☆36May 25, 2022Updated 3 years ago
- ☆16Feb 28, 2026Updated 3 weeks ago
- Various mechanized proof files for fun.☆13Mar 9, 2026Updated 2 weeks ago