Beast code in Giters

Samuel Burnham's repositories

Arduino Embedded Temperature System for Water Purifier Project

Language:C++020

Language:RustMIT000

A library of gadgets compatible with bellpepper and bellperson

Language:RustMIT000

Testing grounds for CI and GH Actions workflows

MIT000

GitHub Actions workflows and templates for use in Lurk repos

MIT000

Language:Emacs Lisp000

Self-hosted runner for Lurk CI in Docker

Language:DockerfileApache-2.0000

Apache-2.0000

Language:Rust010

Language:RustApache-2.0010

Rust Poseidon implementation.

Language:RustNOASSERTION010

Nova: Recursive SNARKs without trusted setup

MIT000

The new (and improved) RCOS website

Language:RustMIT010

Test website

Language:HTML020

Solidity implementation of Nova proving system verifier

Language:SolidityApache-2.0000

Language:Rust020

Language:Rust000