Pinned Repositories
cofree-bot
A library for building bots compositionally.
poly
Experiments in Poly based on Nelson Niu and David Spivak's Polynomial Functors book.
kriti-lang
A minimal JSON templating language
greedypacker
2D Bin Packing Algorithms
HowardLang
An interpreted lambda calculus with Algebraic and Recursive Types.
kindly-functors
A category polymorphic `Functor` typeclass.
lambda-calculus-hs
Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques
monoidal-functors
A library encoding monoidal functors and related structures in Haskell.
nixos-config
Homelab managed wtih Nix Flakes
polytt
A type theory with native support for Polynomial Functors.
solomon-b's Repositories
solomon-b/lambda-calculus-hs
Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques
solomon-b/nixos-config
Homelab managed wtih Nix Flakes
solomon-b/monoidal-functors
A library encoding monoidal functors and related structures in Haskell.
solomon-b/kindly-functors
A category polymorphic `Functor` typeclass.
solomon-b/blog.cofree.coffee
My Blog
solomon-b/profunctor-optics
An implementation of profunctor optics :)
solomon-b/graded-monads
Graded Monads with a QualifiedDo interface
solomon-b/brightness-bar
solomon-b/category-theory
solomon-b/checkers
Check properties on standard classes and data structures
solomon-b/co-prompt
Co-Algebraic Prompt System
solomon-b/cofreemacs
My emacs config forked from @TOTBWF
solomon-b/cooltt
😎TT
solomon-b/digital-ocean-deploy
solomon-b/doesitcommute.com
Commutivity As A Service
solomon-b/freer-effects-demo
solomon-b/homepage
A highly customizable homepage (or startpage / application dashboard) with Docker and service API integrations.
solomon-b/kchungradio.org
KCHUNG Radio's website and api 📡 🛰 📻
solomon-b/kpbj.fm
solomon-b/lean-poly
solomon-b/libcurl-example
solomon-b/moore-agents
solomon-b/nand2tetris-hs
A re-implementation of the nand2tetris emulator
solomon-b/operation-big-pot.com
solomon-b/Profilarr
Import, Export & Sync Profiles & Custom Formats via Radarr / Sonarr API.
solomon-b/servant-swagger2-openapi
solomon-b/volume-bar
solomon-b/xmobar-solomon
My Xmobar Config
solomon-b/xmonad-solomon
My Xmonad Configuration
solomon-b/zero-to-hero