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…

Decidability proof for ALCI_RCC5 and ALCI_RCC8 description logics with RCC composition tables

Copy Fail 2: Electric Boogaloo

Check latex paper citations automatically

Metasploit Framework

MCP Server for Metasploit

Enterprise-grade, resilient and secure stack on a Raspberry Pi running FreeBSD, one of the most reliable and hardened operating systems.

macOS command-line interface and secure background daemon for battery charge-state management.

Single-layer transformer in HyperTalk for the classic Macintosh

yk packages

NVIDIA Linux open GPU kernel module source

A fast, safe, and intuitive DataFrame library.

Extremely fast Query Engine for DataFrames, written in Rust

AI-powered penetration testing assistant using local LLM on linux (Parrot OS)

🪨 why use many token when few token do trick — Claude Code skill that cuts 65% of tokens by talking like caveman