Explore projects
-
TAVA / BaxMC
CeCILL-B Free Software License AgreementA CEGAR-based solver for maximum model counting
Updated -
Updated
-
Elan Littératures et Arts Numériques / CreNum
GNU General Public License v3.0 or laterEdition numérique de la Chronique française de Guillaume Cretin - https://crenum.elan-numerique.fr/
Updated -
nonsmooth / siconos
Apache License 2.0Updated -
Updated
-
Elan Littératures et Arts Numériques / TACT
GNU General Public License v3.0 or laterPlateforme de transcription et d'annotation de corpus textuels, TACT est le logiciel derrière le plateforme nationale TACTEO : https://tacteo.huma-num.fr/ La 1ere instance est toujours disponible ici : https://tact.demarre-shs.fr/ et le bac à sable ici : https://tact-sandbox.demarre-shs.fr/
Updated -
Mathdoc / ptfs / ptf-site-editor
GNU Affero General Public License v3.0Updated -
Elan Littératures et Arts Numériques / FNVR
GNU General Public License v3.0 or laterFictions Narratives en Vers de la Renaissance - https://elan.gricad-pages.univ-grenoble-alpes.fr/fnvr
Updated -
legi / soft / trokata / winsoft-main
MIT LicenseWindows Software - main files for package build - public repository
Updated -
ThingSat / seed
OtherUpdated -
Pierre Boue / pycorr
OtherUpdated -
GruLab / AFMfit
GNU General Public License v3.0 or laterUpdated -
Mathdoc / ptfs / ptf-site-gdml
GNU Affero General Public License v3.0Updated -
Mathdoc / ptfs / ptf-site-mesh
GNU Affero General Public License v3.0Updated -
SecurityTools / Lazart
GNU General Public License v3.0 onlyUpdated -
-
Mathdoc / ptfs / ptf-site-numdam
GNU Affero General Public License v3.0Updated -
Updated
-
Mathdoc / ptfs / ptf-app-ptf
GNU Affero General Public License v3.0Updated