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: 27 Oct 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/generic-match
An implementation of first-class pattern matches in Haskell.
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/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/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: 27 Oct 2024
https://github.com/samuelschlesinger/erc20-bond
A bond implemented generically for any ERC20 compliant Ethereum contract.
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: 27 Oct 2024
https://github.com/samuelschlesinger/academic
A whole bunch of my more academic work
Last synced: 27 Oct 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/gross
Easy terminal interfaces, emulating gloss
Last synced: 27 Oct 2024
https://github.com/samuelschlesinger/environment
A Haskell/Vim scripting environment
Last synced: 27 Oct 2024
https://github.com/samuelschlesinger/functional-programming-resources
some resources that have helped me learn functional programming
Last synced: 27 Oct 2024
https://github.com/samuelschlesinger/stg
An implementation of the spineless, tagless G-machine
Last synced: 27 Oct 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/dungeon-crawler
A basic dungeon crawling game
Last synced: 27 Oct 2024
https://github.com/samuelschlesinger/lispish
This is a weird lil language I wrote a parser and evaluator for
Last synced: 27 Oct 2024
https://github.com/samuelschlesinger/ticket-management
A simple system for an individual managing tickets of work.
Last synced: 27 Oct 2024
https://github.com/samuelschlesinger/sudoku
A sudoku solver written with the Z3 SAT Solver
Last synced: 27 Oct 2024
https://github.com/samuelschlesinger/user-system
A basic user system written in Haskell
Last synced: 27 Oct 2024
https://github.com/samuelschlesinger/website
A project to compile the knowledge I've gained into a website
Last synced: 27 Oct 2024
https://github.com/samuelschlesinger/components
Some Quickterm examples and components
Last synced: 27 Oct 2024
https://github.com/samuelschlesinger/cronus
Another bloated standard library.
Last synced: 27 Oct 2024
https://github.com/samuelschlesinger/servant-restful
Basic RESTful resource APIs in servant.
Last synced: 27 Oct 2024
https://github.com/samuelschlesinger/datastructures
some data structures idk
Last synced: 27 Oct 2024
https://github.com/samuelschlesinger/algebraichierarchy
An algebraic hierarchy of classes in Haskell
Last synced: 27 Oct 2024
https://github.com/samuelschlesinger/propositional-resolution
Some code I wrote to do some homework on propositional resolution
Last synced: 27 Oct 2024
https://github.com/samuelschlesinger/memoization
Explorations with memoization in Haskell
Last synced: 27 Oct 2024
https://github.com/samuelschlesinger/mtl-uplift
A way to lift entire substacks of monad transformer stacks, boilerplate free!
Last synced: 27 Oct 2024
https://github.com/samuelschlesinger/martingale-anomaly-detection
A small project to use martingale sequences to detect anomalies in data streams.
Last synced: 27 Oct 2024
https://github.com/samuelschlesinger/biomass-breakout
A game about evolution, cooperation, and predation
Last synced: 27 Oct 2024
https://github.com/samuelschlesinger/mtsl
An augmentation to mtl using explicit monad transformer stacks.
Last synced: 27 Oct 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: 27 Oct 2024
https://github.com/samuelschlesinger/haskell-server-template
A template for Haskell HTTP servers.
Last synced: 27 Oct 2024
https://github.com/samuelschlesinger/geopolitik-backend
A Haskell implementation of the backend of Geopolitik, a website I want to make
Last synced: 27 Oct 2024
https://github.com/samuelschlesinger/explorer
A basic web scraper in Haskell
Last synced: 27 Oct 2024
https://github.com/samuelschlesinger/sierpinskitriangles
We made Sierpinski triangles!
Last synced: 27 Oct 2024
https://github.com/samuelschlesinger/cek
An exploration of CEK machines based off of this live coding session: https://www.youtube.com/watch?v=PwD7D7XUzec
Last synced: 27 Oct 2024
https://github.com/samuelschlesinger/porpoise
A simple web framework built on top of wai
Last synced: 27 Oct 2024
https://github.com/samuelschlesinger/personalwebsite
My current personal website
Last synced: 27 Oct 2024
https://github.com/samuelschlesinger/old-mtsl
An old implementation of the mtsl library
Last synced: 27 Oct 2024
https://github.com/samuelschlesinger/commander
A military metaphor for a free stateful, backtracking monad
Last synced: 27 Oct 2024
https://github.com/samuelschlesinger/statisticalinference
A few Machine Learning algorithms implemented in Java using the JBlas linear algebra package.
Last synced: 27 Oct 2024
https://github.com/samuelschlesinger/functionfinder
Given a type signature and a knowledge base of already made functions, find a function which has it via composition.
Last synced: 27 Oct 2024
https://github.com/samuelschlesinger/learning
Implementing some machine learning algorithms using Haskell
Last synced: 27 Oct 2024
https://github.com/samuelschlesinger/wave
Little simulation I put together in Java
Last synced: 27 Oct 2024
https://github.com/samuelschlesinger/abstractsyntax
Parses prefix expressions into abstract syntax trees and evaluates them and solves for simple algebra
Last synced: 27 Oct 2024
https://github.com/samuelschlesinger/nixos-config
Some nixos configurations which are known to work on my hardware
Last synced: 27 Oct 2024
https://github.com/samuelschlesinger/discrete-log-nizkp
A NIZKP of discrete logarithm solution.
Last synced: 27 Oct 2024
https://github.com/samuelschlesinger/numerology
Your scientists were so preoccupied with whether or not they could, they didn’t stop to think if they should.
Last synced: 27 Oct 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: 27 Oct 2024
https://github.com/samuelschlesinger/monolang
An idea I had for a monomorphic language on the way to the bus.
Last synced: 27 Oct 2024
https://github.com/samuelschlesinger/cropty
A command line tool and Haskell library exposing useful cryptographic functions.
Last synced: 27 Oct 2024
https://github.com/samuelschlesinger/atomic-linked-list
Atomic linked lists
Last synced: 27 Oct 2024
https://github.com/samuelschlesinger/crawler
Web crawler which does a breadth first search of the internet from a web page for a search query
Last synced: 27 Oct 2024
https://github.com/samuelschlesinger/layered-circuits
Efficient implementation of layered circuits to conduct quantitative experiments.
Last synced: 27 Oct 2024
https://github.com/samuelschlesinger/my-website
My current personal website
Last synced: 27 Oct 2024
https://github.com/samuelschlesinger/math-questions
Questions I have for those who would like to answer!
Last synced: 27 Oct 2024
https://github.com/samuelschlesinger/haskell-web-apps
My latest tastes in uniform code structure
Last synced: 27 Oct 2024
https://github.com/samuelschlesinger/monadic-graphics
A simple package for me to use OpenGL a bit more neatly in Haskell
Last synced: 27 Oct 2024
https://github.com/samuelschlesinger/alt-prelude
Alternate Prelude for the Haskell programming language
Last synced: 27 Oct 2024
https://github.com/samuelschlesinger/intellectual-capital
A centralized economic system meant to spur creation of intellectual capital.
Last synced: 27 Oct 2024
https://github.com/samuelschlesinger/haskellpapers
Ya know some Haskell papers and maybe my notes on them
Last synced: 27 Oct 2024
https://github.com/samuelschlesinger/erlangfun
Learning Erlang and I figured I should post my programmatic musings on here.
Last synced: 27 Oct 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: 27 Oct 2024
https://github.com/samuelschlesinger/dictionary-client
A Haskell client for the Free Dictionary API
Last synced: 27 Oct 2024
https://github.com/samuelschlesinger/food-paralysis-antidote
A simple antidote for food paralysis
Last synced: 27 Oct 2024
https://github.com/samuelschlesinger/graph-iso-nizkp
NIZKPs of Graph Isomorphism.
Last synced: 27 Oct 2024
https://github.com/samuelschlesinger/samuelschlesinger
Wow, didn't know I could add a README to my GitHub profile!
Last synced: 27 Oct 2024
https://github.com/samuelschlesinger/erc20-multi-address-wallet
A deployable wallet accessible by any of multiple addresses.
Last synced: 27 Oct 2024