an arrowized category-forward language

Interactive tool for streamers interested in elevating user interactions to their desktop

Haskell implementation of Project Fluent

An open source personal productivity platform built on Markdown, turbo charged with the scripting power of Lua

Fast deserialization DSL for Haskell

A toy nanopass compiler for x86 written in lean

Efficient search weighted by an ordered monoid with monus.

From babyGPT to diffusion GPT: An annotated implementation of a character-level discrete diffusion model (adapted from Karpathy’s baby GPT).

A programming language for double-entry accounting, inspired by Beancount.

PostgreSQL connection string structured model, parser and builder

Simple tracing by way of contravariant functors

Activity and time tracking, based on event sourcing and crem

A experimental NES emulator written in Haskell

DerivingVia for OpenAPI 3

Stremio - Freedom to Stream

Monoidal interface for GHC plugins

Session library for OpenResty – flexible and secure

A mock OpenID Provider server to test and develop OpenID Connect authentication

A docker-compose clone for Apple Container

Open Source Identity and Access Management For Modern Applications and Services

OpenID Connect Relying Party and OAuth 2.0 Resource Server implementation in Lua for NGINX / OpenResty

Extract code blocks as top level functions

openpilot is an operating system for robotics. Currently, it upgrades the driver assistance system on 300+ supported cars.

A GitHub action that creates git tags on .cabal version bumps

A Qbittorent Mock with Debrid Support

Hackager tool for releasing Haskell packages to Hackage

Postgres change events (CDC) in Elixir