Haskell

My blog. Build with Hakyll, Tufte CSS, and some custom glue. https://sulami.gitlab.io

Generates a TypeScript client for Servant APIs

IPC and network stack unified by intuitive model

Vulkan game engine in Haskell.

https://keid.haskell-game.dev/

This project generates TypeScript type definitions that match Aeson instances.

a home for life's knowledge

Comprehensive type-safe automata library

SmartPy

Smart Contracts on Tezos

A comprehensive solution for developing, testing, and deploying smart contracts on the Tezos blockchain. All in familiar Python syntax.

A new major mode for Haskell.

Query the Stundentenwerk API from inside your terminal!

Family of families for featherweight defunctionalization

Primitives and generic deriving for OpenGL/Khronos Standard Uniform Block Layout

Ama-PC wami

My initial testing ground for haskell

Layout primitives and algorithms for geomancy data.

Personal blog about Haskell, functional programming and programming in general.

Solve 9 letter word puzzles