Box3D is a 3D physics engine for games

A full-featured download manager — rebuilt from the ground up

Pure-Zig bindings for the NVIDIA CUDA Driver API. No @cImport, no toolkit at build time. Includes a working vector_add example with a Zig kernel compiled to PTX.

Official code base for LeWorldModel: Stable End-to-End Joint-Embedding Predictive Architecture from Pixels

The efficient SMT-based context-bounded model checker (ESBMC)

Free CorridorKey GUI. Turn Corridor Digital's AI keyer into a full desktop app: real-time viewer, job queue, EXR/ProRes/PNG-alpha export. Windows, macOS, Linux. Built by EZSCAPE.

Espresso Logic Minimizer - Modernized Edition

https://shallenge.quirino.net/ in zig

fused metal kernels for llm inference. zig + metal. no python. no pytorch.

Vulkan/CUDA/HIP/OpenCL/Level Zero/Metal Fast Fourier Transform library

μscope 🔬

zig game engine & graphics toolkit - mirror of https://code.hexops.com/hexops/mach

Text-audio foundation model from Boson AI

BitTorrent DHT library

ArrayFire: a general purpose GPU library.

💥💻💥 A data-parallel functional programming language

Multi-platform high-performance compute language extension for Rust.

A massively parallel, high-level programming language

Lean 4 programming language and theorem prover

Safe interop between Rust and C++

A GUI tool that makes it easier to use GPS-SDR-SIM

Implementation of the maximum network flow problem in CUDA.

kmeans

Wasserstein Distance metric for multi-dimensional probability distributions

A poker AI for NL Texas Holdem trained using Monte-Carlo Counterfactual Regret Minimization.

A Java implemented Texas holdem and short deck Solver

🚀 A very efficient Texas Holdem GTO solver ♠️♥️♣️♦️

润学全球官方指定GITHUB，整理润学宗旨、纲领、理论和各类润之实例；解决为什么润，润去哪里，怎么润三大问题； 并成为新中国人的核心宗教，核心信念。

Capturing SSL/TLS plaintext without a CA certificate using eBPF. Supported on Linux/Android kernels for amd64/arm64.