Alternatives and similar repositories for BrainFTracing:

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

• MaskRay / picolld
  A stripped-down LLD (LLVM linker)
  ☆29Updated 5 years ago
• frdwarf / dwarf-synthesis
  ☆28Updated 5 years ago
• luhsra / chash
  CLang Plugin for calculating AST hashes
  ☆15Updated 6 years ago
• delcypher / nsolv
  Nsolv - A front-end that allows multiple SMTLIBv2 compliant solvers to executed in parallel.
  ☆12Updated 12 years ago
• StanfordPL / strata
  Automatic inference of a formal specification of the x86_64 instruction set
  ☆69Updated 9 years ago
• dcdelia / tinyvm
  A simple VM to play with OSR in LLVM
  ☆14Updated 7 years ago
• SNSystems / dexter
  DExTer - Debug Experience Tester
  ☆33Updated 3 years ago
• thestr4ng3r / llvm-dbas
  LLVM Assembler adding Debug Information at IR Level.
  ☆32Updated 6 years ago
• freeCompilerCamp / freecompilercamp.github.io
  The website for freeCompilerCamp's classroom tutorials, using Github Pages.
  ☆32Updated 3 years ago
• travitch / llvm-tools
  A set of tools for visualizing and inspecting LLVM bitcode modules
  ☆31Updated 10 years ago
• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆39Updated 2 years ago
• smowton / llpe
  ☆51Updated last year
• geofflangdale / sheng
  A small DFA for under 16 states
  ☆51Updated 6 years ago
• kristerw / pysmtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆36Updated last year
• rcorcs / llvm-heat-printer
  LLVM Profiling Visualization
  ☆84Updated 3 years ago
• tobiasgrosser / polyhedral.info
  ☆20Updated last year
• comby-tools / comby-decomposer
  Decompose source code into templates and fragments for any language.
  ☆21Updated 2 years ago
• kavon / atJIT
  autotuning C++, just-in-time!
  ☆51Updated 5 years ago
• GaloisInc / llvm-pretty-bc-parser
  Parser for the llvm bitcode format
  ☆59Updated last month
• lindig / quest
  A tool for testing C compilers automatically
  ☆21Updated 9 years ago
• UTSASRG / Guarder
  ☆13Updated 6 years ago
• eliben / libjit-samples
  Code samples for using libjit
  ☆91Updated 8 years ago
• andreas-abel / XED-to-XML
  XML representation of the x86 instruction set
  ☆28Updated 3 weeks ago
• sampsyo / quala
  custom type systems for Clang
  ☆97Updated 9 years ago
• pfalcon / graph-llvm-ir
  Visualization of LLVM IR
  ☆60Updated 10 years ago
• halo-project / halo
  😇 Wholly Adaptive LLVM Optimizer
  ☆27Updated 4 years ago
• facebookarchive / Rseq
  Restartable Sequences: a userspace implementation of cheap per-cpu atomic operations
  ☆36Updated 6 years ago
• dibyendumajumdar / nj
  A cross platform JIT engine based on Eclipse OMR
  ☆27Updated 5 years ago
• nsumner / llvm-demo
  A simple example of how LLVM can be used to gather static or dynamic facts about a program.
  ☆70Updated last year
• nickgildea / z3_codegen
  A toy code generator (i.e. "program synthesis") using the Z3 solver
  ☆35Updated 7 years ago