Explore projects
-
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 -
TeDomum / Element
OtherElement (ex-Riot) Web client, forked from https://github.com/vector-im/element-web.git
Updated -
An implementation of the lambda Pi calculus modulo theory on top of Common Lisp.
Updated -
Updated
-
Updated
-
Updated
-
Siick / fionacv
Creative Commons Attribution 3.0 UnportedUpdated -
Siick / siick
Creative Commons Attribution 3.0 UnportedUpdated -
TeDomum / Plume
GNU Affero General Public License v3.0Archived 0Updated -
Updated
-
Scupake / Developers
Mozilla Public License 2.0Privacy-conscious, ethical and safer alternatives to software for developers — https://developers.reverseeagle.org
Updated