Skip to content
@metadatastician

The Metadatastician

The Metadatastician explores metadata as an art of context. We build experimental tools for reading the hidden structure around things.

metadatastician

Shared work. This organisation holds what has more than one author or more than one user:

  • Joint research — principally with Joshua Jewell (e.g. MetaManifold).
  • Estate infrastructure — the tooling the research and the studio both run on: estate operations, hypatia / gitbot-fleet, cicd-squabbler, BoJ server, the API adapter, proof tooling.

Single-author scholarship (the type family, languages, databases, standards) lives at hyperpolymath; the game studio at Invisible Door Studios.

This organisation runs on the GitHub Education Team benefit, which is for courses, clubs and non-profit research — so nothing commercial lives here.

Pinned Loading

  1. burble burble Public

    Voice first. Friction last. Complexity optional. Pre-production, self-hosted voice communications platform with browser-based WebRTC joining and spatial audio, designed for low latency, privacy and…

    Elixir 4 1

  2. marid marid Public

    Experimental Julia-first framework for web apps, APIs and reactive scientific dashboards, with independent packages and a framework-agnostic browser client; several interoperability and release gat…

    Shell 2

  3. stapeln stapeln Public

    Visual Podman-only container topology designer and deployment compiler that validates stacks, models security gaps, and emits deployment bundles through a formally typed ABI.

    Elixir 1

  4. paint-type paint-type Public

    Pre-alpha cross-platform image editor inspired by Paint.NET, with a Rust image core, layers, brushes and persistent undo; the native desktop shell is still ahead.

    Rust 1

  5. svalinn svalinn Public

    Experimental gateway for verified-container operations. The only runnable gateway is a legacy Deno/TypeScript MVP; its AffineScript migration artifacts are incomplete and not production-ready.

    TypeScript 1

  6. berrywiki berrywiki Public

    Local-first authoring and navigation layer for GitHub Wikis: turns plain Markdown into a hierarchical, taggable notebook while keeping the wiki usable without BerryWiki.

    Rust 1

Repositories

Showing 10 of 43 repositories
  • vordr Public

    Native .ctp container runtime and reference implementation of verified-container-spec, with Idris2 proofs for lifecycle properties that are not yet wired into the Rust runtime.

    metadatastician/vordr's past year of commit activity
    Rust 1 MPL-2.0 0 0 1 Updated Oct 17, 2026
  • selur Public

    Ephapax-linear WebAssembly bridge for zero-copy, memory-safe IPC between Svalinn and Vörðr container components.

    metadatastician/selur's past year of commit activity
    Rust 1 MPL-2.0 0 0 0 Updated Oct 17, 2026
  • svalinn Public

    Experimental gateway for verified-container operations. The only runnable gateway is a legacy Deno/TypeScript MVP; its AffineScript migration artifacts are incomplete and not production-ready.

    metadatastician/svalinn's past year of commit activity
    TypeScript 1 0 2 0 Updated Oct 17, 2026
  • cerro-torre Public

    Ada toolchain for importing packages and producing .ctp bundles and OCI images, with registry clients, cryptographic verification, and a partially implemented provenance chain.

    metadatastician/cerro-torre's past year of commit activity
    Ada 1 MPL-2.0 0 0 0 Updated Oct 17, 2026
  • marid Public

    Experimental Julia-first framework for web apps, APIs and reactive scientific dashboards, with independent packages and a framework-agnostic browser client; several interoperability and release gates remain open.

    metadatastician/marid's past year of commit activity
    Shell 2 MPL-2.0 0 13 0 Updated Oct 16, 2026
  • consent-aware-web Public

    Internet-Draft work on machine-readable consent for AI use of the web, including AIBDP policy manifests and HTTP 430 Consent Required.

    metadatastician/consent-aware-web's past year of commit activity
    Shell 1 MPL-2.0 0 0 1 Updated Oct 16, 2026
  • paint-type Public

    Pre-alpha cross-platform image editor inspired by Paint.NET, with a Rust image core, layers, brushes and persistent undo; the native desktop shell is still ahead.

    metadatastician/paint-type's past year of commit activity
    Rust 1 AGPL-3.0 0 30 0 Updated Oct 16, 2026
  • ZeroInflatedCounts.jl Public

    Julia hurdle and zero-inflated negative-binomial models for sequencing counts (hurdle_nb, zinb), cross-checked against R pscl. Pre-release: the formal proofs its spec requires do not exist yet.

    metadatastician/ZeroInflatedCounts.jl's past year of commit activity
    Shell 1 MPL-2.0 0 3 0 Updated Oct 16, 2026
  • IDApTIK Public

    If you have to ask, you're already compromised. Asymmetric two-player infiltration game: one player enters the site while the other hacks a grounded network simulation; control is deliberately split, and trust is part of the challenge.

    metadatastician/IDApTIK's past year of commit activity
    Rust 1 AGPL-3.0 0 0 0 Updated Oct 16, 2026
  • ZenodoDeposits.jl Public

    Julia CLI and library for resumable, checksum-verified Zenodo deposits and DOI minting, with sandbox-first publication and Agda-proved journal-state safety properties.

    metadatastician/ZenodoDeposits.jl's past year of commit activity
    Julia 1 MPL-2.0 0 3 0 Updated Oct 16, 2026

People

This organization has no public members. You must be a member to see who’s a part of this organization.