SamuelSchlesinger

Working on Google Chrome in the Privacy Sandbox initiative

GoogleConnecticut

Pinned Repositories

AutomataTheory
Language:Haskell213
commander-cli
A simple library I wrote to allow me to quickly and easily construct command line interfaces.
Language:Haskell29 5 222
Complexity-Resources
Resources and notes on computational complexity theory
Language:TeX39 4 11
gaia
An experiment in functional interface design
Language:Haskell233
generic-match
An implementation of first-class pattern matches in Haskell.
Language:Haskell13 3 10
HaskellTutorial
A Haskell tutorial directed towards Undergraduates studying Computer Science. A work in progress.
Language:Haskell16 5 10
stm-actor
An implementation of the actor model in Haskell using STM
Language:Haskell16 4 53
stm-incremental
A very simple interface for incremental computation using STM in Haskell.
Language:Haskell13 4 10
summer
Extensible sums and products for Haskell
Language:Haskell191
version-control
A version control system implemented from scratch in Rust.
Language:Rust3 2 101

SamuelSchlesinger's Repositories

SamuelSchlesinger/summer
Extensible sums and products for Haskell
Language:Haskell191
SamuelSchlesinger/version-control
A version control system implemented from scratch in Rust.
Language:Rust3 2 101
SamuelSchlesinger/blake3-lamport-signatures
An implementation of Lamport/Merkle signatures in Rust using the BLAKE3 hash function.
Language:Rust2 2 1
SamuelSchlesinger/algebra
Libraries for finite field, elliptic curve, and polynomial arithmetic
Language:Rust
SamuelSchlesinger/alphabetworkersunion.org
Language:TypeScript1 0
SamuelSchlesinger/backprop
Heterogeneous automatic differentiation ("backpropagation") in Haskell
Language:Haskell
SamuelSchlesinger/bulletproofs
A pure-Rust implementation of Bulletproofs using Ristretto.
SamuelSchlesinger/c-arc
Cloned Rust's Arc type into C
Language:C2 0
SamuelSchlesinger/commander
A military metaphor for a free stateful, backtracking monad
Language:Haskell3 41
SamuelSchlesinger/crypto-primitives
Interfaces and implementations of cryptographic primitives, along with R1CS constraints for them
SamuelSchlesinger/curriculum
A set of resources I find particularly powerful.
2 0
SamuelSchlesinger/curve25519-dalek
A pure-Rust implementation of group operations on Ristretto and Curve25519
SamuelSchlesinger/discrete-log-nizkp
A NIZKP of discrete logarithm solution.
Language:Rust
SamuelSchlesinger/Game-Dangerous
A 3D game engine written in Haskell and OpenGL Shading Language. The goal is to make a 3D tribute to ZZT, including a game creation system.
Language:Haskell2 0
SamuelSchlesinger/graph-iso-nizkp
NIZKPs of Graph Isomorphism.
Language:Rust2 0
SamuelSchlesinger/halo2
The Halo2 zero-knowledge proving system
Language:Rust1 0
SamuelSchlesinger/ietf-spice-charter
SamuelSchlesinger/jellyfish
A Rust Implementation of the PLONK ZKP System and Extensions
SamuelSchlesinger/json-web-proofs
Specification work for JSON Web Proofs
Language:JavaScript1 0
SamuelSchlesinger/libsignal
Home to the Signal Protocol as well as other cryptographic primitives which make Signal possible.
SamuelSchlesinger/nn.h
Simple stb-style header-only library for Neural Networks
Language:C1 0
SamuelSchlesinger/openai
An unofficial Rust library for the OpenAI API.
Language:Rust1 0
SamuelSchlesinger/perm
Language:Rust2 0
SamuelSchlesinger/r1cs-std
R1CS constraints for bits, fields, and elliptic curves
SamuelSchlesinger/roboservant
generate contextually sensible fuzz tests for servant apps
SamuelSchlesinger/rust-stm
Software transactional memory
Language:Rust1 0
SamuelSchlesinger/SamuelSchlesinger
Wow, didn't know I could add a README to my GitHub profile!
SamuelSchlesinger/simformat
Formats haskell import lists
Language:Haskell1 0
SamuelSchlesinger/snark
Interfaces for Relations and SNARKs for these relations
SamuelSchlesinger/std
A standard library wrapper for use in the `arkworks` ecosystem