Tao 3000
Pinned Loading
Repositories
- 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.
- gerbil-poo Public Forked from mighty-gerbils/gerbil-poo
Prototype Object Orientation for Gerbil Scheme
- 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.
- gerbil-ascent Public
Researching Scheme-native relational reasoning in Gerbil: checked programs, retained evaluation, bounded evidence, temporal queries, and formal semantics.
- gerbil-bazel 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…