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.☆14Updated 5 years ago
- An llvm pretty printer inspired by the haskell llvm binding☆30Updated 3 months ago
- Parser for ELF object format.☆11Updated 3 years ago
- Type-Level Programming in Rust☆27Updated 3 years ago
- ☆10Updated 5 years ago
- ☆11Updated 3 years ago
- The elf-edit library provides a datatype suitable for reading and writing Elf files.☆39Updated this week
- Patches Assured up to Trace Equivalence☆16Updated 3 months ago
- An implementation of strace in Rust, and a library interface☆22Updated 7 years ago
- Error return tracing in Rust. Still WIP☆11Updated 3 years ago
- Filesystem access tracer☆84Updated 10 months ago
- Shell.☆14Updated 8 years ago
- An experimental language server for SomewhatML☆24Updated 2 years ago
- cargo +nightly build☆34Updated 6 years ago
- The Daedalus data description language☆74Updated 3 months ago
- A library for binary analysis and rewriting☆47Updated last year
- LLVM IR Binding for Rust☆13Updated 4 years ago
- type safe, concurrent, pauseless, copying, generational GC. Implementation https://github.com/Avi-D-coder/sundial-gc☆31Updated 5 years ago
- Documented version of a simple type-theoretic language: Mini-TT☆18Updated 6 years ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆31Updated 2 months 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, …☆46Updated 9 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Updated 7 years ago
- type-system, revised unification algorithm and runtime time representations☆14Updated 5 years ago
- Rust firewall for seL4☆10Updated 7 years ago
- An educational implementation of the ninja build system, based on ideas from the Build Systems a la Carte paper.☆57Updated 4 years ago
- A WebAssembly test case generator☆43Updated 4 years ago
- Formatter for Protocol Buffer files☆29Updated 3 years ago
- A debugger written in Rust☆21Updated 5 years ago
- Column-oriented binary format for immutable datasets☆9Updated 5 years ago
- The uncurried minimal functional programming language for CPS transformation☆18Updated last year