Ray tracer implementation in Haskell based on the book "The Ray Tracer Challenge" by James Buck

Type inference algorithms for functional programming languages

Lets you store canister data directly in stable memory

reverse dependency build matrix generator

Reimplementation of a subset of Cabal

The Haskell tracer - generating and viewing Haskell execution traces

Convert your ascii diagram scribbles into happy little SVG

Handy macro to generate C-FFI bindings to Rust for Haskell

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

Neovim plugin for khalorg

📆 CLI calendar application

Optics via the profunctor representation theorem

Fast parallel calculations in pure mathematics, e.g. Gröbner Bases

Small implementation of OutsideIn(X) type checking algorithm

Fast parsing from bytestrings

Zero Dependency Club

A categorical programming language with effects

Interactively browse dependency graphs of Nix derivations.

🌱 a fast, batteries-included static-site generator that transforms Markdown content into fully functional websites

</> htmx - high power tools for HTML

Visualize live Haskell data structures in GHCi

Create beautiful images of code.

Print-friendly, minimalist CV page

Font convertor, TTF to WOFF, for node.js

A terminal UI for inspecting steps taken by a rewriting process. Useful for the optimization phase of a compiler, or even evaluators of small languages.

Python script to draw all the box drawing characters and block elements based on parameters.

a programming typeface

A virtual memory scanner

A Vim plugin which shows git diff markers in the sign column and stages/previews/undoes hunks and partial hunks.

Manual for building a Lightning Network node on RasPi hardware from scratch