Alternatives and similar repositories for NumbatUI

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

• llvm / eudsl
  Embedded Universal DSL: a good DSL for us, by us
  ☆40Updated this week
• securesystemslab / LLVM-MCA-Daemon
  ☆20Updated 4 months ago
• compiler-research / idd
  A System for Differential Debugging
  ☆20Updated 3 months ago
• SoftSec-KAIST / SURI
  Towards Sound Reassembly of Modern x86-64 Binaries (ASPLOS'25)
  ☆15Updated 3 months ago
• weirdindiankid / cacheflow
  CacheFlow is a Linux kernel module that exposes the contents of the last-level cache on *most* ARM machines.
  ☆17Updated last year
• vusec / LookUB
  ☆14Updated last year
• tudasc / MetaCG
  MetaCG offers an annotated whole program call-graph tool for Clang/LLVM.
  ☆47Updated this week
• dougallj / asil
  ☆32Updated last year
• CHERIoT-Platform / cheriot-sail
  Sail code model of the CHERIoT ISA
  ☆39Updated this week
• quarkslab / numbat
  Library to manipulate and create Sourcetrail databases
  ☆23Updated last month
• emsec / ConFuzz
  ConFuzz is an advanced FPGA configuration engine fuzzing and rapid prototyping framework based on boofuzz and OpenOCD.
  ☆15Updated 2 weeks ago
• lifting-bits / gap
  A utility library to bridge llvm and mlir gaps.
  ☆13Updated 6 months ago
• lifting-bits / cxx-common
  Common dependency management for various Trail of Bits C++ codebases
  ☆33Updated last year
• revng / orchestra
  rev.ng configuration for orchestra. The starting point for any development.
  ☆36Updated last week
• moyix / fpsmt_gpu
  Solving floating point SMT constraints on a GPU
  ☆49Updated 4 years ago
• jaopaulolc / KernelFaRer
  KernelFaRer: Replacing Native-Code Idioms with High-Performance Library Calls
  ☆11Updated 4 months ago
• maerhart / llhd
  A low-level intermediate representation for hardware description languages
  ☆28Updated 5 years ago
• emsec / arm-fault-simulator
  ☆32Updated 2 years ago
• meelgroup / arjun
  CNF minimizer and minimal independent set minimizer
  ☆19Updated 3 weeks ago
• jvstech / float-compare-pass
  Fork of LLVM for demonstrating optimization pass development
  ☆30Updated 2 years ago
• pydrofoil / pydrofoil
  A fast RISC-V emulator based on the RISC-V Sail model, and an experimental ARM one
  ☆76Updated this week
• static-analysis-engineering / CodeHawk-C
  CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)
  ☆29Updated last month
• hardenedlinux / chiba
  The framework for next generation data center.
  ☆19Updated 5 months ago
• mpdn / unthread
  A deterministic, fuzzable pthread implementation
  ☆39Updated 2 years ago
• kristerw / smtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆73Updated this week
• hoseinyavarzadeh / Pathfinder_Attack
  Pathfinder: High-Resolution Control-Flow Attacks Exploiting the Conditional Branch Predictor
  ☆17Updated last year
• shacron / sled
  Sled System Emulator
  ☆28Updated 2 months ago
• gokhankici / iodine
  Iodine: Verifying Constant-Time Execution of Hardware
  ☆13Updated 4 years ago
• cyberus-technology / hedron
  The Hedron Microhypervisor
  ☆80Updated last year
• trailofbits / macroni
  C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.
  ☆42Updated 11 months ago