Explore projects
-
Updated
-
koizel / harmony-tex
Creative Commons Attribution 4.0 InternationalA cheatsheet on musical harmony
Updated -
koizel / rescou
Creative Commons Attribution 4.0 InternationalUpdated -
Updated
-
Jae Lo Presti / Sitecontent
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Updated
-
Updated
-
Updated
-
An implementation of the lambda Pi calculus modulo theory on top of Common Lisp.
Updated -
Cédric Marie / Emacs-IDE
GNU General Public License v3.0 or laterA package for Emacs that provides IDE features
Updated -
krisdoc / bibliotheque
MIT LicenseUpdated -
krisdoc / Bazar
MIT LicenseUpdated -
Updated
-
eloi-b / Quire
OtherUpdated -
Updated
-
Updated
-
ACIDES / libs / sml
GNU General Public License v3.0 or laterUpdated -
-
Updated
-
TeDomum / Garage
GNU Affero General Public License v3.0Forked from: https://git.deuxfleurs.fr/Deuxfleurs/garage
Updated