tautologico/mukanren-ocaml
microKanren implementation in OCaml
Public GitHub Catalog
Discovered Sep 30, 2026
tautologico / matlib
Linear algebra library for OCaml
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.
#18929919GitHub System ID
tautologicoOrganization / User
PublicVisibility
ActiveCatalog Status
More from tautologico
tautologico/minikanren-ocaml
An implementation of miniKanren in ocaml
tautologico/stog-mdown
Markdown plugin for stog that does direct translation of the markup
tautologico/site-stog
Site using stog