Nix flake / derivation for building my blog.
Zaktualizowano 2026-01-05 00:55:15 +00:00
A Hugo incarnation of the blog.
Zaktualizowano 2026-01-05 00:34:05 +00:00
Zaktualizowano 2026-01-04 02:54:57 +00:00
Hugo theme for my blog.
Zaktualizowano 2026-01-04 02:08:45 +00:00
An Elm-based Matrix client.
Zaktualizowano 2025-12-27 19:03:34 +00:00
A Telegram bot to send Joann Jarvis pictures from reddit every hour.
Zaktualizowano 2025-12-27 09:06:42 +00:00
A nix flake to build and host some CSS and JavaScript files I need for my site.
Zaktualizowano 2025-12-26 22:32:21 +00:00
An Elm re-implementation of bergamot.
Zaktualizowano 2025-12-26 22:30:28 +00:00
A fairly thin wrapper around the Telegram API, written for Crystal.
Zaktualizowano 2025-12-26 02:43:35 +00:00
Slides from my two conference day presentations at ChapelCon '25
Zaktualizowano 2025-10-10 20:13:20 +00:00
Regression tests for pages on the blog
Zaktualizowano 2025-04-13 00:42:15 +00:00
An Agda formalization of some of what we talked about during the Formal interview.
Zaktualizowano 2024-09-25 01:46:42 +00:00
A Ruby script to convert LaTeX in pages into HTML.
Zaktualizowano 2023-12-16 18:22:53 +00:00
A tiny little logic programming language
Zaktualizowano 2023-10-16 00:54:42 +00:00
PureScript implementation of the success-failure-continuation-based backtracking monad transformer.
Zaktualizowano 2023-03-13 05:17:22 +00:00
A unification monad implemented using PureScript.
Zaktualizowano 2023-03-13 04:05:17 +00:00