原汁原昧 Claude Code 可运行,可构建, 可调试版; Typescript 类型全修复; 企业级可靠性; 安全无毒, lock 文件保真, 可直接 bun i; bun run dev 启动

An open source re-implementation of RollerCoaster Tycoon 2 🎢

Mali GPU-assisted kernel exploitation

GPGPU-Sim provides a detailed simulation model of contemporary NVIDIA GPUs running CUDA and/or OpenCL workloads. It includes support for features such as TensorCores and CUDA Dynamic Parallelism as…

Development repository for the Triton language and compiler

vulnerability detection in python source code with LSTM networks

Testing open source tools on CWE weaknesses

Testing open source tools on CWE weaknesses

Source code of Ferrocene, safety-critical Rust toolchain

FlyDSL is the Python front‑end of the project: Flexible LaYout DSL.

CVE-Bench: A Benchmark for AI Agents’ Ability to Exploit Real-World Web Application Vulnerabilities

High-performance Python runtime extensions

Sturdy is a library for developing sound static analyses in Haskell.

Implementation of higher-order logic in Python

A lightweight Traits like module

HAL – The Hardware Analyzer

Trail of Bits Claude Code skills for security research, vulnerability detection, and audit workflows

The Gillian Platform main repository

A programming language with region-based memory management

A garden of small programming language implementations 🪴

Advisory database for Python packages published on pypi.org

Auto-Active Verifier for Python

PoTo: A Hybrid Andersen's Points-to Analysis for Python

Algebraic effects for Rust

Gong liveness and channel safety checker

A Python Interpreter written in Rust

The Trillium logic for proving trace refinement properties such as liveness via Iris

A List of Foundational Haskell Papers

Two-Level Collaborative Fuzzing for Python Runtimes