mahmoud-mess / tekken6-recomp

Original open-source static recompilation of Tekken 6 (Xbox 360) for native execution on PC. This project provides the recompilation foundation used by downstream projects including Tekken6 Native Online.

whokilleddb / 3lkToShell

A poor man's attempt to replicate the shellcode execution technique demo'd by @3lk during STHACK 2026 (https://www.youtube.com/watch?v=alRgpv-czyk)

Daniele-Cangi / xcp-xbox

Programmable, verifiable execution on Xbox Series X Developer Mode, with agent-native workflows, XVM, CPU/GPU runtimes and evidence-bound execution.

rr-debugger / rr

Record and Replay Framework

NVIDIA / DALI

A GPU-accelerated library containing highly optimized building blocks and an execution engine for data processing to accelerate deep learning training and inference applications.

facebookincubator / velox

A composable and fully extensible C++ execution engine library for data management systems.

orailnoor / cross-platform-llm-client

A unified cross-platform AI client supporting seamless transitions between standard cloud APIs and on-device, offline execution of custom and uncensored language models.

kokkos / kokkos

Kokkos C++ Performance Portability Programming Ecosystem: The Programming Model - Parallel Execution and Memory Abstraction

tevador / RandomX

Proof of work algorithm based on random code execution

kungfu-systems / kungfu

Your agents don’t hand off the work. Kungfu keeps the same Work moving across Codex, Claude, OpenCode, and your own execution surface.

klee / klee

KLEE Symbolic Execution Engine

NVIDIA / stdexec

`std::execution`, the standard C++ framework for asynchronous and parallel programming.

AliveToolkit / alive2

Automatic verification of LLVM optimizations

Lil-House / Pyarmor-Static-Unpack-1shot

✅ No execution ✅ Pyarmor 8.0 - 9.2.x (latest) ✅ Universal ✅ Statically convert obfuscated Python scripts to disassembly and (experimentally) source code.

JonathanSalwan / Triton

Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.

sail-sg / envpool

C++-based high-performance parallel environment execution engine (vectorized env) for general RL environments.

rburkholder / trade-frame

C++ 17 based library (with sample applications) for testing equities, futures, currencies, etfs & options based automated trading ideas using DTN IQFeed real time data feed and Interactive Brokers (IB TWS API) for trade execution. libtorch/lstm/cuda demo. Support for Alpaca & Phemex. Notifications via Telegram.

stp / stp

Simple Theorem Prover, an efficient SMT solver for bitvectors, floating-point and arrays.

S2E / s2e

S2E: A platform for multi-path program analysis with selective symbolic execution.

roq-trading / roq-api

C++ interfaces used to communicate with Roq's market gateways.

crypto-chassis / ccapi

A header-only C++ library for interacting with crypto exchanges. Bindings for Python, Java, C#, Go, and Javascript are provided.

xiao-yang25 / robot-harness

A harness for embodied intelligence — connecting agents, robot skills and the physical world through execution, feedback and recovery.