seckcoder/miniKanren
Canonical miniKanren implementation
Public GitHub Catalog
Discovered Sep 26, 2026
seckcoder / js-practice
javascript practice
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.
#6688335GitHub System ID
seckcoderOrganization / User
PublicVisibility
ActiveCatalog Status
More from seckcoder
seckcoder/TheReasonedSchemer
Code from 'The Reasoned Schemer' (MIT Press, 2005) by Daniel P. Friedman, William E. Byrd and Oleg Kiselyov.
seckcoder/the-reasoned-schemer
All the logic programming code examples from the book "The Reasoned Schemer"
seckcoder/vim-seckcoder
seckcoder's custom vim plugins