Normalize VAE-decoded image datasets for training AI artifact detection models with formal verification guarantees and RSR (Rhodium Standard Repository) compliance.
Neurosymbolic theorem proving platform with 48 prover backends. Mathematical identity system, backed by VersisimDB.
RPA paradise - robotic process automation toolkit
Parent repository for database application portfolio — QuandleDB, VeriSimDB, Lithoglyph, Glyphbase
Experimental programming language projects
Unified server capability catalogue with formally verified cartridges, distributed community hosting, and the Teranga menu system
Cross-platform personal knowledge management - spatial notes, relationships, and agents
High-assurance local print router/server — Dioxus 0.7 mobile app with IPP/1.1 server, mDNS printer discovery, document scanning with OCR, encrypted storage, and Idris2 ABI formal verification
Project Wharf approaches Content Management System (CMS) security that separates administration from runtime. Instead of plugins with full system access running on your live site, Wharf uses an offline controller (the Wharf) and read-only runtime (the Yacht) connected via a Zero Trust mesh network.
Developer ecosystem documentation and guidelines
Organization-wide standards and specifications
PanLL eNSAID - Environment for NeSy-Agentic Integrated Development
ReScript Evangeliser — educational toolkit teaching JS/TS developers ReScript through progressive code transformation
Neurosymbolic filesystem verification with Idris2 dependent types
Cross-platform document editor with format tabs
Robot dog enterprise content management
Epistemic infrastructure framework for journalism (Wayfinder)
Neurosymbolic statistical analysis assistant — Julia computes, LLMs route, nothing is fabricated
Add a description, image, and links to the hyperpolymath topic page so that developers can more easily learn about it.
To associate your repository with the hyperpolymath topic, visit your repo's landing page and select "manage topics."