Skip to content
@tao3k

Tao3k

Unleashing Human-AI Co-Engineering to the Bleeding Edge: Rewriting the Rules of the Ecosystem.

Pinned Loading

  1. hivebus hivebus Public template

    Transform the collected configurations into various target configurations, inheriting the art of simplifying complexity. Additionally, it possesses the inheritance and extension systems of POP.

    Nix 14

  2. omnibus omnibus Public

    A unified Nix configuration loading interface and theory that emulates the modularity, configurability, reusability, and overrideability of Doom Emacs.(based on Pure Object Prototypes)

    Nix 43 1

  3. omnibus-examples omnibus-examples Public

    Omnibus Examples Collection

    HTML 10

  4. popflow.nix popflow.nix Public

    A nix language configuration framework based on POP: Pure Object Prototypes

    Nix 14

  5. flake-parts-hive flake-parts-hive Public

    Nix 3

Repositories

Showing 10 of 81 repositories
  • gerbil-scheme-rust Public

    gerbil-scheme rust bindings

    tao3k/gerbil-scheme-rust's past year of commit activity
    Rust 0 0 0 1 Updated Nov 2, 2026
  • meta-relational-reasoning Public

    Language-neutral Meta-Relational Reasoning in Rust: Scheme/POO orchestration, Ascent fixed-point inference, typed provenance, lineage, and atomic admission.

    tao3k/meta-relational-reasoning's past year of commit activity
    Rust 0 Apache-2.0 0 0 1 Updated Nov 2, 2026
  • gerbil-poo Public Forked from mighty-gerbils/gerbil-poo

    Prototype Object Orientation for Gerbil Scheme

    tao3k/gerbil-poo's past year of commit activity
    Scheme 0 Apache-2.0 4 0 1 Updated Nov 2, 2026
  • lean-poo Public

    Lean 4 prototype-oriented object composition with C4 linearization, typed lazy objects, and incremental proof reuse.

    tao3k/lean-poo's past year of commit activity
    Lean 1 Apache-2.0 0 0 1 Updated Nov 2, 2026
  • cedar-poo-spec Public Forked from hardenedlinux/cedar-poo-spec

    Mirror of hardenedlinux/cedar-poo-spec. Development, issues and pull requests belong upstream.

    tao3k/cedar-poo-spec's past year of commit activity
    Lean 0 Apache-2.0 2 0 0 Updated Nov 1, 2026
  • gerbil-ascent Public

    Researching Scheme-native relational reasoning in Gerbil: checked programs, retained evaluation, bounded evidence, temporal queries, and formal semantics.

    tao3k/gerbil-ascent's past year of commit activity
    Scheme 1 0 0 1 Updated Nov 1, 2026
  • mrr-data Public

    MRR Data is a versioned, content-addressed physical data substrate for relational, graph, lineage, and analytical artifacts.

    tao3k/mrr-data's past year of commit activity
    Rust 2 LGPL-2.1 0 0 1 Updated Nov 1, 2026
  • gebril-yuanxu Public

    POO Flow core shared by parser and full POO Flow

    tao3k/gebril-yuanxu's past year of commit activity
    Scheme 0 0 0 1 Updated Oct 31, 2026
  • xiuxian-artisan-workshop Public

    WIP-designed to bridge the gap between human intent and machine execution.

    tao3k/xiuxian-artisan-workshop's past year of commit activity
    Rust 15 Apache-2.0 4 1 2 Updated Oct 31, 2026
  • gerbil-bazel Public
    tao3k/gerbil-bazel's past year of commit activity
    Python 0 Apache-2.0 0 2 1 Updated Oct 30, 2026
View all repositories

People

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