#

evidence-kernel

Here is 1 public repository matching this topic...

theblobinc / Duotronics

A witness-governed research stack bridging analogue, digital, and formal systems through SRNN cognition, evidence contracts, and reference runtimes.

distributed-systems runtime mcp openapi formal-methods cognition ai-safety recurrent-neural-network tla-plus podman srnn fastapi lean4 conformance-testing non-collapse duotronics wg-rnn witness-contract evidence-kernel

Updated May 18, 2026
Rich Text Format

Improve this page

Add a description, image, and links to the evidence-kernel topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the evidence-kernel topic, visit your repo's landing page and select "manage topics."