Alternatives and similar repositories for bigbro

Users that are interested in bigbro are comparing it to the libraries listed below

• GaloisInc / elf-edit
  The elf-edit library provides a datatype suitable for reading and writing Elf files.
  ☆39Updated 5 months ago
• jacereda / fsatrace
  Filesystem access tracer
  ☆87Updated last year
• GaloisInc / llvm-pretty
  An llvm pretty printer inspired by the haskell llvm binding
  ☆30Updated this week
• nanotech / dhall-rs
  cargo +nightly build
  ☆34Updated 6 years ago
• maybevoid / lambek
  Type-Level Programming in Rust
  ☆27Updated 4 years ago
• rudymatela / express
  Dynamically-typed Haskell expressions involving applications and variables.
  ☆22Updated last year
• gergoerdi / metafun
  Compile Haskell-like code into C++ template metaprograms
  ☆66Updated 9 years ago
• wangbj / elf
  Parser for ELF object format.
  ☆11Updated 4 years ago
• maurer / holmes
  Datalog engine with extensions for integrating analyses
  ☆39Updated 8 years ago
• nikhilm / ninja-rs
  An educational implementation of the ninja build system, based on ideas from the Build Systems a la Carte paper.
  ☆58Updated 5 years ago
• elfsternberg / riggedregex
  Weighted Regular Expressions, an experiment in porting an academic Haskell library to Rust
  ☆20Updated 5 years ago
• true-grue / graph-irs
  Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"
  ☆25Updated 2 years ago
• GaloisInc / daedalus
  The Daedalus data description language
  ☆87Updated last week
• Avi-D-coder / sundial-gc-design
  type safe, concurrent, pauseless, copying, generational GC. Implementation https://github.com/Avi-D-coder/sundial-gc
  ☆31Updated 5 years ago
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆33Updated 8 months ago
• remexre / evaltrees
  A simple term-rewriting interpreter that displays intermediate expressions.
  ☆14Updated 8 months ago
• GaloisInc / surveyor
  A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs
  ☆20Updated 5 years ago
• GaloisInc / renovate
  A library for binary analysis and rewriting
  ☆49Updated 2 years ago
• pwrobinson / concurrent-hashtable
  A thread-safe hash table in Haskell
  ☆15Updated 5 years ago
• LouisJenkinsCS / LLVM-JVM
  [W.I.P] A Just-In-Time Java Virtual Machine written in Haskell
  ☆21Updated 4 years ago
• habit-lang / language-report
  LaTeX sources for the Habit Programming Language Report
  ☆24Updated 7 years ago
• condy0919 / rua
  Lua dialect in rust
  ☆22Updated 4 years ago
• Happstack / boomerang
  Library for invertible parsing and printing
  ☆33Updated 5 months ago
• GaloisInc / RSA
  Haskell RSA Library
  ☆21Updated 4 years ago
• kolmodin / herl
  Erlang BEAM emulator in Haskell
  ☆48Updated 11 years ago
• jfecher / golden-tests
  A golden file testing library for rust
  ☆38Updated 4 months ago
• edolstra / nix-ccache
  A flake to remotely build and/or cache C/C++ compilation, using recursive Nix
  ☆33Updated 4 years ago
• helix-collective / terraform-hs
  A Haskell ADL to generate terraform files.
  ☆17Updated 5 years ago
• willcrichton / rabbot
  Abstract binding tree code generator
  ☆37Updated 9 years ago
• cedille / cedille-cast
  Source files used for the Cedille Cast videos
  ☆13Updated last month