kikofernandez/type-systems
Implementations of various type systems in OCaml.
Public GitHub Catalog
Discovered Sep 30, 2026
kikofernandez / heroku-buildpack-datomic-clojure
This is a Heroku buildpack for using Datomic in Clojure apps.
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.
#16927716GitHub System ID
kikofernandezOrganization / User
PublicVisibility
ActiveCatalog Status
More from kikofernandez
kikofernandez/trello-burndown
NO LONGER MAINTAINED! Generate a burndown chart from trello tasks
kikofernandez/kmeans-encore
K-means case study for the Encore language
kikofernandez/match-django
Simple ASK system implementation