Explore projects
-
-
Jae Lo Presti / Overengine
GNU Affero General Public License v3.0Updated -
Jae Lo Presti / citra
GNU General Public License v2.0 or laterUpdated -
Jae Lo Presti / ZLUDA
MIT LicenseUpdated -
Jae Lo Presti / Yuzu
GNU General Public License v3.0 or laterUpdated -
-
Updated
-
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