droundy / bigbro

Related projects ⓘ

Alternatives and complementary repositories for bigbro

• geofft / gtrace
  An implementation of strace in Rust, and a library interface
  ☆20Updated 6 years ago
• pasa / asdl-rs
  ☆10Updated 4 years ago
• GaloisInc / pate
  Patches Assured up to Trace Equivalence
  ☆14Updated this week
• endoli / burst.rs
  A disassembler framework
  ☆18Updated 2 years ago
• fitzgen / wasm-smith
  A WebAssembly test case generator
  ☆43Updated 4 years ago
• GaloisInc / elf-edit
  The elf-edit library provides a datatype suitable for reading and writing Elf files.
  ☆36Updated 3 months ago
• elfsternberg / riggedregex
  Weighted Regular Expressions, an experiment in porting an academic Haskell library to Rust
  ☆19Updated 4 years ago
• jacereda / fsatrace
  Filesystem access tracer
  ☆81Updated 2 months ago
• fitzgen / dwprod
  ☆17Updated 2 years ago
• GaloisInc / renovate
  A library for binary analysis and rewriting
  ☆47Updated last year
• jeremydavis519 / rusty-asm
  A layer of syntactic sugar between Rust and inline assembly
  ☆11Updated 6 years ago
• wangbj / elf
  Parser for ELF object format.
  ☆11Updated 2 years ago
• xnning / Row-and-Bounded-via-Disjoint
  Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.
  ☆13Updated 4 years ago
• starfleetcadet75 / rdbg
  A debugger written in Rust
  ☆20Updated 4 years ago
• Avi-D-coder / sundial-gc-design
  type safe, concurrent, pauseless, copying, generational GC. Implementation https://github.com/Avi-D-coder/sundial-gc
  ☆31Updated 4 years ago
• sapphire-arches / lttng-ust-rs
  lttng-ust bindings for Rust
  ☆12Updated 6 months ago
• luser / rust-gdb-remote-protocol
  A Rust crate implementing the GDB Remote Serial Protocol
  ☆33Updated 3 years ago
• BGR360 / propagate
  Error return tracing in Rust. Still WIP
  ☆11Updated 3 years ago
• saschagrunert / peel
  Dynamic packet parsing within trees 🌲🌳🌴
  ☆24Updated 6 years ago
• cgswords / rsc
  Rust-based Scheme Compiler, written in the Nanopass style
  ☆11Updated 6 years ago
• GaloisInc / rustwall
  Rust firewall for seL4
  ☆10Updated 6 years ago
• HuwCampbell / zebra
  Column-oriented binary format for immutable datasets
  ☆8Updated 4 years ago
• cuplv / iodyn-lang.rust
  IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections
  ☆14Updated 6 years ago
• langston-barrett / mogglo
  Multi-language AST-based code search and rewriting tool that supports embedding Lua code in patterns
  ☆28Updated 4 months ago
• hdevalence / text_tree
  dom-like layout for terminal applications
  ☆12Updated 3 years ago
• GaloisInc / surveyor
  A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs
  ☆18Updated 3 years ago
• allvm / allvm-tools
  ALLVM Tools
  ☆55Updated 2 years ago
• nanotech / dhall-rs
  cargo +nightly build
  ☆34Updated 5 years ago
• playXE / garbage-collector
  Garbage collector implementation in Rust for Rust
  ☆13Updated 4 years ago
• advancedresearch / linear_solver
  A linear solver designed to be easy to use with Rust enums.
  ☆32Updated 3 years ago