Axiom is an ecosystem of formal logic tools for education. If you’ve used Carnap or Logic Penguin, you know the idea — but those platforms send proofs to a server for validation. Axiom runs entirely client-side. No network latency. No tracking. Works offline. The core is a TypeScript...
All Projects
Jan 2026
Jan 08 2026Axiom
Dec 2024
Dec 16 2024Core Values Wizard
This interactive wizard guides you through a structured introspective journey to discover your 5 most essential core values. Based on the classic values card sort exercise, it helps you explore 235+ values across 7 categories, then progressively refine your selections until you identify what matters...
Nov 2024
Nov 21 2024Mixtape Maker
Tired of hand-calculating how you should split up your playlist between the two sides of a cassette tape? This widget is designed to make it simple; set your tape length, drag your music files directly onto this page, and move your tracks between the two playlists. When you’re ready to record,...
Nov 14 2024Film Development Calculator
Film & Developer Film Stock: Custom Tri-X 400 HP5+ 400 FP4+ 125 T-Max 400 Delta 400 Pan F+ 50 APX 100 Fomapan 400 Developer: Custom Rodinal 1:25 Rodinal 1:50 Rodinal 1:100 (Stand) D-76 Stock D-76 1:1 HC-110 Dilution B XTOL Stock XTOL 1:1 DD-X 1:4 Setup Parameters Tank Volume (ml): Developer Ratio...
Aug 2024
Aug 07 2024Timewaste Tracker for Reddit & Youtube
It is incredibly easy to waste time. It is particularly sinister that certain corporations are dedicated to distracting me and wasting my time, when it is in fact a limited resource. I do not need to be spending on Reddit or Youtube, being sucked down random rabbit holes of wholy useless...
Nov 2023
Nov 20 2023French Republican Calendar Tools
😵 This page requires JavaScript in order to show you MathJax! If you know a better way to integrate MathJax into Hugo in a way that does not require Javascript, please let me know! I believe that in all facets of life, anything taken for granted should be examined. For me, this includes how I think...
Jul 2023
Jul 26 2023Webmentions for Deno
This is a straightforward webmention sending and endpoint discovery implementation. It has a single “external” dependency, which is Deno DOM. It uses this library to find the webmention endpoint within a page. It passes the test suite listed at webmention.rocks. You can check it out...
Mar 2023
Mar 30 2023Super Simple One Time Passwords for Deno
SSTOTP is as simple as it gets for a TOTP implementation. The libary can do the following: Generate TOTP Secrets Generate TOTP Tokens Validate TOTP Tokens Tokens are valid for 30 seconds, and a step tolerance of two is implemented to account for clock skew. It has a single standard library...
Aug 2022
Aug 18 2022Kaarten - A Paper Journal Supplement
Kaarten is a simple, portable digital system to keep track of your bibliography for your analog notes. Zettlekasten means “note box”, and is a method for organizing all your thoughts in an organized, retrievable way. If you find such solutions too heavy, try Kaarten - our “deck of...