Ben Hamlin's repositories
rust-seL4
Rust support for seL4 userspace
protoflake
My user configuration as a flake
neovim-flake
Fork of https://jordanisaacs.github.io/neovim-flake for my personal vim configuration
arkworks-algebra
Libraries for finite field, elliptic curve, and polynomial arithmetic
camkes
Component Architecture test suite and example apps.
SCALE-MAMBA
Repository for the SCALE-MAMBA MPC system
rtnetlink-hs
Manipulate network devices, addresses, and routes the classy way
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
nixpkgs
Nix Packages collection
docker-hs
A Haskell library for the Docker Engine API
HaLVM
The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen
weakdh
Presentation for CS576
regex-generator-hs
Generate a random string from a PCRE
ue
Universal command-line calculator program
halvm-ghc
Patched mirror of GHC repository used by HaLVM. Docs and Issues are at the main HaLVM repo:
HaNS
The haskell network stack
qsim
A quantum computer simulator.
mvc-mvconstraint
MVC Motion Vector Constraint Project