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