RPA paradise - robotic process automation toolkit

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.

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

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

Digital privacy through controlled identity proliferation

Programming language combining affine types, dependent types, and extensible effects - compiling to WebAssembly

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

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.

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

Configuration language with gradual types

Zotero plugin for contradiction detection and mood scoring

Cross-platform document editor with format tabs

Dependently-typed Glyph Query Language

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

Decentralizing textile manufacturing through hyperlocal maker networks

Auditing tool for immutable and declarative Linux systems

Super-parallel corpus crawler for multilingual NLP and Computational Linguistics research