Skip to content
#

aset

Star

Here are 4 public repositories matching this topic...

Language: Python
Filter by language
All 7 Python 4 HTML 2 TypeScript 1

attractor-set / aset-seed

Star 3

ASET Seed is the minimal implementation-neutral semantic kernel of ASET Alpha (Local Recognition Algebra), with independently authored operational, relational, and causal representations, formal assurance, mechanically checked three-way congruence, and reproducible release identity.

forth formal-methods petri-net formal-verification reproducible-builds abstract-machine semantic-interoperability open-standard tla-plus aset specification-first conformance-testing semantic-algebra causal-model implementation-neutral machine-readable-specification aset-seed authority-seeded-evidence-trail local-recognition three-way-assurance
  • Updated Aug 18, 2026
  • Python

attractor-set / aset-network

Star 0

ASET Network extends ASET Seed with distributed evidence admission while preserving local recognition authority, with independently authored operational, relational, and causal assurance representations.

distributed-systems interoperability compatibility model-checking formal-methods petri-nets assurance formal-verification network-extension tla-plus aset tlaps conformance-testing deterministic-builds open-specification evidence-admission authority-seeded-evidence-trails aset-network
  • Updated Aug 18, 2026
  • Python

Add this topic to your repo

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

Learn more