Alternatives and similar repositories for BrainFTracing

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

• smowton / llpe
  ☆53Updated last year
• delcypher / nsolv
  Nsolv - A front-end that allows multiple SMTLIBv2 compliant solvers to executed in parallel.
  ☆12Updated 12 years ago
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆105Updated last year
• coreperf / rejit
  fast SIMD-able JIT regular expression compiler
  ☆197Updated 10 years ago
• frdwarf / dwarf-synthesis
  ☆29Updated 6 years ago
• StanfordPL / strata
  Automatic inference of a formal specification of the x86_64 instruction set
  ☆71Updated 9 years ago
• kristerw / pysmtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆39Updated 2 years ago
• thestr4ng3r / llvm-dbas
  LLVM Assembler adding Debug Information at IR Level.
  ☆33Updated 6 years ago
• davidmalcolm / pygccjit
  Python bindings for libgccjit.so
  ☆48Updated 10 years ago
• drti / drti
  Dynamic runtime inlining with LLVM
  ☆64Updated 4 years ago
• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆40Updated 2 years ago
• drepper / optmark
  Markup source code showing optimizations
  ☆36Updated 5 years ago
• androm3da / optviewer-demo
  Demonstration of LLVM's opt-viewer tool
  ☆71Updated 8 years ago
• scrossuk / llvm-abi
  Library for generating ABI-compliant LLVM IR
  ☆62Updated 5 years ago
• nsumner / llvm-demo
  A simple example of how LLVM can be used to gather static or dynamic facts about a program.
  ☆73Updated 3 months ago
• hlide / jitasm
  JIT Assembler Library for multiple ISAs
  ☆76Updated 10 years ago
• pmachata / dwgrep
  a tool for querying Dwarf (debuginfo) graphs
  ☆56Updated last year
• GaloisInc / llvm-pretty-bc-parser
  Parser for the llvm bitcode format
  ☆59Updated this week
• vkrasnov / avx_qsort
  Quick sort code using AVX2 instructions
  ☆69Updated 8 years ago
• eliben / libjit-samples
  Code samples for using libjit
  ☆91Updated 8 years ago
• hiraditya / cpp2cxx
  A set of C Preprocessor analysis and source code rejuvenation tools that perform source to source translation of C++ programs by replacin…
  ☆48Updated 7 years ago
• backtrace-labs / poireau
  Poireau: a sampling allocation debugger
  ☆98Updated 3 years ago
• sillycross / WasmNow
  Fast WebAssembly Baseline Compiler
  ☆60Updated 2 years ago
• geofflangdale / sheng
  A small DFA for under 16 states
  ☆52Updated 7 years ago
• rcorcs / llvm-heat-printer
  LLVM Profiling Visualization
  ☆84Updated 3 years ago
• google / ohmu
  Compiler intermediate language for static analysis.
  ☆107Updated 6 years ago
• kframework / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆47Updated 7 years ago
• lindig / quest
  A tool for testing C compilers automatically
  ☆21Updated 9 years ago
• mangpo / greenthumb
  ☆90Updated 3 years ago
• sampsyo / quala
  custom type systems for Clang
  ☆96Updated 10 years ago