.NET Misskey library

SSHamble: Unexpected Exposures in SSH

A specialized hypervisor for Hermit.

pytest plugin to check whether Python modules can be imported

A collection of GPT system prompts and various prompt injection/leaking knowledge.

The HOL Light theorem prover

Eurydice compiles (a modest subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.

display a very bright white color on HDR-enabled displays

An incremental parsing system for programming tools

Navigation for birds

USB-PD Power/Data Splitter

SSL/TLS certificates verification bypass on Nintendo 3DS (<= 11.13)

The fastest RISC-V sandbox

A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

This tool extracts and displays data from the Recall feature in Windows 11, providing an easy way to access information about your PC's activity snapshots.

Nonequispaced FFTs on GPUs (based on NFFT: http://www.nfft.org)

Sample and MIDI device manager

a simple script to simulate random "cosmic ray" memory errors against a linux process

The fastest hashing algorithm 📈

Census of all 4-manifolds with up to six 4-simplices

SDK for creating whiteboards and canvas experiences on the web.

🔍 An investigation into Jacob Appelbaum leaving the Tor Project

What do you call a pointer we stole the high bits off? An ointer.

An efficient pure-PyTorch implementation of Kolmogorov-Arnold Network (KAN).

No more need of adoption! Craniotomy way more successful than expected

Kolmogorov Arnold Networks

ele spawns elevated processes.

Rust implementation of the image matching algorithm described by Wong, Bern, and Goldberg