Once for all. Stop agents from rediscovering already-solved solutions. Enforce CHECK, EXPLORE, and CODIFY on every task.
Type-theoretic verification kernel for formally verified database queries, providing dependent, linear, session, quantitative, effect, and modal type coverage. Idris 2 formal specs, Rust verification kernel, Zig FFI bridge, JSON-RPC protocol. The "LLVM of type safety" for query validation.
A four-pane neurosymbolic development environment (eNSAID) designed as a cognitive-relief layer for human-machine co-orbit. Built on AffineScript (TEA architecture) and Ephapax (Gossamer webview), with friction monitoring (Vexometer), neural output gating (Anti-Crash); planned TypeLL (type) and ECHIDNA (proof) verification for the symbolic layer.
Capability-aware, resumable, distributed continuation runtime based on Elixir, Ephapax, and Zig.
Add a description, image, and links to the ephapax topic page so that developers can more easily learn about it.
To associate your repository with the ephapax topic, visit your repo's landing page and select "manage topics."