Haskell

Ama-PC wami

Comprehensive type-safe automata library

A waybar custom module app to show the number of GitHub notifications.

An LD47 submission: https://ldjam.com/events/ludum-dare/47/orboros

Monorepo for Harrisburg's Great Dog Program https://greatdogprog.org

https://haskell-game.dev

Query the Stundentenwerk API from inside your terminal!

My attempt at solving AOC 2024

My homepage-cum-blog v4

First-class instances in Haskell

This project generates TypeScript type definitions that match Aeson instances.

Generates a TypeScript client for Servant APIs

Implements and extends the theoretical stack machine described at https://ics-websites.science.uu.nl/docs/vakken/b3tc/SSM/instructions.html. The interpreter runs on a simple binary format. Binary executables are created by the assembler. Extensions are an interactive debugger with disassembler, and a simple linker for creating programs from a collection of source files.

Oats takes an API description in a subset of OpenAPI format and generates schemas, types and endpoint methods or functions. It relies on io-ts library for runtime validation, sparing front-end developers from tedious debugging caused for example by a bug on a back-end or a mismatching API version.

Working examples of features included in the IHP Guide https://ihp.digitallyinduced.com/Guide

https://icrbow.itch.io/swerve

Dev How To wiki/documentation.

xmobar older generation a.k.a. oldies goodies

This is a fork of xmobar using Xft for font rendering with independent bugfixes and backports of sensible additions from the upstream version.