The Metadatastician
Popular repositories Loading
-
688-attack-hub
688-attack-hub PublicAn idle/strategy toy: spread AS688, an unmanaged 10BASE-T repeater, across 20 real internet exchange points while the NOC's attention climbs toward the Great Deswitching. One self-contained HTML fi…
HTML 2
Repositories
- cadastra Public
Canonical register and survey of the estate's repos: houses the estate-migration-toolkit and the triage reports it produces.
- progblocks Public
Dependency-free web component for rich code blocks in technical documentation and wikis: variant switching (OS / shell / language), A2ML variable substitution, smart paste parsing, and clipboard-safe line numbers.
- _pathroot Public
A global marker file protocol to coordinate modular devtools environments and establish project boundaries.
- enaction-engine Public
A runtime for deterministic simulations: fixed-timestep stepping with render interpolation. Extracted from the IDApTIK proving ground.
- phi-LAM Public
A formally verified semantic kernel and research seed for describing, proving, and normalising typed action sequences and scheduling policies.
- svalinn Public
Formally verified container orchestration and verification engine - guardian of containers, watcher of states, keeper of proofs.
- stapeln Public
Compiles a drag-and-drop container topology into a verified deployment bundle: topology validation, attack-surface and gap analysis, six code-generation targets, and an Idris2-proven ABI. Podman-only, Containerfiles never Dockerfiles.
- spline Public
spline is the serialise + parallelise data-form wire layer — the bytes that Groove carries. The name is joinery: a spline is the thin strip that seats into a groove on both boards to carry the join. It presupposes groove and is the material that passes through it — the typed bytes crossing the joint.
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…