droundy / bigbroLinks
library (and utility) for tracking filesystem changes
☆17Updated 4 years ago
Alternatives and similar repositories for bigbro
Users that are interested in bigbro are comparing it to the libraries listed below
Sorting:
- Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.☆13Updated 5 years ago
- Patches Assured up to Trace Equivalence☆16Updated last month
- Weighted Regular Expressions, an experiment in porting an academic Haskell library to Rust☆20Updated 5 years ago
- LLVM IR Binding for Rust☆12Updated 4 years ago
- ☆11Updated 3 years ago
- Library for parse perf.data file from Linux perf tool for Rust☆18Updated 5 years ago
- Parser for ELF object format.☆11Updated 3 years ago
- ☆10Updated 5 years ago
- cargo +nightly build☆34Updated 5 years ago
- ☆17Updated 3 years ago
- The elf-edit library provides a datatype suitable for reading and writing Elf files.☆39Updated last month
- Type-Level Programming in Rust☆27Updated 3 years ago
- Error return tracing in Rust. Still WIP☆11Updated 3 years ago
- An llvm pretty printer inspired by the haskell llvm binding☆30Updated last month
- Library for writing tests for utilities that read text files and produce text output☆22Updated 4 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Updated 7 years ago
- Extends stdenv.mkDerivation based builds with a distributed build cache on Amazon S3.☆25Updated 4 years ago
- A crate to find DWARF debug symbols from stripped binaries☆22Updated 2 years ago
- A disassembler framework☆18Updated 2 years ago
- Filesystem access tracer☆83Updated 9 months ago
- A lifetime inference algorithm for the Rust programming language written in Soufflé.☆24Updated 5 years ago
- A WebAssembly test case generator☆43Updated 4 years ago
- DWARF packaging utility, written in Rust, supporting GNU extension and DWARF 5 package formats.☆50Updated 2 months ago
- A (parametrized) Rust SAT solver originally based on MiniSat☆31Updated 4 months ago
- Dependent hash maps☆14Updated 2 months ago
- Column-oriented binary format for immutable datasets☆9Updated 5 years ago
- Dynamic packet parsing within trees 🌲🌳🌴☆24Updated 7 years ago
- A library for binary analysis and rewriting☆47Updated last year
- A flake to remotely build and/or cache C/C++ compilation, using recursive Nix☆30Updated 3 years ago
- Datalog engine with extensions for integrating analyses☆38Updated 7 years ago