alexpeits

polishedcrystal

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

ods

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

modernpython

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

terranix

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

confluent-kafka-python

Confluent's Kafka Python Client

starlette

The little ASGI framework that shines. 🌟

garmin-uploader

Garmin Connect Python Uploader

thax

ctags generation for haskell projects with nix dependency management

hkd

higher-kinded data

cookiecutter-hypermodern-python

Hypermodern Python Cookiecutter

lets-prove-leftpad

Proving leftpad correct in a dozen different ways

frap

Formal Reasoning About Programs

flatparse

Fast parsing from bytestrings

dear-imgui.hs

Haskell bindings to Dear ImGui, an immediate mode GUI toolkit

ZipperFS

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

juice

Juice inlines CSS stylesheets into your HTML source.

gatsby-gitbook-starter

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

digital-garden-jekyll-template

Start your own digital garden using this Jekyll template 🌱

pygn-mode

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

idasen-control

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

horses

small programming language. pls be gentle.

json-to-haskell

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

effects-bibliography

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

minirepo

A monorepo template, using Nix, direnv and Bazel

pandas-cookbook

Recipes for using Python's pandas library

th-tutorial

Template Haskell Workshop

dotnix

Shackled within an elaborate prison of my own design.

groce

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

political-notes

idiomatic-rust

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