Illegal-states-unrepresentable design in strongly-typed Python, demonstrated on a decentralized ant-robot colony simulation: algebraic data types, session-typed protocol phases, affine transaction handles, nominal AgentId/TxnId types, a fault-injectable message bus, and active-inference agents minim
Python Updated 4 days ago 1 commits
prism-dev|Mirror: docxology/template_formal (⭐0)
4 days agoE2B SandboxFirecracker microVMpython
No executable code files found in this repository.
About
Illegal-states-unrepresentable design in strongly-typed Python, demonstrated on a decentralized ant-robot colony simulation: algebraic data types, session-typed protocol phases, affine transaction handles, nominal AgentId/TxnId types, a fault-injectable message bus, and active-inference agents minim
Readme