rev.ng configuration for orchestra. The starting point for any development.
☆36Updated this week
Alternatives and similar repositories for orchestra
Users that are interested in orchestra are comparing it to the libraries listed below
Sorting:
- The CRISPR static binary patcher☆37Nov 19, 2020Updated 5 years ago
- Public BanditFuzz Repo☆12Jan 12, 2021Updated 5 years ago
- Fuzz testing for Dafny☆13Jul 7, 2022Updated 3 years ago
- Android driver for the Trusted Execution Environment <t-base☆12Sep 29, 2015Updated 10 years ago
- Hydradancer firmware supporting the Facedancer backend for the Hydradancer dongle and HydraUSB3☆23Dec 10, 2025Updated 2 months ago
- ☆16Apr 15, 2019Updated 6 years ago
- Rust Bindings and tools for the Intel® Simics® Simulator☆17Updated this week
- A web based emulator for running z80 Nintendo E-Reader apps☆17Sep 12, 2025Updated 5 months ago
- ☆15May 14, 2023Updated 2 years ago
- revng: the core repository of the rev.ng project☆1,632Feb 21, 2026Updated last week
- A binary analysis framework written in Rust.☆21Jan 9, 2024Updated 2 years ago
- Customized version of QEMU 2.4.0 exposing the TCG frontend and the helpers☆17Dec 22, 2025Updated 2 months ago
- Erku is an IPTV and video on demand client for the Roku OS.☆12Dec 29, 2024Updated last year
- A VST® plugin for enhancing non-MPE MIDI streams with MPE (MIDI Polyphonic Expression) capabilities based on user-defined mappings and ru…☆22Feb 23, 2026Updated last week
- Non-photorealistic rendering sandbox to experiment with diferents shaders and params☆19May 28, 2024Updated last year
- PlayStation 2 hard drive partition scanner for Linux☆21Sep 23, 2009Updated 16 years ago
- ☆27Jun 6, 2023Updated 2 years ago
- MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers☆25Apr 21, 2023Updated 2 years ago
- Verification-condition-generation-based verifier for the Viper intermediate verification language.☆35Feb 19, 2026Updated last week
- Created by Jeffrey Martin via the GitHub Connector☆26Feb 13, 2025Updated last year
- A web server integration for the Bevy game engine that allows you to easily append a webserver to Bevy☆16Oct 14, 2025Updated 4 months ago
- arm decoders for the yaxpeax project☆35Feb 22, 2026Updated last week
- TriCera: a model checker for C programs☆26Updated this week
- program analysis for machine code☆37Oct 26, 2021Updated 4 years ago
- Some experiments with SMT solvers and GIMPLE IR☆79Feb 20, 2026Updated last week
- A design automation framework to engineer decision diagrams yourself☆26Updated this week
- ☆16Apr 20, 2025Updated 10 months ago
- llvm crash analysis☆44Jun 26, 2024Updated last year
- yaxdis, a small and naive disassembler using yaxpeax decoders☆34Apr 14, 2025Updated 10 months ago
- Quantum miniature golf☆29Jan 3, 2026Updated last month
- Android user space components for the Trustonic Trusted Execution Environment☆39Sep 29, 2015Updated 10 years ago
- 91-95 Jeep and Dodge EPROMS☆13Nov 25, 2025Updated 3 months ago
- In-memory OLAP SQL server for object storage data.☆14Oct 15, 2025Updated 4 months ago
- A set of utilities/wrapper for Test Automation or Performance testing on top of Chrome DevTools Protocol☆12Feb 18, 2024Updated 2 years ago
- ☆10Mar 10, 2023Updated 2 years ago
- This is a Login application for Android using Parse server.☆10Nov 26, 2018Updated 7 years ago
- MCP server for Google search and page fetching using headless Chromium☆67Feb 21, 2026Updated last week
- Бот для пересылки сообщений из MAX в Telegram☆40Feb 11, 2026Updated 2 weeks ago
- Miscellaneous small bits and bobs.☆11Sep 8, 2025Updated 5 months ago