negatratoron/composer
Dependency Manager for PHP
A pure PHP library for reading and writing word processing documents
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
Dependency Manager for PHP
A textbook on informal homotopy type theory
This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting "Algebra"
Public repository.