clf/ollibot
An implementation of substructural intuitionistic logic focused on forward chaining
Public GitHub Catalog
Discovered Sep 24, 2026
clf / celf
Public repository discovered through GitHub real-time crawl.
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#2535688GitHub System ID
clfOrganization / User
PublicVisibility
ActiveCatalog Status
More from clf
clf/llf
Original LLF implementation (typechecher + operational semantics) from 1997
clf/lollimon
Lollimon, a monadic concurrent linear logic programming language