droundy / bigbro
library (and utility) for tracking filesystem changes
☆17Updated 3 years ago
Alternatives and similar repositories for bigbro:
Users that are interested in bigbro are comparing it to the libraries listed below
- The elf-edit library provides a datatype suitable for reading and writing Elf files.☆36Updated last month
- An llvm pretty printer inspired by the haskell llvm binding☆29Updated 2 months ago
- Patches Assured up to Trace Equivalence☆14Updated last week
- ☆10Updated 5 years ago
- Filesystem access tracer☆83Updated 5 months ago
- ☆11Updated 3 years ago
- Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.☆13Updated 4 years ago
- type safe, concurrent, pauseless, copying, generational GC. Implementation https://github.com/Avi-D-coder/sundial-gc☆30Updated 4 years ago
- Parser for ELF object format.☆11Updated 3 years ago
- Dependent hash maps☆14Updated 8 months ago
- A Haskell library for parsing, pretty-printing, and evaluating the Ninja build language.☆35Updated 7 years ago
- A library for binary analysis and rewriting☆47Updated last year
- Extends stdenv.mkDerivation based builds with a distributed build cache on Amazon S3.☆25Updated 4 years ago
- A Haskell library implementing several Paxos-related algorithms☆25Updated 12 years ago
- Multi-language AST-based code search and rewriting tool that supports embedding Lua code in patterns☆30Updated 7 months ago
- Minimal binary serialization library with focus on performance☆17Updated 4 years ago
- Dynamically-typed Haskell expressions involving applications and variables.☆22Updated 3 weeks ago
- A human readable style for binary data.☆11Updated 5 years ago
- Weighted Regular Expressions, an experiment in porting an academic Haskell library to Rust☆19Updated 4 years ago
- An implementation of strace in Rust, and a library interface☆22Updated 6 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Updated 6 years ago
- Column-oriented binary format for immutable datasets☆9Updated 4 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
- The Daedalus data description language☆68Updated 6 months ago
- Error return tracing in Rust. Still WIP☆11Updated 3 years ago
- type-system, revised unification algorithm and runtime time representations☆14Updated 5 years ago
- A binary serialisation format inspired by YAML, MessagePack and nvlists.☆32Updated 4 years ago
- Type-Level Programming in Rust☆27Updated 3 years ago
- Library for parse perf.data file from Linux perf tool for Rust☆18Updated 4 years ago
- SML The Living Language☆11Updated 11 years ago