Samuel Schlesinger (SamuelSchlesinger)

SamuelSchlesinger

Geek Repo

Company:Google

Location:Connecticut

Home Page:https://samuelschlesinger.github.io/

Github PK Tool:Github PK Tool

Samuel Schlesinger's repositories

summer

Extensible sums and products for Haskell

Language:HaskellLicense:MITStargazers:19Issues:0Issues:0

stm-actor

An implementation of the actor model in Haskell using STM

Language:HaskellLicense:MITStargazers:15Issues:4Issues:5

stm-incremental

A very simple interface for incremental computation using STM in Haskell.

Language:HaskellLicense:MITStargazers:13Issues:4Issues:1

version-control

A version control system implemented from scratch in Rust.

Language:RustLicense:MITStargazers:3Issues:2Issues:10

blake3-lamport-signatures

An implementation of Lamport/Merkle signatures in Rust using the BLAKE3 hash function.

License:Apache-2.0Stargazers:0Issues:0Issues:0

backprop

Heterogeneous automatic differentiation ("backpropagation") in Haskell

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

bitcoin

Bitcoin Core integration/staging tree

License:MITStargazers:0Issues:0Issues:0

bulletproofs

A pure-Rust implementation of Bulletproofs using Ristretto.

License:MITStargazers:0Issues:0Issues:0

c-arc

Cloned Rust's Arc type into C

Language:CLicense:MITStargazers:0Issues:0Issues:0

commander

A military metaphor for a free stateful, backtracking monad

Language:HaskellLicense:MITStargazers:0Issues:0Issues:0

containers

Assorted concrete container types

Language:HaskellStargazers:0Issues:0Issues:0

curriculum

A set of resources I find particularly powerful.

Stargazers:0Issues:2Issues:0

curve25519-dalek

A pure-Rust implementation of group operations on Ristretto and Curve25519

License:NOASSERTIONStargazers:0Issues:0Issues:0

discrete-log-nizkp

A NIZKP of discrete logarithm solution.

Language:RustStargazers:0Issues:0Issues:0

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:HaskellLicense:NOASSERTIONStargazers:0Issues:0Issues:0

graph-iso-nizkp

NIZKPs of Graph Isomorphism.

Language:RustStargazers:0Issues:2Issues:0

halo2

The Halo2 zero-knowledge proving system

Language:RustLicense:NOASSERTIONStargazers:0Issues:1Issues:0
Stargazers:0Issues:0Issues:0

json-web-proofs

Specification work for JSON Web Proofs

License:NOASSERTIONStargazers:0Issues:0Issues:0

libsignal

Home to the Signal Protocol as well as other cryptographic primitives which make Signal possible.

License:AGPL-3.0Stargazers:0Issues:0Issues:0

nn.h

Simple stb-style header-only library for Neural Networks

Language:CLicense:MITStargazers:0Issues:0Issues:0

openai

An unofficial Rust library for the OpenAI API.

License:MITStargazers:0Issues:0Issues:0
Language:RustStargazers:0Issues:0Issues:0

Project-Alice

An open source game

License:GPL-3.0Stargazers:0Issues:0Issues:0

roboservant

generate contextually sensible fuzz tests for servant apps

License:BSD-3-ClauseStargazers:0Issues:0Issues:0

rust-stm

Software transactional memory

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

SamuelSchlesinger

Wow, didn't know I could add a README to my GitHub profile!

Stargazers:0Issues:0Issues:0

simformat

Formats haskell import lists

License:NOASSERTIONStargazers:0Issues:0Issues:0

trust-token-api

Trust Token API

License:NOASSERTIONStargazers:0Issues:0Issues:0