Check the commutativity, associativity, idempotency, and other algebraic properties of your functions and relations

Easy flamegraphs for Rust projects and everything else, without Perl or pipes <3

Attribute macro to require that the compiler prove a function can't ever panic

Proceedings of the annual intercalary robot dance party in celebration of workshop on symposium about 2^6th birthdays; in particular, that of Harry Q. Bovik

A commit message generator that I use.

Neovim support for the Lean theorem prover

yet another rss reader

nocargo example

Local-first collaborative spreadsheet editing: Harnessing CRDTs for seamless offline formula merges.

A command-line benchmarking tool

Python script to generate a high resolution heatmap from Strava GPX files

Generate personal heatmap from GPX/TCX/FIT/IGC data

The New York Review of Computation

A small showcase of the features of the D programming language.

Stream your reMarkable screen over SSH.

A modern proof language

A podcast manager for Android

Bitmap & tilemap generation from a single example with the help of ideas from quantum mechanics

A simple program that emulates the detach feature of screen

Invidious is an alternative front-end to YouTube

I hold the opinion that state machines are underrated

List of ngrok/Cloudflare Tunnel alternatives and other tunneling software and services. Focus on self-hosting.

The find/replace box in Notepad++ is Turing Complete

Perl code that is syntactically correct only on Fridays

The single instruction C compiler

papers of Per Martin Löf

an incremental approach to compiler construction

surround.vim: Delete/change/add parentheses/quotes/XML-tags/much more with ease

A recursive descent parser

A sum type for the D programming language