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.

Rust-Ada-Zig TUI library: Zig FFI bridge between Rust core and Ada/SPARK TUI

Experimental programming language projects

Unified server capability catalogue with formally verified cartridges, distributed community hosting, and the Teranga menu system

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

RPA paradise - robotic process automation toolkit

Parent repository for database application portfolio — QuandleDB, VeriSimDB, Lithoglyph, Glyphbase

Developer ecosystem documentation and guidelines

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.

Cross-platform personal knowledge management - spatial notes, relationships, and agents

PanLL eNSAID - Environment for NeSy-Agentic Integrated Development

Organization-wide standards and specifications

Authorization Bypass Detection Testing Framework

ReScript Evangeliser — educational toolkit teaching JS/TS developers ReScript through progressive code transformation

Model Context Protocol (MCP) server framework for Elixir/BEAM

Internet Society document transactor — check, fix, and submit documents across IETF, IRTF, IAB, Independent Stream, IANA, and RFC Editor

Awareness-focused programming language for conscious computing

Terraform infrastructure for managing DNS + security across all hyperpolymath domains (24 sites)

Platform-agnostic Rust library for AI routing on mobile devices