Systems Seam Architect · Formal Methods · Neurosymbolic Research
MSc Cognitive & Decision Sciences (UCL) · MRes Art Theory & Philosophy (UAL) 19+ years educational consulting & curriculum innovation across UK Higher Education.
Formally verified systems, programming languages, and tools — governed by the Rhodium Standard across 500+ repositories consolidated into focused monorepos.
| Area | What | Key repos |
|---|---|---|
| Game Development | Asymmetric co-op stealth puzzle-platformer with dependent-type-verified level data, reversible VM (41M ops/sec WASM), and asymmetric multiplayer | idaptik |
| Development Environments | Panel-based neurosymbolic IDE — reference implementation of the eNSAID specification | panll · ensaid-spec |
| Formal Verification | Idris2 dependent-type libraries — 108 protocol components, zero believe_me |
proven-servers · proven |
| Language Design | 14 research programming languages with formal specifications, grammars, and proof frameworks | nextgen-languages |
| CI/CD Intelligence | Neurosymbolic CI engine with bot fleet and scoped directives | hypatia · gitbot-fleet |
| Security Scanning | 47-language static analysis scanner | panic-attacker |
| Standards | A2ML markup format (IANA registration pending), K9 self-validating components, RSR governance | standards |
| Licensing | The Palimpsest License (PMPL-1.0-or-later) — copyleft with philosophical foundations | palimpsest-license |
Primary languages: Rust · ReScript · Elixir · Gleam · Zig · Idris2 · Julia · Haskell · OCaml
Architecture: Idris2 ABI (formal proofs) → Zig FFI (C-compatible) → language-specific bindings. Chainguard containers, Guix/Nix reproducible builds, SHA-pinned CI/CD with 17 standard workflows per repo.
Formal methods: Dependent types (Idris2), theorem proving (echidna — 30 backends), neurosymbolic verification (Hypatia).
- Rhodium Standard Repositories — structural standard for all repos
- A2ML — Attested Markup Language for AI manifests (
application/vnd.a2mlIANA pending) - K9-SVC — Self-Validating Components with Kennel/Yard/Hunt security levels
- Contractile Governance — must/trust/dust/intend framework
- TSDM — Triaxial Software Development Methodology (Scope → Maintenance → Audit)
Former Chair of Communications for the IWW (European Region) and representative for the NUJ. ReScript core team member. Research interests in cognitive modelling, information ergonomics, and axiology.
All original code licensed under PMPL-1.0-or-later. Third-party dependencies retain their original licenses.