jpdoyle

scromble

nixcfg

My nix configuration.

vfstuff

making stuff in VeriFast

bls12_381

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

coquille

Interactive theorem proving with Coq in vim.

cryptobox-zeroize-issue

ctfws

Capture the Flag with Stuff

docopt.hs

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

ed25519-dalek

Fast and efficient ed25519 signing and verification in Rust.

isochronous_finite_fields

Rust library that implements finite field arithmetic isochronously

libfabric

Open Fabric Interfaces

libsignal

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

littlefs

A little fail-safe filesystem designed for microcontrollers

nixpkgs

Nix Packages collection

nixpkgs-mozilla

mozilla related nixpkgs (extends nixos/nixpkgs repo)

not-youtube-dl

This is not youtube-dl

patchelf

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

rustbw

securefs

Filesystem in userspace (FUSE) with transparent authenticated encryption

snore

sleep with feedback

SOS

Sandia OpenSHMEM is an implementation of the OpenSHMEM specification over multiple Networking APIs, including Portals 4 and the Open Fabric Interface (OFI). Please click on the Wiki tab for help with building and using SOS.

st

static-analysis-project

stream-ciphers

Collection of stream cipher algorithms

topological-sort-rs

Performs topological sorting.

triangle-sim

verifast

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

vim-build

A smart build system designed for vim integration

vim-verifast

Verifast syntax highlighting for vim

vimrc

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