Alternatives and similar repositories for onikiri2

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

• yabits / llvm

  View on GitHub
  LLVM backend for EFI Byte Code
  ☆11Jul 14, 2019Updated 6 years ago
• shioyadan / advanced-computer-organization

  View on GitHub
  ☆191Dec 18, 2025Updated last month
• compiler-research / idd

  View on GitHub
  A System for Differential Debugging
  ☆22Apr 10, 2025Updated 10 months ago
• okdshin / flatline_lsp

  View on GitHub
  Github Copilot-like LSP code completion server with local LLM powered by llama.cpp
  ☆21Mar 11, 2024Updated last year
• GaloisInc / reopt-vcg

  View on GitHub
  A translation verifier for Reopt (https://github.com/GaloisInc/reopt)
  ☆20Sep 20, 2021Updated 4 years ago
• CMU-SAFARI / Load-Inspector

  View on GitHub
  A binary instrumentation tool to analyze load instructions in any off-the-shelf x86(-64) program. Described by Bera et al. in https://arx…
  ☆23Jun 30, 2024Updated last year
• stephenrkell / elftin

  View on GitHub
  Rag-bag of utilities and scripts that do strange things with ELF files
  ☆18Nov 25, 2025Updated 2 months ago
• cdonovick / peak

  View on GitHub
  Peak : Processor Specification Language ala Newell and Bell's ISP
  ☆20Dec 5, 2023Updated 2 years ago
• lifting-bits / fcd

  View on GitHub
  An optimizing decompiler (modified to use remill semantics)
  ☆30Jan 4, 2019Updated 7 years ago
• SOM-st / PySOM

  View on GitHub
  PySOM - The Simple Object Machine Smalltalk implemented in Python
  ☆28Aug 19, 2025Updated 5 months ago
• seccamp2020-b8 / lecture

  View on GitHub
  セキュリティ・キャンプ全国大会2020 オンライン B8講義資料
  ☆18Nov 28, 2020Updated 5 years ago
• binary-translation / risotto-artifact-asplos23

  View on GitHub
  ☆20Oct 19, 2022Updated 3 years ago
• 2Bor2C / tage

  View on GitHub
  Implementation of TAGE Branch Predictor - currently considered state of the art
  ☆52Sep 6, 2014Updated 11 years ago
• Alignof / hikami

  View on GitHub
  A lightweight Type-1 hypervisor for RISC-V H-extension, featuring RISC-V extension emulation. (on Milk-V Megrez)
  ☆55Dec 31, 2025Updated last month
• moonbitlang / MoonLLVM

  View on GitHub
  A Tiny, Friendly Companion to LLVM
  ☆46Jan 12, 2026Updated last month
• binsec / klee21-tina-artifact

  View on GitHub
  TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…
  ☆29Jul 7, 2021Updated 4 years ago
• prg-titech / baccaml

  View on GitHub
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆33May 2, 2025Updated 9 months ago
• hdc-arizona / cfgexplorer

  View on GitHub
  Interactive Control Flow Graph Visualization.
  ☆34Sep 27, 2021Updated 4 years ago
• phate / jlm

  View on GitHub
  A research compiler for exploring the Regionalized Value State Dependence Graph (RVSDG) intermediate representation
  ☆75Updated this week
• pydrofoil / pydrofoil

  View on GitHub
  A fast RISC-V emulator based on the RISC-V Sail model, and an experimental ARM one
  ☆84Updated this week
• bytecodealliance / wasm-score

  View on GitHub
  A benchmark for standalone WebAssembly
  ☆38Aug 6, 2024Updated last year
• cxiao / rust_type_layout_helper_bn

  View on GitHub
  An extremely experimental Binary Ninja importer for the type layout information emitted by the -Zprint-type-sizes flag of the Rust compil…
  ☆38Jul 3, 2023Updated 2 years ago
• gangtan / CPUmodels

  View on GitHub
  GoNative project: formal machines models in Coq
  ☆36Aug 3, 2017Updated 8 years ago
• tavianator / parconf

  View on GitHub
  Parallel ./configure proof of concept
  ☆41Apr 25, 2025Updated 9 months ago
• AmpereComputing / cbp-ng

  View on GitHub
  The simulator for the Next-Generation Championship in Branch Prediction (CBP-NG)
  ☆22Updated this week
• goaaats / Dalamud.CharacterSync

  View on GitHub
  Dalamud Plugin that synchronizes your character data to one main character.
  ☆15Jul 11, 2024Updated last year
• Intoprelised / ambrosial

  View on GitHub
  A launcher for Minecraft: Bedrock Editions (Windows 10 Edition) utility mods
  ☆10Aug 18, 2023Updated 2 years ago
• melt-umn / ableC

  View on GitHub
  Attribute grammar Based Language Extensions for C
  ☆42Oct 28, 2025Updated 3 months ago
• hikalium / compilium

  View on GitHub
  C compiler + hikalium
  ☆34Oct 24, 2020Updated 5 years ago
• takenobu-hs / cpu-assembly-examples

  View on GitHub
  CPU assembly examples
  ☆87May 19, 2024Updated last year
• jiegec / cpu

  View on GitHub
  Microarchitecture diagrams of several CPUs
  ☆47Feb 7, 2026Updated last week
• iigura / Paraphrase

  View on GitHub
  Multi-core suitable Forth-like language
  ☆37Mar 22, 2025Updated 10 months ago
• martin-cs / symfpu

  View on GitHub
  A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point
  ☆50Nov 16, 2025Updated 3 months ago
• laithsakka / Grafter

  View on GitHub
  TreeFuser is a tool that perform traversals fusion for recursive tree traversals written in subset of the c++ language.
  ☆11Aug 13, 2023Updated 2 years ago
• 0xGotcha / XrefXpert

  View on GitHub
  Tracks cross references and allows fast viewing of pseudocode between references
  ☆13Mar 10, 2025Updated 11 months ago
• WojciechMula / man-intrinsics

  View on GitHub
  Create man pages from information used by Intel Intrinsics Guide and optionally uops.info
  ☆46Dec 16, 2024Updated last year
• ayatk / FeliCaReader

  View on GitHub
  FeliCaの残高を読み取るAndroidアプリ
  ☆12May 10, 2018Updated 7 years ago
• skelsec / HuaweiSMSender

  View on GitHub
  Python script to send SMS using Huawei new[er] USB dongles via the HTTP interface
  ☆11Jul 10, 2017Updated 8 years ago
• Kikou1998 / books

  View on GitHub
  document
  ☆12Sep 1, 2015Updated 10 years ago