tkonolige/ilp
An implementation of intuitionistic logic programming in Haskell
Public GitHub Catalog
Discovered Oct 5, 2026
tkonolige / haskell-bplist
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.
#30129106GitHub System ID
tkonoligeOrganization / User
PublicVisibility
ActiveCatalog Status
More from tkonolige
tkonolige/accelerate
Embedded language for high-performance array computations
tkonolige/dbignore
.gitignore for Dropbox
tkonolige/gold
Public repository.