HeGanjie/logic-puzzles
Puzzles solved by core.logic
Public GitHub Catalog
Discovered Sep 30, 2026
HeGanjie / ykanren
miniKanren with a pure negation operator
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#19658178GitHub System ID
HeGanjieOrganization / User
PublicVisibility
ActiveCatalog Status
More from HeGanjie
HeGanjie/fullPage.js
fullPage plugin by Alvaro Trigo. Create full screen pages fast and simple
HeGanjie/GlowPadView
GlowPadView for Android is a great library to implement Google's lockscreen and new alarmclock style. (Taken from Android's Source Code)
HeGanjie/PagedDragDropGrid
An Android ViewGroup that implements a paged grid with drag'n'drop moveable items