bryant

argon2rs

The pure-Rust password hashing library running on Argon2.

punkt

Unsupervised multilingual sentence segmentation.

plugdj

Python wrapper for `plug.dj`'s API.

pdse

Partial dead store elimination pass for LLVM.

quantcomp

Solutions to selected exercises in quantum computation

haskid

Hashids! In Haskell! Really fast!

bryant.github.io

cabal

Official upstream development repository for Cabal and cabal-install

cant-beat-the-compiler

"Beating the Compiler" disproved. http://www.codersnotes.com/notes/beating-the-compiler/

FStar

Verification system for effectful programs

git-precommit-format

Auto-formatting Git pre-commit hook.

Idris-dev

A Dependently Typed Functional Programming Language

imagestrap

laptop-mode-tools

Power Savings tool for Linux

linux

Linux kernel source tree

llvm

Experimental branches corresponding to my various Phab threads.

llvm-project

This is the canonical git mirror of the LLVM subversion repository. The repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.

machinekit

neovim

Vim-fork focused on extensibility and agility. Consider helping sustain Neovim development!

newgvn-scalar-pre

nginx

An official read-only mirror of http://hg.nginx.org/nginx/ which is updated hourly. Pull requests on GitHub cannot be accepted and will be automatically closed. The proper way to submit changes to nginx is via the nginx development mailing list, see http://nginx.org/en/docs/contributing_changes.html

ninja

a small build system with a focus on speed

prgmr-image-source

ranger

A VIM-inspired filemanager for the console

refind

Our mirror of rEFInd

rust

A safe, concurrent, practical language.

rust-gmp

gmp bindings for rust

sandbox

idea sandbox

vim-easymotion

Vim motions on speed!

z3fun

Proving things in style.