Explore projects
-
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 -
TeDomum / Feeds
GNU General Public License v3.0 onlyTTRSS, forked from https://git.tt-rss.org/git/tt-rss
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 -
TeDomum / Nextcloud
GNU Affero General Public License v3.0Nextcloud, forked from https://github.com/nextcloud/server
Updated -
felinn-glotte / Hiboo
GNU General Public License v3.0 or laterSecurity framework for small-sized hosting services
Updated -
PowerDNS API-based slave, that does not required being notified by the master server. Used for easy deployment of DNS slaves behind NAT or in containerized environments
Updated -
-
Cédric Marie / Ondine
GNU General Public License v3.0 or laterA lightweight audio player for local files, running in the terminal
Updated -
Updated
-
Updated
-
Updated
-
TeDomum / Garage
GNU Affero General Public License v3.0Forked from: https://git.deuxfleurs.fr/Deuxfleurs/garage
Updated