Tao3k
Pinned Loading
Repositories
-
- 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.
- gerbil-ascent Public
Researching Scheme-native relational reasoning in Gerbil: checked programs, retained evaluation, bounded evidence, temporal queries, and formal semantics.
- gerbil-poo Public Forked from mighty-gerbils/gerbil-poo
Prototype Object Orientation for Gerbil Scheme
-
- gerbil-parser Public
A programmable syntax parse engine built on Gerbil scheme, POO composition, and S-expression grammars.-> rust AOT
- lean-poo Public
Lean 4 prototype-oriented object composition with C4 linearization, typed lazy objects, and incremental proof reuse.
- 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…