An ultra-simplified explanation to design patterns

Source code for Data Oriented Programming in Java

A curated list of TLA+ resources.

First part of a collection of Soft Dorothy Software scraps and game experiments from the late 80's and early 90's.

Denotational Design: from programs to meanings

Zwickys Morphological Analysis implemented in Python

Blocks specific sites from appearing in Google search results

Idris for Visual Studio Code

Play/learn/work with me

agda-mode for neovim

An example Haskell web application

A DynamoDB item relation handler for Java

A fault tolerant, protocol-agnostic RPC system

Collection of Idris tests and demonstration programs

Purescript intellij plugin

For when you'd rather not

Easy CLI tool for making zero downtime schema changes and backfills in PostgreSQL

This project is intended to protest against the police in Japan

An optional type system for Clojure

Animation engine for explanatory math videos

A good looking terminal emulator which mimics the old cathode display...

A library for building modern declarative desktop applications in WX.

This guide is an opinionated set of tips and best practices for working with the AWS Cloud Development Kit

⚛️ Fast 3kB React alternative with the same modern API. Components & Virtual DOM.

Transcripts of Clojure-related talks

Computer science and computer-adjacent papers (and sometimes books) that have influenced me deeply.

Testing framework for Purescript

Bindings and implementation for mutable JavaScript ArrayBuffers.