unzvfu

Earth

Pinned Repositories

cuda-fixnum
Extended-precision modular arithmetic library that targets CUDA.
Language:Cuda31 1 567
git-annex-el
Emacs integration for the git-annex tool by Joey Hess
Language:Emacs Lisp0 1 00
napkin
An Infinitely Large Napkin
Language:TeX0 0 00
pari-lisp
Lisp bindings for libpari.
Language:Racket1 2 30
pariemacs
Major modes for hacking libpari and GP scripts in Emacs.
Language:Emacs Lisp01
plonky2-toposware
Language:Rust0 0 00

unzvfu's Repositories

unzvfu/cuda-fixnum
Extended-precision modular arithmetic library that targets CUDA.
Language:Cuda31 1 567
unzvfu/pari-lisp
Lisp bindings for libpari.
Language:Racket1 2 30
unzvfu/git-annex-el
Emacs integration for the git-annex tool by Joey Hess
Language:Emacs Lisp0 1 00
unzvfu/napkin
An Infinitely Large Napkin
Language:TeX0 0 00
unzvfu/pariemacs
Major modes for hacking libpari and GP scripts in Emacs.
Language:Emacs Lisp01
unzvfu/plonky2-toposware
Language:Rust0 0 00
unzvfu/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++0 0 01
unzvfu/sexp
A simple S-expression library for C++.
Language:C++0 1 00
unzvfu/snark-challenge
Coda + Dekrypt: The SNARK Challenge - Reference Material
Language:C++0 0
unzvfu/snarky
OCaml DSL for verifiable computation
unzvfu/unzvfu.github.io
My personal website
Language:Ruby
unzvfu/website
this is the code for the sagemath.org website
Language:HTML0 0