solomon-b
Follow
Stars
A haskell library implementing fast and scalable concurrent queues for x86, with a Chan-like API
Lawful typeclasses for conversion between types
A Tigerbeetle database client library for Haskell
Catalog of Gridfinity Designs and Other Resources
A project to map out the relations between different equational theories of Magmas.
Distributed code review system for Git repos
There are many category theory implementations, but this one is mine
Mission Pinball Framework: Open source software to run a real pinball machine.
Python module to drive LED Matrices & 7-segment displays (MAX7219) and RGB NeoPixels (WS2812 / APA102)
Write of how I monitor my water usage with ESPHome and Home Assistant
Madness enables you to easily run the same binary on NixOS and non-NixOS systems
Production ready, modern web-application starter template using haskell and htmx
TUI for reviewing error logs from AWS Cloudwatch
This project has been renamed from Dorkly to Brightly and has been moved: https://github.com/brightlyorg/brightly/wiki
Haskell interactive serverside web framework inspired by HTMX, Elm, and Phoenix LiveView
📓 Flexible and configurable modern #Haskell logging framework
Lean 4 programming language and theorem prover
An introduction to theorem proving in Lean for the impatient.
Design files for a Home Assistant-compatible air quality sensor/monitor
Haskell library for doing category theory with a central role for profunctors
Code Examples and Notes for my talk on Functional References (Lenses and such) at the Santa Monica Haskell Meetup
Polynomial functors (a.k.a. containers) in Haskell
Matrix.org haskell client library