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/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/web-server
Common web service stub for various projects.
solomon-b/brightness-bar
solomon-b/category-theory
solomon-b/checkers
Check properties on standard classes and data structures
solomon-b/cloudwatcher
TUI for reviewing error logs from AWS Cloudwatch
solomon-b/co-prompt
Co-Algebraic Prompt System
solomon-b/cofreemacs
My emacs config forked from @TOTBWF
solomon-b/digital-ocean-deploy
solomon-b/dunai
Classic FRP, Arrowized FRP, Reactive Programming, and Stream Programming, all via Monadic Stream Functions
solomon-b/freer-effects-demo
solomon-b/gogol
A comprehensive Google Services SDK for Haskell.
solomon-b/homepage
A highly customizable homepage (or startpage / application dashboard) with Docker and service API integrations.
solomon-b/Immich-SD-Card-Upload-Service
NOTE: This project was an experiment in using chatgpt to 100% generate everything (including the readme which is kinda wonky)
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/operation-big-pot.com
solomon-b/pandoc-rss
Generate an RSS feed from markup content and metadata
solomon-b/Profilarr
Import, Export & Sync Profiles & Custom Formats via Radarr / Sonarr API.
solomon-b/volume-bar
solomon-b/xmobar-solomon
My Xmobar Config
solomon-b/xmonad-solomon
My Xmonad Configuration
solomon-b/zero-to-hero