Lists (12)
[CORE] AERIE & PROVEN ARCHITECTURES
Actually, it's all my projects (on GitHub at least), which makes me look terrible...[DATA] DATASETS & SEMANTIC STORAGE
This is where I am putting actual data rather than databases themselves. Could be anything needing processing, or using for testing, training, or actual use[DX] DEVELOPER ECOSYSTEM & TOOLING
[EDGE] INDUSTRIAL & RESILIENT NETWORKS
Living on the Edge[GAME] GAMES & INTERACTIVE
Games, interactive experiences, and playable projects[GOV] SOVEREIGN REGISTRY & POLICY
This includes the Palimpsest License machine readable entities for LLMs etc and standards documents including RSR[INFRA] CONTAINERS, NETWORKING & DEPLOYMENT
Container orchestration, DNS, networking overlays, deployment configs, and system tools[KNOW] ACADEMIC & RESEARCH WORKFLOWS
More about developments that are focussed on educational problem solving and enhancement, rather than things that I am teaching on[LANG] NEUROSYMBOLIC & META-LANGUAGES
Metaprogramming and programming things[SEC] CLOUDGUARD & HARDENED INFRA
Well, this is going to be a whole load of things, including things related to hardening, viruses, cryptography and so on[UX] ACCESSIBILITY & INCLUSIVE INTERFACES
[WEB] PLATFORMS & CONTENT SYSTEMS
Mainly Wordpress plugins and stuff like thatStars
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 off…
Parent repository for database application portfolio — QuandleDB, VeriSimDB, Lithoglyph, Glyphbase
RPA paradise - robotic process automation toolkit
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
Cross-platform personal knowledge management - spatial notes, relationships, and agents
Neurosymbolic theorem proving platform with 12 prover backends
Mutually Assured Accountability Framework - hub for MAA, Oblíbený, and Aletheia
Cross-platform document editor with format tabs
Provably reversible file operations through maximal principle reduction - data loss architecturally impossible
Gallery of LLM patterns and implementations
SLM-as-Cerebellum for LLM Policy Enforcement - biologically-inspired GO/NO-GO gating
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
Platform-agnostic Rust library for AI routing on mobile devices
One server. All editors. Universal document conversion.
NeuroPhone is a complete Android application for neurosymbolic AI on mobile devices. It combines spiking neural networks with large language models for advanced on-device intelligence.
Configuration Flow Orchestrator - intelligently orchestrate CUE, Nickel, and validation workflows
Social media analysis and verification tools
A comprehensive, production-grade robot vacuum cleaner simulation system with dual Julia and Rust implementations, GraphQL API, SLAM algorithms, and enterprise CI/CD infrastructure.
CVE mitigation lifecycle — from disclosure to verified remediation with reachability analysis and formal soundness
Oblibeny BOINC Platform for distributed computing projects
Universal stress testing and logic-based bug signature detection
Civic engagement platform and government API integration
A puzzle game where solutions are cryptographically verified - prove your work, literally.