Zorya: Automated Concolic Execution Engine optimized for Go Binaries analysis, using Ghidra's P-Code as IR, and written in Rust.
☆32Mar 3, 2026Updated this week
Alternatives and similar repositories for zorya
Users that are interested in zorya are comparing it to the libraries listed below
Sorting:
- Replicate data across your applications☆14Jun 5, 2015Updated 10 years ago
- Loupe: Syscall Usage Analysis Tool☆46Updated this week
- ☆33Updated this week
- Nonblocking data structures☆12Jan 25, 2015Updated 11 years ago
- ☆13Aug 22, 2025Updated 6 months ago
- Providing wrapper types for safely performing panic-free checked arithmetic on instants and durations.☆17Updated this week
- Implementation of GuP [Arai+ SIGMOD'23]☆10Jan 10, 2024Updated 2 years ago
- Command-line utility for iteratively developing pipelines, deploying them at scale, and sharing data and derivatives☆10Jun 15, 2020Updated 5 years ago
- ☆11Apr 24, 2018Updated 7 years ago
- QMC Heston pricing on GPU☆12May 2, 2023Updated 2 years ago
- ☆11Feb 17, 2026Updated 2 weeks ago
- Query, analysis, and visualization of large video collections☆10Dec 9, 2022Updated 3 years ago
- Go Version of Redis on PMEM☆12Dec 20, 2021Updated 4 years ago
- 🚀 Sliding Window Attention Training for Efficient Large Language Models☆16Dec 8, 2025Updated 2 months ago
- KPC-Toolbox: MATLAB toolbox to fit Markovian Arrival Processes☆10Jun 12, 2025Updated 8 months ago
- ☆12Oct 28, 2025Updated 4 months ago
- kerf is a tool designed to orchestrate and manage multiple kernel instances on a single host.☆25Jan 23, 2026Updated last month
- Tiny utility package for snapshotting gas costs☆13Mar 14, 2022Updated 3 years ago
- A repository containing sample srop exploits and vulnerable binaries.☆12Sep 17, 2019Updated 6 years ago
- A cross-platform library for retrieving information about connected devices.☆11Sep 5, 2023Updated 2 years ago
- Guide and example code for using Loss Versus Rebalancing to measure LP returns☆10Feb 2, 2024Updated 2 years ago
- Lock-free buddy allocator based on binary heap☆13Mar 3, 2025Updated last year
- Tool for testing programs with C/C++11 Atomics☆11Dec 9, 2024Updated last year
- Delegatecall from any contract. A kind of vm.prank for delegatecalls.☆18Sep 10, 2024Updated last year
- webcal server for NOAA + DFO-CHS tides, currents, solar and lunar events.☆11Feb 24, 2026Updated last week
- Gamut helps you organize your Spotify library by colour.☆17Nov 20, 2025Updated 3 months ago
- Crit-bit tree☆26Nov 9, 2021Updated 4 years ago
- ☆19Jan 8, 2026Updated last month
- ☆15Sep 9, 2020Updated 5 years ago
- Prometheus collector and exporter for Slurm cluster metrics. A Slinky project.☆16Nov 7, 2025Updated 3 months ago
- ☆22Jan 9, 2026Updated last month
- ESPBench - The Enterprise Stream Processing Benchmark☆15Dec 27, 2023Updated 2 years ago
- A monorepo containing the Lite and Fallback apps☆15Updated this week
- A definitive guide to build Tensorflow with Intel MKL support on Mac☆16Mar 28, 2018Updated 7 years ago
- Morpho token contracts.☆14Dec 10, 2024Updated last year
- ☆10Mar 16, 2023Updated 2 years ago
- Lithops application examples☆11Dec 19, 2024Updated last year
- Lithops-based Serverless implementation of the METASPACE spatial metabolomics annotation pipeline☆12Jul 6, 2023Updated 2 years ago
- Library to support modern C development.☆11Jan 29, 2024Updated 2 years ago