Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by SamuelSchlesinger
A curated list of projects in awesome lists by SamuelSchlesinger .
https://github.com/samuelschlesinger/complexity-resources
Resources and notes on computational complexity theory
Last synced: 15 Dec 2024
https://github.com/samuelschlesinger/commander-cli
A simple library I wrote to allow me to quickly and easily construct command line interfaces.
Last synced: 27 Oct 2024
https://github.com/samuelschlesinger/gaia
An experiment in functional interface design
Last synced: 27 Oct 2024
https://github.com/samuelschlesinger/summer
Extensible sums and products for Haskell
Last synced: 27 Oct 2024
https://github.com/samuelschlesinger/haskelltutorial
A Haskell tutorial directed towards Undergraduates studying Computer Science. A work in progress.
Last synced: 27 Oct 2024
https://github.com/samuelschlesinger/stm-actor
An implementation of the actor model in Haskell using STM
Last synced: 27 Oct 2024
https://github.com/samuelschlesinger/stm-incremental
A very simple interface for incremental computation using STM in Haskell.
Last synced: 27 Oct 2024
https://github.com/samuelschlesinger/generic-match
An implementation of first-class pattern matches in Haskell.
Last synced: 27 Oct 2024
https://github.com/samuelschlesinger/hs-ts
A simple example of integrating TypeScript and Haskell.
Last synced: 27 Oct 2024
https://github.com/samuelschlesinger/quickterm
Quick Haskell Command Line Interface
Last synced: 27 Oct 2024
https://github.com/samuelschlesinger/positioning
A library for 3D grid coordinates: for games
Last synced: 27 Oct 2024
https://github.com/samuelschlesinger/erc20-bond
A bond implemented generically for any ERC20 compliant Ethereum contract.
Last synced: 15 Dec 2024
https://github.com/samuelschlesinger/gke-template
A template containing minimal example of using Haskell, Postgres, Redis, Docker, and Kubernetes
Last synced: 27 Oct 2024
https://github.com/samuelschlesinger/stm-queue
A real-time concurrent queue
Last synced: 27 Oct 2024
https://github.com/samuelschlesinger/paxos
Documenting my understanding of the Paxos algorithm for future reference
Last synced: 27 Oct 2024
https://github.com/samuelschlesinger/haskell-performance
This is a grab-bag of haskell data structure and algorithm benchmarks.
Last synced: 15 Dec 2024
https://github.com/samuelschlesinger/gross
Easy terminal interfaces, emulating gloss
Last synced: 15 Dec 2024
https://github.com/samuelschlesinger/academic
A whole bunch of my more academic work
Last synced: 15 Dec 2024
https://github.com/samuelschlesinger/ticket-management
A simple system for an individual managing tickets of work.
Last synced: 15 Dec 2024
https://github.com/samuelschlesinger/version-control
A version control system implemented from scratch in Rust.
cli command-line-interface command-line-tool content-addressable-storage object-storage rust rust-lang version-control
Last synced: 27 Oct 2024
https://github.com/samuelschlesinger/resources
Attempting to put some resources for myself in a place where they can stay and others can access them
Last synced: 15 Dec 2024
https://github.com/samuelschlesinger/functional-programming-resources
some resources that have helped me learn functional programming
Last synced: 15 Dec 2024
https://github.com/samuelschlesinger/blake3-lamport-signatures
An implementation of Lamport/Merkle signatures in Rust using the BLAKE3 hash function.
cli cryptography lamport-signature-scheme merkle-signature-scheme rust rust-lang signature
Last synced: 27 Oct 2024
https://github.com/samuelschlesinger/stg
An implementation of the spineless, tagless G-machine
Last synced: 15 Dec 2024
https://github.com/samuelschlesinger/cronus
Another bloated standard library.
Last synced: 15 Dec 2024
https://github.com/samuelschlesinger/lispish
This is a weird lil language I wrote a parser and evaluator for
Last synced: 15 Dec 2024
https://github.com/samuelschlesinger/dungeon-crawler
A basic dungeon crawling game
Last synced: 15 Dec 2024
https://github.com/samuelschlesinger/environment
A Haskell/Vim scripting environment
Last synced: 15 Dec 2024
https://github.com/samuelschlesinger/mtl-uplift
A way to lift entire substacks of monad transformer stacks, boilerplate free!
Last synced: 15 Dec 2024
https://github.com/samuelschlesinger/sudoku
A sudoku solver written with the Z3 SAT Solver
Last synced: 15 Dec 2024
https://github.com/samuelschlesinger/geopolitik-backend
A Haskell implementation of the backend of Geopolitik, a website I want to make
Last synced: 15 Dec 2024
https://github.com/samuelschlesinger/algebraichierarchy
An algebraic hierarchy of classes in Haskell
Last synced: 15 Dec 2024
https://github.com/samuelschlesinger/propositional-resolution
Some code I wrote to do some homework on propositional resolution
Last synced: 15 Dec 2024
https://github.com/samuelschlesinger/biomass-breakout
A game about evolution, cooperation, and predation
Last synced: 15 Dec 2024
https://github.com/samuelschlesinger/martingale-anomaly-detection
A small project to use martingale sequences to detect anomalies in data streams.
Last synced: 15 Dec 2024
https://github.com/samuelschlesinger/mtsl
An augmentation to mtl using explicit monad transformer stacks.
Last synced: 15 Dec 2024
https://github.com/samuelschlesinger/haskell-beginners
This is a repository for Haskell beginners to learn, with as much help as I can provide.
Last synced: 15 Dec 2024
https://github.com/samuelschlesinger/servant-restful
Basic RESTful resource APIs in servant.
Last synced: 15 Dec 2024
https://github.com/samuelschlesinger/sql-exercises
Some SQL exercises using the squeal deep embedding of postgresql into Haskell.
Last synced: 15 Dec 2024
https://github.com/samuelschlesinger/explorer
A basic web scraper in Haskell
Last synced: 15 Dec 2024
https://github.com/samuelschlesinger/haskell-server-template
A template for Haskell HTTP servers.
Last synced: 15 Dec 2024
https://github.com/samuelschlesinger/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.
Last synced: 15 Dec 2024
https://github.com/samuelschlesinger/components
Some Quickterm examples and components
Last synced: 15 Dec 2024
https://github.com/samuelschlesinger/datastructures
some data structures idk
Last synced: 15 Dec 2024
https://github.com/samuelschlesinger/memoization
Explorations with memoization in Haskell
Last synced: 15 Dec 2024
https://github.com/samuelschlesinger/user-system
A basic user system written in Haskell
Last synced: 15 Dec 2024
https://github.com/samuelschlesinger/website
A project to compile the knowledge I've gained into a website
Last synced: 15 Dec 2024
https://github.com/samuelschlesinger/commander
A military metaphor for a free stateful, backtracking monad
Last synced: 21 Dec 2024
https://github.com/samuelschlesinger/cmd
An extremely minimal template for adding features to a command line applet in Haskell.
Last synced: 15 Dec 2024
https://github.com/samuelschlesinger/stack-templates
My custom stack templates are here.
Last synced: 15 Dec 2024
https://github.com/samuelschlesinger/haskell-web-apps
My latest tastes in uniform code structure
Last synced: 15 Dec 2024
https://github.com/samuelschlesinger/alt-prelude
Alternate Prelude for the Haskell programming language
Last synced: 15 Dec 2024
https://github.com/samuelschlesinger/pederson-commitments
A Haskell implementation of the Pederson commitment scheme
Last synced: 15 Dec 2024
https://github.com/samuelschlesinger/enrichedlambdacalculus
An implementation of the enriched lambda calculus
Last synced: 15 Dec 2024
https://github.com/samuelschlesinger/do
Basic Decentralized Organization [DO] Template
Last synced: 15 Dec 2024
https://github.com/samuelschlesinger/boids-evolution
Made a boids like thing in Haskell, gonna improve on it and add a genetic algorithm and some other behaviors. Right now its pretty broken but it sure does something kinda boidy.
Last synced: 15 Dec 2024
https://github.com/samuelschlesinger/some-cryptocurrency
A basic implementation of a cryptocurrency
Last synced: 15 Dec 2024
https://github.com/samuelschlesinger/sierpinskitriangles
We made Sierpinski triangles!
Last synced: 15 Dec 2024
https://github.com/samuelschlesinger/rust-adventure-game
My attempt at writing a basic adventure game in rust using bevy
Last synced: 15 Dec 2024
https://github.com/samuelschlesinger/rust-udp-playtime
Just some playtime I've been having with UDP sockets in rust
Last synced: 15 Dec 2024
https://github.com/samuelschlesinger/web-framework
An extremely minimalistic backend web-framework for me to use in Haskell
Last synced: 15 Dec 2024
https://github.com/samuelschlesinger/samuelschlesinger-info
A new version of my personal website with the server written in Haskell
Last synced: 15 Dec 2024
https://github.com/samuelschlesinger/software-organization
A domain model for software organization
Last synced: 15 Dec 2024
https://github.com/samuelschlesinger/graph-iso-nizkp
NIZKPs of Graph Isomorphism.
Last synced: 15 Dec 2024
https://github.com/samuelschlesinger/example-haskell-kubernetes-service
Trying to learn kubernetes by using haskell to make some microservices
Last synced: 15 Dec 2024
https://github.com/samuelschlesinger/encrypted-message-cli
A small tool for generating RSA keypairs and using them to author and read messages.
Last synced: 15 Dec 2024
https://github.com/samuelschlesinger/atomic-linked-list
Atomic linked lists
Last synced: 15 Dec 2024
https://github.com/samuelschlesinger/exploration
An exploration in Haskell API design inspired by Hask (Ed Kmett) and Subhask (Mike Izbicki)
Last synced: 15 Dec 2024
https://github.com/samuelschlesinger/erc721-options
Covered Call and Put Options for ERC721 Tokens
Last synced: 15 Dec 2024
https://github.com/samuelschlesinger/monolang
An idea I had for a monomorphic language on the way to the bus.
Last synced: 15 Dec 2024
https://github.com/samuelschlesinger/erc20-multi-address-wallet
A deployable wallet accessible by any of multiple addresses.
Last synced: 15 Dec 2024
https://github.com/samuelschlesinger/wave
Little simulation I put together in Java
Last synced: 15 Dec 2024
https://github.com/samuelschlesinger/erlangfun
Learning Erlang and I figured I should post my programmatic musings on here.
Last synced: 15 Dec 2024
https://github.com/samuelschlesinger/lambda
Didn't like Java's Lambda interface, made my own
Last synced: 15 Dec 2024
https://github.com/samuelschlesinger/nixos-config
Some nixos configurations which are known to work on my hardware
Last synced: 15 Dec 2024
https://github.com/samuelschlesinger/haskellpapers
Ya know some Haskell papers and maybe my notes on them
Last synced: 15 Dec 2024
https://github.com/samuelschlesinger/encrypted-message-server
A simple server for encrypted messaging
Last synced: 15 Dec 2024
https://github.com/samuelschlesinger/video-lectures
A repository which links to video lecture series for various subjects. Pull requests welcome.
Last synced: 15 Dec 2024