Hamish Ivey-Law's repositories
cuda-fixnum
Extended-precision modular arithmetic library that targets CUDA.
git-annex-el
Emacs integration for the git-annex tool by Joey Hess
Language:Emacs Lisp000
napkin
An Infinitely Large Napkin
Language:TeX000
pariemacs
Major modes for hacking libpari and GP scripts in Emacs.
Language:Emacs LispGPL-2.0000
Language:Rust000
PySEAL
This repository is a fork of Microsoft Research's homomorphic encryption implementation, the Simple Encrypted Arithmetic Library (SEAL). This code wraps the SEAL build in a docker container and provides Python API's to the encryption library.
Language:C++NOASSERTION000
snark-challenge
Coda + Dekrypt: The SNARK Challenge - Reference Material
Language:C++000
snarky
OCaml DSL for verifiable computation
MIT000
unzvfu.github.io
My personal website
Language:Ruby000
website
this is the code for the sagemath.org website
000