An upgrade to Pokémon Crystal. Brings features and content up to date, and adds some original content.

Mission: To provide a high-quality open content data structures textbook that is both mathematically rigorous and provides complete implementations.

Sample code for the video course: Modern Python: Big Ideas, Little Code

terranix is a terraform.json generator with a nix-like feeling

The little ASGI framework that shines. 🌟

Garmin Connect Python Uploader

ctags generation for haskell projects with nix dependency management

higher-kinded data

Hypermodern Python Cookiecutter

Proving leftpad correct two-dozen different ways

Formal Reasoning About Programs

Fast parsing from bytestrings

Haskell bindings to Dear ImGui, an immediate mode GUI toolkit

Oleg Kiselyov's zipper-based file-server/OS

Juice inlines CSS stylesheets into your HTML source.

Generate GitBook style modern docs/tutorial websites using Gatsby + MDX

Start your own digital garden using this Jekyll template 🌱

An Emacs major-mode for chess PGN files, powered by Python

Lets you control IKEA IDÅSEN desks from the command line.

small programming language. pls be gentle.

In goes JSON, out comes a complete Haskell model complete with instances! CLI and web interface available.

A collaborative bibliography of work related to the theory and practice of computational effects

A monorepo template, using Nix, direnv and Bazel

Recipes for using Python's pandas library

Template Haskell Workshop

Shackled within an elaborate prison of my own design.

A mobile web app to help families do grocery and meal planning.

🦀 A peer-reviewed collection of articles/talks/repos which teach concise, idiomatic Rust.

👷‍♀️ Nix helpers for building static Haskell executables