Home › Open Source
Provable computing · free & open
The open-source stack.
A full provable-computing platform — semantic data inside PostgreSQL, a governed concept kernel, an ontology-first bundle assembler, attested runnable images, and a typed browser client. Every project is free and open. Each release is SLSA-attested: verify what you run with one command. Need it in production — with support, SLAs and hardening? That's where neux comes in.
A semantic-web engine inside PostgreSQL.
SPARQL 1.1, SHACL Core (25/25 W3C tests) and OWL-RL — in stock PostgreSQL, no sidecar. Benchmarked at 8.2 billion triples and 466K writes/s. MIT licensed.
A governed concept kernel inside PostgreSQL.
Makes ungoverned writes structurally impossible — one-door dispatch, a strict role floor, and an HMAC/ed25519 proof-chained ledger. The PostgreSQL implementation of the ConceptKernel model.
Ontology-first OCI bundle assembler.
Builds container bundles from a closed-set ontology and ships every artifact with an RDF bill of materials — verifiable with a single command. SLSA Build Provenance on every release.
Runnable, attested concept-kernel bundles.
Ready-to-run OCI images — Postgres + pgRDF + pgCK + NATS + the JS client in one attested bundle. Pull it, run it, verify the whole supply chain.
The dispatch-only concept-kernel client for the browser.
A small typed NATS-over-WebSocket client — one door, ckp.dispatch. Kilobytes, no framework. Distributed as an attested OCI static bundle.
The model the kernel implements.
The published ontology corpus — Turtle/OWL grounded in BFO 2020 — that defines identity, governance, provenance and proof. pgCK is its runtime; this is the specification.
Free to run · supported in production
Open source, with a phone number.
Everything above is free, open, and yours to run. When it goes into production — and you need hardening, SLAs, upgrades, or someone accountable when an auditor calls — that's the engagement. We built this stack; we can run it with you.
Neux Ltd
AI Infrastructure · Platform Engineering · London.
Since 2014.
Contact
Legal
© 2014–2026 Neux Ltd
Registered in England & Wales.