Jonathan D.A. Jewell hyperpolymath
0 followers · 1 following
  • London, United Kingdom
  • https://metadatastician.art

  • NUJ NEC | Open University | Formal Verification, Language Design, Dependable.& Distributed Safety-Critical Systems | Available for collaborations.

  • Joined on 2025-12-07
Repositories
100
 Projects Packages Public activity Starred repositories
Filter
Sort
nextgen-languages
Julia 0 0
Experimental programming language projects
Updated 2026-04-03 19:17:38 +02:00
hypatia
Elixir 0 0
Neurosymbolic CI/CD intelligence platform - Logtalk rules + pattern learning
Updated 2026-04-03 19:14:38 +02:00
panll
ReScript 0 0
PanLL eNSAID — Environment for NeSy-Agentic Integrated Development
Updated 2026-04-03 19:14:25 +02:00
nextgen-databases
Rust 0 0
Parent repository for database application portfolio — QuandleDB, VeriSimDB, Lithoglyph, Glyphbase
Updated 2026-04-03 19:07:51 +02:00
odds-and-sods-package-manager
Elixir 0 0
Federated, multi-language package manager with formal verification and trust pipeline.
Updated 2026-04-03 18:28:22 +02:00
ambientops
Elixir 0 0
Cross-platform system tools for everyday users - trustworthy help without fearware
Updated 2026-04-03 18:28:20 +02:00
januskey
Rust 0 0
Updated 2026-04-03 18:11:17 +02:00
protocol-squisher
Rust 0 0
Protocol squisher
Updated 2026-04-03 17:21:23 +02:00
developer-ecosystem
ReScript 0 0
Developer ecosystem documentation and guidelines
Updated 2026-04-03 16:11:31 +02:00
raze-tui
Ada 0 0
Rust-Ada-Zig TUI library: Zig FFI bridge between Rust core and Ada/SPARK TUI
Updated 2026-04-03 16:09:47 +02:00
idaptik
ReScript 0 0
Updated 2026-04-03 15:36:29 +02:00
academic-workflow-suite
Shell 0 0
Academic workflow tools for research and publication management
Updated 2026-04-03 02:35:39 +02:00
rpa-elysium
Rust 0 0
Updated 2026-04-03 02:03:50 +02:00
neural-foundations
Shell 0 0
Core AI/neural technologies: foundation models, agentic systems, and neurosymbolic approaches. Not applications - the technologies themselves.
Updated 2026-04-03 01:23:33 +02:00
proof-of-work
Rust 0 0
Updated 2026-04-03 01:21:10 +02:00