Samuel Schlesinger

tshts. A fast, lightweight terminal-based spreadsheet application built in Rust with full formula support, cell references, and keyboard-driven navigation - perfect for command-line workflows.

Complexity-Resources. Resources and notes on computational complexity theory

commander-cli. A simple library I wrote to allow me to quickly and easily construct command line interfaces.

anonymous-credit-tokens. Anonymous Credit Tokens implementation in Rust

generalist. A generalist AI agent backed by Claude

gaia. An experiment in functional interface design

AutomataTheory. Haskell

summer. Extensible sums and products for Haskell

stm-actor. An implementation of the actor model in Haskell using STM

HaskellTutorial. A Haskell tutorial directed towards Undergraduates studying Computer Science. A work in progress.

revtool. A version control system implemented from scratch in Rust.

generic-match. An implementation of first-class pattern matches in Haskell.

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

authenticated-pseudonyms. An implementation of authenticated pseudonyms using BBS and Dodis-Yampolskiy.

hs-ts. A simple example of integrating TypeScript and Haskell.

voting. A library for anonymous voting.

Quickterm. Quick Haskell Command Line Interface

positioning. A library for 3D grid coordinates: for games

draft-act. Anonymous Credit Token related standards

erc20-bond. A bond implemented generically for any ERC20 compliant Ethereum contract.

gke-template. A template containing minimal example of using Haskell, Postgres, Redis, Docker, and Kubernetes

stm-queue. A real-time concurrent queue

paxos. Documenting my understanding of the Paxos algorithm for future reference

haskell-performance. This is a grab-bag of haskell data structure and algorithm benchmarks.

gross. Easy terminal interfaces, emulating gloss

Resources. Attempting to put some resources for myself in a place where they can stay and others can access them

ticket-management. A simple system for an individual managing tickets of work.

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

anoncreds. A proposal for anonymous credits on the web platform

Academic. A whole bunch of my more academic work

anonymous-state-machines. An article about a class of protocols for Anonymous State Machines. Maybe implementations in the future.

stg. An implementation of the spineless, tagless G-machine

environment. A Haskell/Vim scripting environment

finite-model-theory. a finite model theory library in rust

Lispish. This is a weird lil language I wrote a parser and evaluator for

doq. Doq: A World for an Table-Top RPG

cronus. Another bloated standard library.

dungeon-crawler. A basic dungeon crawling game

memoization. Explorations with memoization in Haskell

proof-of-work. Rust

sql-exercises. Some SQL exercises using the squeal deep embedding of postgresql into Haskell.

dnd. Rust

haskell-beginners. This is a repository for Haskell beginners to learn, with as much help as I can provide.

ietf-anonymous-credit-tokens. An IETF-style specification of Anonymous Credit Tokens.

biomass-breakout. A game about evolution, cooperation, and predation

website. A project to compile the knowledge I've gained into a website

my-xmonad-config. My XMonad Config!

cashflow-analysis. Rust

haskell-server-template. A template for Haskell HTTP servers.

mtl-uplift. A way to lift entire substacks of monad transformer stacks, boilerplate free!

binary-rs. A simple, lightweight binary serialization and deserialization library in Rust.

agda-math. Deprecated

erc20-multi-key-safe. A way to securely hold ERC20 tokens with a number of addresses, forcing a subset of a given size of them to approve of any given withdrawal.