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.
To associate your repository with the ephapax topic, visit your repo's landing page and select "manage topics."