SamuelSchlesinger/stg SamuelSchlesinger/stg

  • Stars
    star
    2
  • Language
    Haskell
  • Created over 3 years ago
  • Updated over 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
SamuelSchlesinger/stg
github

SamuelSchlesinger

Reviews

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

Repository Details

An implementation of the spineless, tagless G-machine

More Repositories

1

Complexity-Resources

Resources and notes on computational complexity theory
TeX
37
star
2

commander-cli

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

gaia

An experiment in functional interface design
Haskell
23
star
4

AutomataTheory

Haskell
21
star
5

summer

Extensible sums and products for Haskell
Haskell
19
star
6

HaskellTutorial

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

stm-actor

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

generic-match

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

hs-ts

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

stm-incremental

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

Quickterm

Quick Haskell Command Line Interface
Haskell
8
star
12

positioning

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

stm-queue

A real-time concurrent queue
Haskell
5
star
14

gke-template

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

haskell-performance

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

paxos

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

gross

Easy terminal interfaces, emulating gloss
Haskell
3
star
18

Academic

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

Resources

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

version-control

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

erc20-bond

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

environment

A Haskell/Vim scripting environment
Haskell
2
star
23

doq

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

cronus

Another bloated standard library.
Haskell
2
star
25

functional-programming-resources

some resources that have helped me learn functional programming
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