chemoelectric/ATS-Postiats
ATS2: Unleashing the Potentials of Types and Templates
OBSOLESCENT. This library is being superseded by https://bitbucket.org/sortsmill/libunicodenames
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
ATS2: Unleashing the Potentials of Types and Templates
Emacs mode for ATS2
Constraint programming language embedded in Racket (and maybe soon in Guile)
Python version of fontaine.sf.net