tangentforks/lambot
An IRC bot written in the Lamb programming language
Public GitHub Catalog
Discovered Sep 29, 2026
tangentforks / Ivor
A type theory based theorem proving library
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.
#16657113GitHub System ID
tangentforksOrganization / User
PublicVisibility
ActiveCatalog Status
More from tangentforks
tangentforks/juggle
snapshot of http://juggle.gaertner.de/
tangentforks/cweb
donald knuth's literate programming language
tangentforks/cKanren
Constraint programming language embedded in Racket