jpdoyle

Pinned Repositories

doing
A dead simple bash script for tracking time spent on different tasks
Language:Shell1 3 00
GRender
A software-based 3D renderer written in C
Language:C3 3 00
Lambda
A simple lambda-calculus evaluator.
Language:Haskell2 3 00
log.hpp
A dead-simple C++11 logger in one small header file.
Language:C++1 3 00
nixcfg
My nix configuration.
Language:Objective-C6 3 01
OmegaGo
Language:Python2 4 280
Pong-Haskell
It's Pong! In Haskell!
Language:Haskell2 3 00
scromble
Language:Rust6 3 02
vfstuff
making stuff in VeriFast
Language:C1 3 00
whiteboardjs
whiteboard.js created at Penn Apps Spring 2015
Language:CSS1 3 00

jpdoyle's Repositories

jpdoyle/nixcfg
My nix configuration.
Language:Objective-C6 3 01
jpdoyle/scromble
Language:Rust6 3 02
jpdoyle/vfstuff
making stuff in VeriFast
Language:C1 3 00
jpdoyle/bls12_381
Implementation of the BLS12-381 pairing-friendly elliptic curve group
Language:Rust2 0
jpdoyle/coquille
Interactive theorem proving with Coq in vim.
Language:Vim script3 0
jpdoyle/cryptobox-zeroize-issue
Language:Rust3 0
jpdoyle/ctfws
Capture the Flag with Stuff
Language:Python3 0
jpdoyle/docopt.hs
A command-line interface description language and parser that will make you smile
Language:Haskell2 0
jpdoyle/ed25519-dalek
Fast and efficient ed25519 signing and verification in Rust.
Language:Rust2 0
jpdoyle/isochronous_finite_fields
Rust library that implements finite field arithmetic isochronously
Language:Rust2 0
jpdoyle/libfabric
Open Fabric Interfaces
Language:C3 0
jpdoyle/libsignal
Home to the Signal Protocol as well as other cryptographic primitives which make Signal possible.
Language:Rust1 0
jpdoyle/littlefs
A little fail-safe filesystem designed for microcontrollers
Language:C2 0
jpdoyle/nixpkgs
Nix Packages collection
Language:Nix3 0
jpdoyle/nixpkgs-mozilla
mozilla related nixpkgs (extends nixos/nixpkgs repo)
Language:Nix2 0
jpdoyle/not-youtube-dl
This is not youtube-dl
Language:Python2 0
jpdoyle/patchelf
A small utility to modify the dynamic linker and RPATH of ELF executables
Language:C2 0
jpdoyle/rustbw
3 0
jpdoyle/securefs
Filesystem in userspace (FUSE) with transparent authenticated encryption
Language:C++3 0
jpdoyle/snore
sleep with feedback
Language:C1 0
jpdoyle/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.
Language:C4 0
jpdoyle/st
Language:C3 0
jpdoyle/static-analysis-project
Language:TeX4 0
jpdoyle/stream-ciphers
Collection of stream cipher algorithms
Language:Rust2 0
jpdoyle/topological-sort-rs
Performs topological sorting.
Language:Rust2 0
jpdoyle/triangle-sim
Language:Python2 0
jpdoyle/verifast
Research prototype tool for modular formal verification of C and Java programs
Language:OCaml3 0
jpdoyle/vim-build
A smart build system designed for vim integration
Language:Shell3 0
jpdoyle/vim-verifast
Verifast syntax highlighting for vim
Language:Vim script3 0
jpdoyle/vimrc
My vimrc. If you have vim, git, and curl, this file will automatically download all of my plugins and my configuration.
Language:Vim script3 0