Skip to content
@tao3k

Tao 3000

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 42 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 78 repositories
  • 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 Oct 8, 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 0 0 0 1 Updated Oct 9, 2026
  • gerbil-parser Public

    A programmable syntax parse engine built on Gerbil scheme, POO composition, and S-expression grammars.-> rust AOT

    tao3k/gerbil-parser's past year of commit activity
    Scheme 1 LGPL-2.1 0 0 1 Updated Oct 8, 2026
  • cedar-poo-spec Public

    Formal Cedar Spec integration and incremental proof reuse with Lean-POO

    tao3k/cedar-poo-spec's past year of commit activity
    Lean 1 Apache-2.0 0 0 0 Updated Oct 8, 2026
  • poo-flow Public

    poo-flow is a Gerbil Scheme control plane for higher-order strategy systems. It combines functional flow composition with Gerbil POO prototype objects so policies, profiles, modules, workflows, and loop descriptors can be expressed as inspectable values before they are handed to heavier runtimes.

    tao3k/poo-flow's past year of commit activity
    Scheme 1 0 1 1 Updated Oct 8, 2026
  • orgize Public

    A Rust library for parsing org-mode files. agent side first.

    tao3k/orgize's past year of commit activity
    Rust 1 MIT 0 0 1 Updated Oct 8, 2026
  • asp-rust Public

    through native Rust syntax and Cargo manifest facts, turn that project into package/module/owner/dependency facts, and expose compact policy feedback that lets an Agent keep writing Rust without searching a massive file list every time.

    tao3k/asp-rust's past year of commit activity
    Rust 2 0 0 7 Updated Oct 8, 2026
  • homebrew-gerbil Public Forked from mighty-gerbils/homebrew-gerbil

    A Homebrew Tap for Gerbil Scheme

    tao3k/homebrew-gerbil's past year of commit activity
    Scheme 0 1 0 0 Updated Oct 8, 2026
  • gerbil-bazel Public
    tao3k/gerbil-bazel's past year of commit activity
    Python 0 Apache-2.0 0 2 0 Updated Oct 8, 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 0 Updated Oct 7, 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.