REST API for any Postgres database

A statically typed lisp, without a GC, for real-time applications.

📜 Haskell course info, plan, video lectures, slides

Miscellaneous articles. The readme is the table of contents.

a small .pdf management tool with a command-line UI

Write You a Scheme

Haskell interactive serverside web framework inspired by HTMX, Elm, and Phoenix LiveView

A toy programming language with time travel

💻 Exercises for the Haskell Beginners 2022 course

🌈 Haskell CLI Framework supporting Command Line Interface Guidelines

LLM-powered typed-holes

Haskell library for doing category theory with a central role for profunctors

repo for fashion business/ideas/etc.

Slava Akhmechet's Lisp from 2006

for the lolz compiler to perform arbitrary computation in TS type system

a lisp interpreter in haskell

Yagi is a toy language for understanding dependent type theory!