Wyatt Howe's repositories
macro-circuit-assembler
Expand a macro-circuit into standard Bristol format
LWE-GSW-Rust
LWE-based GSW FHE
nizk-proof-synthesis
Python tool to construct circuits which output a non-interactive zero-knowledge proof of their correctness
simple-d3-circuit-visualizer
Simple JavaScript-based Bristol circuit visualizer.
arrow
Apache Arrow is a multi-language toolbox for accelerated data interchange and in-memory processing
barriers
Python decorator for including/removing type checks, value/bounds checks, and other code blocks within the compiled bytecode of functions and methods.
bfcl
Python library for working with circuit definitions represented in the Bristol Fashion.
circuit
Minimal pure Python library for building and working with logical circuits.
demo_z8z
Demo using Concrete library to implement exact homomorphic computation with 3-bit integers
fpv2021
Lecture notes, exercises, homeworks for Brown CS1951x 2021
Haptica-
Easy Haptic Feedback Generator đź“ł
keyzen
A touch typing trainer geared towards programmers and others that need to practice with all the symbols on the keyboard.
lagrange
Pure-Python implementation of Lagrange interpolation over finite fields.
lean-prover-one-time-pad
Proof of perfect secrecy of the one-time pad using Lean
libsodium-1.0.18.tar.gz
Extracted copy of libsodium-1.0.18.tar.gz from https://github.com/jedisct1/libsodium/releases/1.0.18-RELEASE/
macOS-ARM64-build
Example of building ARM64 (marketed as "Apple Silicon") binaries for macOS 11
mclbn256.py
Python bindings for the BN254/256 pairing-friendly curve supported by the MCl library
node-postal
NodeJS bindings to libpostal for fast international address parsing/normalization
pynacl
Python binding to the Networking and Cryptography (NaCl) library
rbcl
Python binding to the Ristretto group operations in libsodium
rbcl_RH88
Python binding to the Ristretto group operations in libsodium
rust-paillier
Implement paillier crypto system in Rust
shamirs
Minimal pure-Python implementation of Shamir's Secret Sharing scheme.
staged-recipes
A place to submit conda recipes before they become fully fledged conda-forge feedstocks