Discover @SamuelSchlesinger Open Source projects

Samuel Schlesinger (@SamuelSchlesinger)

SamuelSchlesinger

Stars
283
Global Rank 93,417 (Top 4 %)
Followers 71
Following 86
Registered almost 10 years ago
Most used languages

Haskell
76.0 %

Rust
10.0 %

HTML
4.0 %

Solidity
4.0 %

TeX
2.0 %

JavaScript
2.0 %

Agda 2.0 %
Location 🇺🇸 United States
Country Total Rank 22,253
Country Ranking

Agda 60

Haskell
131

TeX
470

Solidity
500

Rust
3,224

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.

gaia

An experiment in functional interface design

AutomataTheory

summer

Extensible sums and products for Haskell

HaskellTutorial

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

stm-actor

An implementation of the actor model in Haskell using STM

generic-match

An implementation of first-class pattern matches in Haskell.

hs-ts

A simple example of integrating TypeScript and Haskell.

stm-incremental

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

Quickterm

Quick Haskell Command Line Interface

positioning

A library for 3D grid coordinates: for games

stm-queue

A real-time concurrent queue

gke-template

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

haskell-performance

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

paxos

Documenting my understanding of the Paxos algorithm for future reference

gross

Easy terminal interfaces, emulating gloss

Academic

A whole bunch of my more academic work

Resources

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

version-control

A version control system implemented from scratch in Rust.

erc20-bond

A bond implemented generically for any ERC20 compliant Ethereum contract.

environment

A Haskell/Vim scripting environment

doq

Doq: A World for an Table-Top RPG

cronus

Another bloated standard library.

functional-programming-resources

some resources that have helped me learn functional programming

stg

An implementation of the spineless, tagless G-machine

dungeon-crawler

A basic dungeon crawling game

Lispish

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

ticket-management

A simple system for an individual managing tickets of work.

biomass-breakout

A game about evolution, cooperation, and predation

my-xmonad-config

My XMonad Config!

haskell-beginners

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

Components

Some Quickterm examples and components

CIS194

agda-math

explorer

A basic web scraper in Haskell

geopolitik-backend

A Haskell implementation of the backend of Geopolitik, a website I want to make

Game

Game in Haskell

martingale-anomaly-detection

A small project to use martingale sequences to detect anomalies in data streams.

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.

Sudoku

A sudoku solver written with the Z3 SAT Solver

DataStructures

some data structures idk

memoization

Explorations with memoization in Haskell

ver

Reconstruction in progress.

mtsl

An augmentation to mtl using explicit monad transformer stacks.

AlgebraicHierarchy

An algebraic hierarchy of classes in Haskell

user-system

A basic user system written in Haskell

servant-restful

Basic RESTful resource APIs in servant.

propositional-resolution

Some code I wrote to do some homework on propositional resolution

sql-exercises

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

union-find

website

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

haskell-server-template

A template for Haskell HTTP servers.

mtl-uplift

A way to lift entire substacks of monad transformer stacks, boilerplate free!

blake3-lamport-signatures

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