Julius Hamilton's Projects
This repository contains the NCategory Cafe Archiver, a tool designed to periodically crawl and archive the NCategory Cafe website.
A simple, modest but useful tool to clean up files in Desktop, Documents, and Downloads directories on macOS.
Categorical Query Language IDE
personal homepage
A sample project about doing some personal legal research, beginning with OCRing some scanned PDFs using an LLM API.
A modern, customizable mindmapping tool for efficient brainstorming and organization
A proof assistant for higher-dimensional type theory
clone of ncategory cafe website in flask
Connect your web browser with your notes in Obsidian.
Q&A-based community knowledge-sharing software
A modern commutative diagram editor for the web.
A tool to streamline resetting a computer by organizing essential data and configurations
A versatile app for converting and editing PDF documents