The Spectra Automated Planner for DCEC built on ShadowProver
Updated 2024-06-01 05:24:35 +00:00
Photos within tracks section of https://brandonrozek.com
Updated 2024-07-28 22:15:19 +00:00
Modified Version of the Pulp Theme (https://github.com/koirand/pulp)
Updated 2024-11-26 02:37:41 +00:00
Github Repo of Personal Website
Updated 2024-11-27 02:03:48 +00:00
Mastodon Toots synced to my website
Updated 2024-11-27 23:26:50 +00:00
Matrix Model Generator for Implicative Connectives
Updated 2025-05-10 03:03:11 +00:00