The Spectra Automated Planner for DCEC built on ShadowProver
Updated 2024-06-01 05:24:35 +00:00
John Slaney's MaGIC (Matrix Generator for Implication Connectives), a tool for logic research.
Updated 2017-10-20 14:41:42 +00:00
Pubnix word guessing game
Updated 2024-01-08 02:24:51 +00:00
Photos within tracks section of https://brandonrozek.com
Updated 2024-07-28 22:15:19 +00:00
Mastodon Toots synced to my website
Updated 2024-11-27 23:26:50 +00:00
Modified Version of the Pulp Theme (https://github.com/koirand/pulp)
Updated 2024-11-26 02:37:41 +00:00
Observations from iNaturalist translated into Hugo
Updated 2024-04-22 03:34:08 +00:00
Github Repo of Personal Website
Updated 2024-11-27 02:03:48 +00:00
Matrix Model Generator for Implicative Connectives
Updated 2025-05-10 03:03:11 +00:00
Replicate an image with Trebuchets
Updated 2023-11-10 04:51:44 +00:00
Tail Call Optimization Decorator for Python
Updated 2023-11-10 04:51:36 +00:00
Sketchpad using HTML5 Canvas
Updated 2023-11-10 04:50:36 +00:00
Public archive of sentenceworthy.com
Updated 2023-11-10 04:47:49 +00:00
Reinforcement Learning Framework for PyTorch
Updated 2023-11-10 04:52:06 +00:00
An example of how to use Packer and Terraform to deploy minetest onto DigitalOcean using its Docker Compose configuration.
Updated 2023-11-10 04:51:55 +00:00
Math I/O Graph Game
Updated 2023-11-10 04:50:10 +00:00
Library for performing bootstrap hypothesis testing
Updated 2023-11-10 04:52:22 +00:00
Create a video camera with a different background
Updated 2023-11-10 04:49:20 +00:00
Functional programming in bash
Updated 2023-11-10 04:51:23 +00:00
Term Algebra for Equational Reasoning
Updated 2023-11-10 04:49:48 +00:00