droundy / bigbroLinks
library (and utility) for tracking filesystem changes
☆18Updated 4 years ago
Alternatives and similar repositories for bigbro
Users that are interested in bigbro are comparing it to the libraries listed below
Sorting:
- Filesystem access tracer☆84Updated last year
- The elf-edit library provides a datatype suitable for reading and writing Elf files.☆39Updated 2 months ago
- An llvm pretty printer inspired by the haskell llvm binding☆30Updated 2 months ago
- A library for binary analysis and rewriting☆48Updated 2 years ago
- Parser for ELF object format.☆11Updated 3 years ago
- Weighted Regular Expressions, an experiment in porting an academic Haskell library to Rust☆20Updated 5 years ago
- The Daedalus data description language☆81Updated 6 months ago
- A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs☆19Updated 4 years ago
- An educational implementation of the ninja build system, based on ideas from the Build Systems a la Carte paper.☆57Updated 5 years ago
- Type-Level Programming in Rust☆28Updated 3 years ago
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆22Updated last year
- A disassembler framework☆18Updated 3 years ago
- Plugin files for editing K files☆11Updated last year
- Pijul <-> Git proxy☆22Updated 6 years ago
- cargo +nightly build☆34Updated 6 years ago
- Pijul is a free and open source version control system, intended to be simple to use, yet based on a sound theory of collaborative work, …☆51Updated 9 years ago
- A (parametrized) Rust SAT solver originally based on MiniSat☆31Updated 8 months ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆31Updated 5 months ago
- LaTeX sources for the Habit Programming Language Report☆24Updated 7 years ago
- ☆15Updated 4 years ago
- KORE to llvm translation☆40Updated 3 weeks ago
- Erlang BEAM emulator in Haskell☆48Updated 11 years ago
- This was a fork of Checked C used from 2021-2024. The changes have been merged into the original Checked C repo.☆27Updated last year
- Formal semantics of LLVM IR in K☆47Updated 7 years ago
- Abstract binding tree code generator☆37Updated 8 years ago
- Command line editor, C api, readline replacement☆25Updated 9 months ago
- Pure-Rust libraries for parsing, interpreting, and analyzing LLVM☆81Updated last year
- ALLVM Tools☆56Updated 3 years ago
- A library for garbage collection in Rust.☆13Updated 4 years ago
- Formatter for Protocol Buffer files☆29Updated 3 years ago