Haskell

SmartPy

Smart Contracts on Tezos

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

Solve 9 letter word puzzles

Command line utility to create photo mosaics from a collection of images

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

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

IPC and network stack unified by intuitive model

Ama-PC wami

A implementation of Richard Birds simple Sudoku solver

A new major mode for Haskell.

An EDSL that compiles to SPIR-V for graphics programming on the GPU in Haskell.

Generates a TypeScript client for Servant APIs

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

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