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
- _pathroot Public
A global marker file protocol to coordinate modular devtools environments and establish project boundaries.
- gossamer Public
Transmutable resource-safe desktop shell. Tauri/Electron-like FUI alternative with optional Burble and/or PanLL integration.
- 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.
- vordr Public
Formally verified container orchestration and verification engine - native .ctp runtime and reference implementation of verified-container-spec.
- selur Public
Ephapax-linear WASM sealant - zero-copy IPC bridge between Svalinn and Vörðr container ecosystems.
- canonical-ums Public
Canonical Universal Modding Studio for IDApTIK - procedural generation pipeline and integration toolkit for game content creation.
- svalinn Public
Formally verified container orchestration and verification engine - guardian of containers, watcher of states, keeper of proofs.
- cerro-torre Public
Container base image offering supply chain transparency between Alpine (minimal) and Wolfi (security-focused). Alternative for supply-chain-conscious deployments.
- boj-server-mk2 Public
Next-generation architecture for BoJ-Server. Transitions orchestrator from JavaScript (Deno/Bun) to Erlang VM (BEAM) via Elixir, with Chimichanga Wasm sandboxing for Idris2 cartridges.
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…