Solomon's repositories
lambda-calculus-hs
Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques
nixos-config
Homelab managed wtih Nix Flakes
monoidal-functors
A library encoding monoidal functors and related structures in Haskell.
blog.cofree.coffee
My Blog
lambda-calculus-rs
Learning Rust via implementing the lambda cube
profunctor-optics
An implementation of profunctor optics :)
graded-monads
Graded Monads with a QualifiedDo interface
jwt-config-generator
A small script for generating signed JWT Tokens and JWTConfig Objects for Hasura.
cooltt
😎TT
doesitcommute.com
Commutivity As A Service
elaboration-zoo
Minimal implementations for dependent type checking and elaboration
homepage
A highly customizable homepage (or startpage / application dashboard) with Docker and service API integrations.
immich
Self-hosted photo and video backup solution directly from your mobile phone.
kchungradio.org
KCHUNG Radio's website and api 📡 🛰 📻
mtls-client
a demo of mutual TLS in Haskell
nand2tetris-hs
A re-implementation of the nand2tetris emulator
openai-hs
Unofficial OpenAI Haskell Bindings
polysemy-check
Quickcheck for Polysemy
stackage
Stable Haskell package sets: vetted consistent packages from Hackage
xmobar-solomon
My Xmobar Config
xmonad-solomon
My Xmonad Configuration