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/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/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/haskell-performance
This is a grab-bag of haskell data structure and algorithm benchmarks.
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/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/erc20-bond
A bond implemented generically for any ERC20 compliant Ethereum contract.
Last synced: 27 Oct 2024
https://github.com/samuelschlesinger/gross
Easy terminal interfaces, emulating gloss
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/lispish
This is a weird lil language I wrote a parser and evaluator for
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/ticket-management
A simple system for an individual managing tickets of work.
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/stg
An implementation of the spineless, tagless G-machine
Last synced: 27 Oct 2024
https://github.com/samuelschlesinger/environment
A Haskell/Vim scripting environment
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/cronus
Another bloated standard library.
Last synced: 27 Oct 2024
https://github.com/samuelschlesinger/components
Some Quickterm examples and components
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/mtsl
An augmentation to mtl using explicit monad transformer stacks.
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/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/memoization
Explorations with memoization in Haskell
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/propositional-resolution
Some code I wrote to do some homework on propositional resolution
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/mtl-uplift
A way to lift entire substacks of monad transformer stacks, boilerplate free!
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/explorer
A basic web scraper in Haskell
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/nixos-config
Some nixos configurations which are known to work on my hardware
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/sierpinskitriangles
We made Sierpinski triangles!
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/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/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/samuelschlesinger
Wow, didn't know I could add a README to my GitHub profile!
Last synced: 27 Oct 2024
https://github.com/samuelschlesinger/hakaru
Found this and made it run on lts-7.5
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/discrete-log-nizkp
A NIZKP of discrete logarithm solution.
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/food-paralysis-antidote
A simple antidote for food paralysis
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/sparse-linear
haskell sparse linear algebra library
Last synced: 27 Oct 2024
https://github.com/samuelschlesinger/myscheme
Scheme language implemented in C
Last synced: 27 Oct 2024
https://github.com/samuelschlesinger/lambda
Didn't like Java's Lambda interface, made my own
Last synced: 27 Oct 2024
https://github.com/samuelschlesinger/c_bst
Vaguely broken but this was a fun thing to play with
Last synced: 27 Oct 2024
https://github.com/samuelschlesinger/ml-play
A place where I will publish my routine playtime with machine learning
Last synced: 27 Oct 2024
https://github.com/samuelschlesinger/web-framework
An extremely minimalistic backend web-framework for me to use in Haskell
Last synced: 27 Oct 2024
https://github.com/samuelschlesinger/thread-barrier
A library providing barriers for N threads in Haskell
Last synced: 27 Oct 2024
https://github.com/samuelschlesinger/tcp-servers
Experiments with raw TCP servers in Haskell
Last synced: 27 Oct 2024
https://github.com/samuelschlesinger/smart-proposal
A smart contract describing a proposal parameterized over some action which takes place if the other party agrees
Last synced: 27 Oct 2024
https://github.com/samuelschlesinger/single-window-app
A basic framework for cross-platform single window applications
Last synced: 27 Oct 2024
https://github.com/samuelschlesinger/stack-templates
My custom stack templates are here.
Last synced: 27 Oct 2024
https://github.com/samuelschlesinger/rust-adventure-game
My attempt at writing a basic adventure game in rust using bevy
Last synced: 27 Oct 2024
https://github.com/samuelschlesinger/sql-exercises
Some SQL exercises using the squeal deep embedding of postgresql into Haskell.
Last synced: 27 Oct 2024
https://github.com/samuelschlesinger/pederson-commitments
A Haskell implementation of the Pederson commitment scheme
Last synced: 27 Oct 2024