Portable, lightweight, self-contained virtual machine.

This is the top-level repository for the Accel-Sim framework.

K8s-test-infra

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…

Entirety of `rustc`, translated to C.

GeoIMO is a Geometry-Driven Independent Motion Classification for Event Cameras

Easy to use framework and utilities for software rasterization, image processing and other experiments

FizzBuzz Enterprise Edition is a no-nonsense implementation of FizzBuzz made by serious businessmen for serious business purposes.

Eg-walker paper, experiments and data.

FRED: The Florence RGB-Event Drone Dataset

A Claude or Codex skill for deliberate skill development during AI-assisted coding

Markdown Viewer

eZFS2FA+ is a hardened encrypted ZFS dataset with two-factor interactive workflow for sensitive services on FreeBSD systems, with Linux compatibility built in.

A Rust/WASM implementation of homotopy.io

Rust but LISP

A python CAD programming library

AmateRS is a next-generation distributed database with Fully Homomorphic Encryption (FHE) capabilities, enabling computation on encrypted data without ever exposing plaintext to servers.

OxiCUDA replaces the entire NVIDIA CUDA Toolkit software stack with type-safe, memory-safe Rust code.

A community delivered, open source embedded operating system project.

cuda-oxide is an experimental Rust-to-CUDA compiler that lets you write (SIMT) GPU kernels in safe(ish), idiomatic Rust. It compiles standard Rust code directly to PTX — no DSLs, no foreign languag…

Towards a decidability proof for the ALCI_RCC5 description logic with RCC5 composition table

Copy Fail 2: Electric Boogaloo

Check latex paper citations automatically

Metasploit Framework

MCP Server for Metasploit