Pinned Repositories
config-parser
geotrace
A traceroute utility that uses the GeoIP database to provide geographical and AS data for each hop.
nix-config
protoflake
My user configuration as a flake
protonix
rtnetlink-hs
Manipulate network devices, addresses, and routes the classy way
tlock
Simple terminal locking utility using PAM, inspired by slock.
xmonad-config
protoben's Repositories
protoben/config-parser
protoben/nix-config
protoben/protoflake
My user configuration as a flake
protoben/protonix
protoben/rtnetlink-hs
Manipulate network devices, addresses, and routes the classy way
protoben/xmonad-config
protoben/avsec
protoben/arkworks-algebra
Libraries for finite field, elliptic curve, and polynomial arithmetic
protoben/camkes
Component Architecture test suite and example apps.
protoben/cryptopals
protoben/docker-hs
A Haskell library for the Docker Engine API
protoben/global-components
protoben/HaLVM
The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen
protoben/halvm-ghc
Patched mirror of GHC repository used by HaLVM. Docs and Issues are at the main HaLVM repo:
protoben/HaNS
The haskell network stack
protoben/minlibc
protoben/mvc-mvconstraint
MVC Motion Vector Constraint Project
protoben/neovim-flake
Fork of https://jordanisaacs.github.io/neovim-flake for my personal vim configuration
protoben/nixpkgs
Nix Packages collection
protoben/protouserenv
protoben/qsim
A quantum computer simulator.
protoben/regex-generator-hs
Generate a random string from a PCRE
protoben/resume
protoben/rust-seL4
Rust support for seL4 userspace
protoben/SCALE-MAMBA
Repository for the SCALE-MAMBA MPC system
protoben/SIKE-fiat
Incorporating fiat's (https://github.com/mit-plv/fiat-crypto) montgomery multiplication into the portable optimized SIKE (https://sike.org/) implementation for better performance
protoben/TestRandom
protoben/ue
Universal command-line calculator program
protoben/vim-config
protoben/weakdh
Presentation for CS576