eternalNight/coq-category
A personal attempt to formalize category theory in The Joy of Cat using Coq
Package scripts for MinGW-w64 targets to build under MSYS2.
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
A personal attempt to formalize category theory in The Joy of Cat using Coq
Featherweight node.js Continuous Deployment
A redesign of Alx's wordpress theme hueman, ported to Hexo.
Public repository.