Monero (XMR) Stratum protocol proxy
Darwin/macOS emulation layer for Linux
The fastest RISC-V sandbox
A @ClickHouse fork that supports high-performance vector search
Unity machine learning agents toolkit
The Smart Contract Programming Language
This is the stress-ng upstream project git repository.
CasADi is a symbolic framework for numeric optimization
Enabling Windows Subsystem for Linux to include support for Wayland
Jainja is a JVM (Java Virtual Machine) written in Java
fast C++ library for linear algebra & scientific computing
DENUVO (VMProtect 2.6x) VM research tool
Computer Experiment Environment
SUNY Stony Brook Pascal for the IBM/360 written in XPL
Tools and Z80 engine for creating adventure games. (RUST)
Binary Modular DataFlow Machine (BMDFM)
Z80 shared library including some nice test-projects
VM detection library in C++
Cencio VM is a lightweight flexible stack-based virtual machine
Custom stack-based scripting language, compiler, and bytecode VM.
Computer Algebra System written in Common Lisp
A wine and qemu GUI runner to help you install and use easily.