bryant Goto Github PK

argon2rs

The pure-Rust password hashing library running on Argon2.

beziarcs

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/

cmark

CommonMark parsing and rendering library and program in C

comonad

Haskell 98 comonads

cryptol

Cryptol: The Language of Cryptography

distributive

Dual Traversable

fibcontest

fish-shell

The user-friendly command line shell.

fstar

Verification system for effectful programs

git-precommit-format

Auto-formatting Git pre-commit hook.

gravel

haskid

Hashids! In Haskell! Really fast!

heuler

haskell. project euler.

hnhiring

The code behind hnhiring.me, a pleasant interface for viewing the monthly Hacker News hiring posts

idris-dev

A Dependently Typed Functional Programming Language

imagestrap

interviewstreet

cleaned up solutions to istreet probs.

ioq3-defrag

laptop-mode-tools

Power Savings tool for Linux

libramp

stepper motor ramping sans floating point

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.

llvm-pru

The Clang and LLVM backend that sports aggressive PRU-specific optimizations.

machinekit

mdex

metadata indexing layer

neovim

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