RPA paradise - robotic process automation toolkit

Digital privacy through controlled identity proliferation

Pure functional static site generator in Haskell with type-safe templates

Normalize VAE-decoded image datasets for training AI artifact detection models with formal verification guarantees and RSR (Rhodium Standard Repository) compliance.

A Rust implementation of Liquid State Machines (spiking neural network reservoirs) for temporal pattern recognition.

Zotero plugin for contradiction detection and mood scoring

A puzzle game where solutions are cryptographically verified - prove your work, literally.

A comprehensive, production-grade robot vacuum cleaner simulation system with dual Julia and Rust implementations, GraphQL API, SLAM algorithms, and enterprise CI/CD infrastructure.

An application prototype developed during the 2019 Hands:On Digital Training at Cambridge University Library.

Configuration language with gradual types

Volume modulation and audio control

GitHub repo scaffold for a “script-writing bot” that can (a) mimic archaic styles and (b) transliterate into historical/occult alphabets (e.g., Theban / “Alphabet of Honorius,” “Celestial” alphabet) while also supporting genuine ancient languages (Latin, Koine/Attic Greek, Coptic) when possible.

Local-first state graph for multi-agent orchestration

Consent-first audit-grade bastion with oDNS and GraphQL DNS

Neurosymbolic theorem proving platform with 12 prover backends

Julia toolkit for Hackenbush positions and combinatorial game theory from Bartlett's guide

Web-Native Interactive Theorem Proving - ReScript + Deno interface for Coq proof assistant

Cross-platform document editor with format tabs

Dependently-typed Glyph Query Language

Phantom Metal Taste is an advanced multi-model database architecture designed to capture, analyze, and visualize the complex relationship between corporate initiatives and their outcomes.