Solomon

greedypacker. 2D Bin Packing Algorithms

lambda-calculus-hs. A bestiary of lambda calculus

nixos-config. Homelab managed wtih Nix Flakes

HowardLang. An interpreted lambda calculus with Algebraic and Recursive Types.

monoidal-functors. A library encoding monoidal functors and related structures in Haskell.

kindly-functors. A category polymorphic `Functor` typeclass.

kpbj.fm. kpbj.fm website

hmud. A mud server written in haskell

hcatlab. An exploration of the category Hask

titan. A Gemini Protocol Server

metric-trees. Haskell

blog.cofree.coffee. My Blog

lambda-calculus-rs. Learning Rust via implementing the lambda cube

SimpleLisp. A small Lisp implementation based on John McCarthy's 1960 paper "Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I"

profunctor-optics. An implementation of profunctor optics :)

fudgets. A copy of Fudgets so that I can more easily include it as a dependency in a cabal.project file

graded-monads. Graded Monads with a QualifiedDo interface

jwt-config-generator. A small script for generating signed JWT Tokens and JWTConfig Objects for Hasura.

yampy-cube-clone. A reimplementation of Konstantin Zudov's Yampy Cube

Dont-Worry-Be-Happy. Example projects for Happy and Alex

Cellular. Cellular Automata experiments in Idris

graphql-parser. A Happy little GraphQL Parser

text-editor-prototype. PureScript

web-server. Common web service stub for various projects.

IdrisBookExercises. Exercises for Type Driven Development With Idris