Armv8 Native Code Symbolic Simulator in Lean

Multi-platform Sony PlayStation emulator written in C

visionOS examples ⸺ Spatial Computing Accelerators for Apple Vision Pro

A refactoring tool for Go

a co-programming / pair-programming twitch stream setup using H264/OPUS RTP (like WebRTC does)

Fawkes, privacy preserving tool against facial recognition systems. More info at https://sandlab.cs.uchicago.edu/fawkes

Formal Reasoning About Programs

The Ur/Web programming language

JavaScript port of Ebisu, the public-domain library for Bayesian quiz scheduling.

Tools for using PIV tokens (like Yubikeys) as an SSH agent, for encrypting data at rest, and more

The Crimson Text typeface

Node rules for Bazel (unsupported)

A UPnP DLNA Digital Media Server that includes basic video transcoding. Tested on a Panasonic Viera television, several Android UPnP apps, and Chromecast.

Repository of random elisp code

git-cvs is a tool to incrementally import changesets from CVS into a Git repository with stable commit hashes.

Open CASCADE Community Edition: patches/improvements/experiments contributed by users over the official Open CASCADE library.

OpenCASCADE Community Edition (OCE): a community driven fork of the Open CASCADE library.

An open source, embedded, high performance g-code-parser and CNC milling controller written in optimized C that will run on a straight Arduino

Random collection of OpenBSD stuff

Tools for DNS curve implementation

An open source, embedded, high performance g-code-parser and CNC milling controller written in optimized C that will run on a straight Arduino

Tools for DNS curve implementation