Tao 3000
Pinned Loading
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.
- gerbil-ascent Public
Researching Scheme-native relational reasoning in Gerbil: checked programs, retained evaluation, bounded evidence, temporal queries, and formal semantics.
- lean-poo Public
Lean 4 prototype-oriented object composition with C4 linearization, typed lazy objects, and incremental proof reuse.
- mrr-data Public
MRR Data is a versioned, content-addressed physical data substrate for relational, graph, lineage, and analytical artifacts.
- gerbil-parser Public
A programmable syntax parse engine built on Gerbil scheme, POO composition, and S-expression grammars.-> rust Rowan AOT
-
- 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.
- asp-gerbil-scheme Public
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…