Skip to content
#

network-extension

Star

Here are 2 public repositories matching this topic...

Language: Python
Filter by language
All 60 Swift 36 Dart 5 Rust 5 JavaScript 3 Go 2 Python 2 C 1 C++ 1 HTML 1 Kotlin 1

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 network-extension topic, visit your repo's landing page and select "manage topics."

Learn more