Explore projects
-
krisdoc / L1nkr
MIT LicenseUpdated -
-
koizel / phdNotes
Creative Commons Attribution 4.0 InternationalUpdated -
Updated
-
Updated
-
-
TeDomum / borgmatic
GNU General Public License v3.0 onlyForked from: https://github.com/witten/borgmatic.git
Archived 0Updated -
-
-
Updated
-
Updated
-
Updated
-
Updated
-
TeDomum / Draw.io
Apache License 2.0Archived 0Updated -
Seafile, forked from : https://github.com/haiwen/seahub/releases
Archived 0Updated -
eloi-b / Quire
OtherUpdated -
felinn-glotte / Hiboo
GNU General Public License v3.0 or laterSecurity framework for small-sized hosting services
Updated -
Updated
-
Cédric Marie / Emacs-IDE
GNU General Public License v3.0 or laterA package for Emacs that provides IDE features
Updated -
An implementation of the lambda Pi calculus modulo theory on top of Common Lisp.
Updated