chemoelectric/ATS-Postiats
ATS2: Unleashing the Potentials of Types and Templates
Public GitHub Catalog
Discovered Sep 28, 2026
chemoelectric / pyfontaine
Python version of fontaine.sf.net
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.
#12013624GitHub System ID
chemoelectricOrganization / User
PublicVisibility
ActiveCatalog Status
More from chemoelectric
chemoelectric/ats2-mode
Emacs mode for ATS2
chemoelectric/cKanren
Constraint programming language embedded in Racket (and maybe soon in Guile)
chemoelectric/libuninameslist
OBSOLESCENT. This library is being superseded by https://bitbucket.org/sortsmill/libunicodenames