kourzanov/microKanren
The implementation of microKanren, a featherweight relational programming language
Public GitHub Catalog
Discovered Sep 27, 2026
kourzanov / mlworks
MLWorks is a Standard ML compiler and development environment. See <http://www.ravenbrook.com/project/mlworks/>.
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.
#9869895GitHub System ID
kourzanovOrganization / User
PublicVisibility
ActiveCatalog Status
More from kourzanov
kourzanov/julia
The Julia Language: A fresh approach to technical computing.
kourzanov/bkanren
A port of minikanren to Bigloo Scheme
kourzanov/webmk
miniKanren for interactive tutorials on the web