Discover SamuelSchlesinger/stm-actor Open Source project

Stars
13
Rank 1,512,713 (Top 30 %)
Language
Haskell
License
MIT License
Created over 5 years ago
Updated almost 2 years ago

SamuelSchlesinger

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

An implementation of the actor model in Haskell using STM

Complexity-Resources

Resources and notes on computational complexity theory

TeX

commander-cli

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

Haskell

gaia

An experiment in functional interface design

Haskell

AutomataTheory

Haskell

summer

Extensible sums and products for Haskell

Haskell

HaskellTutorial

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

Haskell

generic-match

An implementation of first-class pattern matches in Haskell.

Haskell

hs-ts

A simple example of integrating TypeScript and Haskell.

Haskell

stm-incremental

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

Haskell

Quickterm

Quick Haskell Command Line Interface

Haskell

positioning

A library for 3D grid coordinates: for games

Rust

stm-queue

A real-time concurrent queue

Haskell

gke-template

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

Haskell

haskell-performance

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

HTML

paxos

Documenting my understanding of the Paxos algorithm for future reference

Haskell

gross

Easy terminal interfaces, emulating gloss

Haskell

Academic

A whole bunch of my more academic work

Haskell

Resources

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

Haskell

version-control

A version control system implemented from scratch in Rust.

Rust

erc20-bond

A bond implemented generically for any ERC20 compliant Ethereum contract.

Solidity

environment

A Haskell/Vim scripting environment

Haskell

doq

Doq: A World for an Table-Top RPG

cronus

Another bloated standard library.

Haskell

functional-programming-resources

some resources that have helped me learn functional programming

stg

An implementation of the spineless, tagless G-machine

Haskell

dungeon-crawler

A basic dungeon crawling game

JavaScript

Lispish

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

Haskell

ticket-management

A simple system for an individual managing tickets of work.

Haskell

biomass-breakout

A game about evolution, cooperation, and predation

Rust

my-xmonad-config

My XMonad Config!

Haskell

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

Haskell

geopolitik-backend

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

HTML

Game

Game in Haskell

Haskell

martingale-anomaly-detection

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

Haskell

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

Sudoku

A sudoku solver written with the Z3 SAT Solver

Haskell

DataStructures

some data structures idk

Haskell

memoization

Explorations with memoization in Haskell

Haskell

ver

Reconstruction in progress.

mtsl

An augmentation to mtl using explicit monad transformer stacks.

Haskell

AlgebraicHierarchy

An algebraic hierarchy of classes in Haskell

Haskell

user-system

A basic user system written in Haskell

Haskell

servant-restful

Basic RESTful resource APIs in servant.

Haskell

propositional-resolution

Some code I wrote to do some homework on propositional resolution

Haskell

sql-exercises

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

Haskell

union-find

Rust

website

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

haskell-server-template

A template for Haskell HTTP servers.

Haskell

mtl-uplift

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

Haskell

blake3-lamport-signatures

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

Rust

SamuelSchlesinger/stm-actor

SamuelSchlesinger

Reviews

Repository Details

More Repositories