SamuelSchlesinger/Complexity-Resources SamuelSchlesinger/Complexity-Resources

  • Stars
    star
    37
  • Rank 720,807 (Top 15 %)
  • Language
    TeX
  • Created about 8 years ago
  • Updated about 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
SamuelSchlesinger/Complexity-Resources
github

SamuelSchlesinger

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Resources and notes on computational complexity theory

More Repositories

1

commander-cli

A simple library I wrote to allow me to quickly and easily construct command line interfaces.
Haskell
27
star
2

gaia

An experiment in functional interface design
Haskell
23
star
3

AutomataTheory

Haskell
21
star
4

summer

Extensible sums and products for Haskell
Haskell
19
star
5

HaskellTutorial

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

stm-actor

An implementation of the actor model in Haskell using STM
Haskell
13
star
7

generic-match

An implementation of first-class pattern matches in Haskell.
Haskell
13
star
8

hs-ts

A simple example of integrating TypeScript and Haskell.
Haskell
13
star
9

stm-incremental

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

Quickterm

Quick Haskell Command Line Interface
Haskell
8
star
11

positioning

A library for 3D grid coordinates: for games
Rust
7
star
12

stm-queue

A real-time concurrent queue
Haskell
5
star
13

gke-template

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

haskell-performance

This is a grab-bag of haskell data structure and algorithm benchmarks.
HTML
4
star
15

paxos

Documenting my understanding of the Paxos algorithm for future reference
Haskell
4
star
16

gross

Easy terminal interfaces, emulating gloss
Haskell
3
star
17

Academic

A whole bunch of my more academic work
Haskell
3
star
18

Resources

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

version-control

A version control system implemented from scratch in Rust.
Rust
3
star
20

erc20-bond

A bond implemented generically for any ERC20 compliant Ethereum contract.
Solidity
3
star
21

environment

A Haskell/Vim scripting environment
Haskell
2
star
22

doq

Doq: A World for an Table-Top RPG
2
star
23

cronus

Another bloated standard library.
Haskell
2
star
24

functional-programming-resources

some resources that have helped me learn functional programming
2
star
25

stg

An implementation of the spineless, tagless G-machine
Haskell
2
star
26

dungeon-crawler

A basic dungeon crawling game
JavaScript
2
star
27

Lispish

This is a weird lil language I wrote a parser and evaluator for
Haskell
2
star
28

ticket-management

A simple system for an individual managing tickets of work.
Haskell
2
star
29

biomass-breakout

A game about evolution, cooperation, and predation
Rust
1
star
30

my-xmonad-config

My XMonad Config!
Haskell
1
star
31

haskell-beginners

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

Components

Some Quickterm examples and components
Haskell
1
star
33

CIS194

Haskell
1
star
34

agda-math

Deprecated
Agda
1
star
35

explorer

A basic web scraper in Haskell
Haskell
1
star
36

geopolitik-backend

A Haskell implementation of the backend of Geopolitik, a website I want to make
HTML
1
star
37

Game

Game in Haskell
Haskell
1
star
38

martingale-anomaly-detection

A small project to use martingale sequences to detect anomalies in data streams.
Haskell
1
star
39

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.
Solidity
1
star
40

Sudoku

A sudoku solver written with the Z3 SAT Solver
Haskell
1
star
41

DataStructures

some data structures idk
Haskell
1
star
42

memoization

Explorations with memoization in Haskell
Haskell
1
star
43

ver

Reconstruction in progress.
1
star
44

mtsl

An augmentation to mtl using explicit monad transformer stacks.
Haskell
1
star
45

AlgebraicHierarchy

An algebraic hierarchy of classes in Haskell
Haskell
1
star
46

user-system

A basic user system written in Haskell
Haskell
1
star
47

servant-restful

Basic RESTful resource APIs in servant.
Haskell
1
star
48

propositional-resolution

Some code I wrote to do some homework on propositional resolution
Haskell
1
star
49

sql-exercises

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

union-find

Rust
1
star
51

website

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

haskell-server-template

A template for Haskell HTTP servers.
Haskell
1
star
53

mtl-uplift

A way to lift entire substacks of monad transformer stacks, boilerplate free!
Haskell
1
star
54

blake3-lamport-signatures

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