Joe Doyle

No description provided.

A software-based 3D renderer written in C

A smart build system designed for vim integration

No description provided.

Collection of stream cipher algorithms

My nix configuration.

This is not youtube-dl

A small utility to modify the dynamic linker and RPATH of ELF executables

Deep neural networks in Rust

Capture the Flag with Stuff

Open Machine Intelligence Framework for Hackers. (GPU/CPU)

Interactive theorem proving with Coq in vim.

The website for Autumn

Command line toolkit for working with Arduino hardware

A framework for creating lighting control applications.

All Games ever played on the No Name Go Server (First commit contains the original files, later may enhance their compatibility with SGF standard).

A project that allows uploading homebrew code to a GameBoy Advance via its multiboot protocol

This is a fork of FloPoCo

Intel® Deep Learning Framework

sleep with feedback

making stuff in VeriFast

Home to the Signal Protocol as well as other cryptographic primitives which make Signal possible.

Performs topological sorting.

Fast and efficient ed25519 signing and verification in Rust.

No description provided.

No description provided.

My vimrc. If you have vim, git, and curl, this file will automatically download all of my plugins and my configuration.

Research prototype tool for modular formal verification of C and Java programs

A command-line interface description language and parser that will make you smile

Implementation of the BLS12-381 pairing-friendly elliptic curve group