GitHub
Deducteam/hol2dk
HOL-Light to Dedukti/Lambdapi translator
Language: Rocq Prover - Size: 698 KB - Last synced at: 1 day ago - Pushed at: 2 days ago - Stars: 8 - Forks: 6
pass-culture/pass-culture-web-analytics 📦
Web analytics for pass culture apps using Matomo
Language: PHP - Size: 138 MB - Last synced at: over 1 year ago - Pushed at: almost 4 years ago - Stars: 1 - Forks: 1
Deducteam/Agda2Dedukti
Language: Haskell - Size: 556 KB - Last synced at: 1 day ago - Pushed at: about 4 years ago - Stars: 21 - Forks: 5
gammapy/adass2018-gammapy-poster
Poster and proceedings about Gammapy for the ADASS 2018 conference
Language: PostScript - Size: 24.4 MB - Last synced at: 3 days ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0
medialab/hyphe-topic-datascape
A prototype datascape to explore the content of a Hyphe corpus where topics have been added to web pages
Language: CSS - Size: 9.49 MB - Last synced at: 3 days ago - Pushed at: almost 9 years ago - Stars: 1 - Forks: 1
lutece-secteur-public/apipart-plugin-quotientfamilial
Plugin Quotient Familial utilisant l'API Particulier du SGMAP
Language: Java - Size: 101 KB - Last synced at: 3 days ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0
dataesr/llm-finetuning
Language: Python - Size: 193 KB - Last synced at: 3 days ago - Pushed at: 2 months ago - Stars: 1 - Forks: 0
DSI-Universite-Rennes2/pynagsystemd Fork of kbytesys/pynagsystemd
Simple and easy nagios check for systemd status
Language: Python - Size: 24.4 KB - Last synced at: 3 days ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
Renater/memo-green-it
synthèse et notes relative à la structuration des initiatives relatives au green it dans l'ESR
Size: 8.79 KB - Last synced at: 3 days ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 0
openfun/proctoru-xblock Fork of perpetualny/proctoru-xblock
DEPRECATED XBlock for Open edX to integrate with ProctorU
Language: CSS - Size: 300 KB - Last synced at: 3 days ago - Pushed at: almost 8 years ago - Stars: 0 - Forks: 0
Deducteam/smt2d
Translation from the SMT-LIB language to Dedukti
Language: OCaml - Size: 114 KB - Last synced at: 1 day ago - Pushed at: about 3 years ago - Stars: 4 - Forks: 1
openalea/deploygui
OpenAlea graphical installer
Language: Python - Size: 142 KB - Last synced at: 3 days ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0
IGNF/pyscoring
Comparison tool for geographical vector datasets
Language: Python - Size: 198 KB - Last synced at: 3 days ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0
datagouv/munin-plugins
A collection of plugins for Munin used @Etalab.
Language: Python - Size: 9.77 KB - Last synced at: 1 day ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0
PyMoDAQ/pymeasure Fork of pymeasure/pymeasure
Scientific measurement library for instruments, experiments, and live-plotting
Language: Python - Size: 7.79 MB - Last synced at: 7 days ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 2
centreborelli/DSA-Self
Self-supervised multi-image super-resolution for push-frame satellite images
Size: 64.5 KB - Last synced at: 3 days ago - Pushed at: almost 3 years ago - Stars: 3 - Forks: 0
etalab/schema-decp-dpa
TableSchema pour la déclaration de profil d'acheteur
Language: Jupyter Notebook - Size: 5.86 KB - Last synced at: 3 days ago - Pushed at: almost 7 years ago - Stars: 1 - Forks: 0
tchapgouv/ansible-role-docker-logs-loki
This ansible role is used to setup a logs stack based on Loki with docker/docker-compose on linux.
Language: Jinja - Size: 3.91 KB - Last synced at: 3 days ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 1
CEREMA/dtermed.webapp.rivages
Language: JavaScript - Size: 1.17 MB - Last synced at: 3 days ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0
DUT-Info-Montreuil/SAE4-ERUA-API
Language: Python - Size: 59.6 KB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0
sofa-framework/InvertibleFVM
Implementation of the article entitled "Invertible finite elements for robust simulation of large deformation" from Irving, G., Teran, J., and Fedkiw, R., SCA 2004
Language: C++ - Size: 115 KB - Last synced at: 1 day ago - Pushed at: about 1 year ago - Stars: 3 - Forks: 3
addok/addok-geozones 📦
Helpers to run a Geozones dedicated Addok instance.
Language: Python - Size: 12.7 KB - Last synced at: 3 days ago - Pushed at: almost 7 years ago - Stars: 1 - Forks: 0
medialab/carto2016-mortnumerique
Language: HTML - Size: 1.22 MB - Last synced at: 3 days ago - Pushed at: over 9 years ago - Stars: 0 - Forks: 0
lutece-platform/lutece-tech-plugin-spring-extension
CDI EXTENSION: This extension provides a consistent way to handle Spring beans alongside CDI beans. We use this extension to maintain compatibility with plugins that depend on Spring.
Language: Java - Size: 30.3 KB - Last synced at: 1 day ago - Pushed at: 5 months ago - Stars: 0 - Forks: 1
erasme/check_cciss 📦
Utility to periodically check for Smart Array disk failures
Size: 74.2 KB - Last synced at: 3 days ago - Pushed at: almost 16 years ago - Stars: 1 - Forks: 0
openfun/charts
Generic Helm charts for our stack
Language: Smarty - Size: 39.1 KB - Last synced at: 3 days ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 1
lutece-secteur-public/gru-module-crm-mydashboard
Module MyDashboard pour CRM
Language: Java - Size: 17.6 KB - Last synced at: 3 days ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0
lutece-secteur-public/gru-plugin-emailcertifier
Certifier for email address
Language: Java - Size: 30.3 KB - Last synced at: 3 days ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0
DISIC/guide-troubles_DYS
Guide des troubles DYS
Size: 720 KB - Last synced at: 3 days ago - Pushed at: over 8 years ago - Stars: 10 - Forks: 4
lias-laboratory/ontodb
This project concerns the OntoDB platform. It supplies several tools (OntoDB schema, OntoQL, BeMoRe, OntoQL Plus, OntoQL Console...)
Size: 68.4 KB - Last synced at: 3 days ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 0
atlanmod/atl
Atlanmod Transformation Language
Language: Java - Size: 20.5 MB - Last synced at: 3 days ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 0
MTES-MCT/dossierfacile-metabase-scalingo Fork of Scalingo/metabase-scalingo
Deploy Metabase on Scalingo
Size: 55.7 KB - Last synced at: 3 days ago - Pushed at: 12 months ago - Stars: 0 - Forks: 0
InseeFrLab/funcamp.sspcloud.fr
funcamp.sspcloud.fr
Language: TypeScript - Size: 25 MB - Last synced at: 3 days ago - Pushed at: about 2 years ago - Stars: 1 - Forks: 7
clipos-archive/src_platform_vaultguard
Virtual vault to keep user's secrets
Language: C - Size: 19.5 KB - Last synced at: 3 days ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0
erasme/ansible-mysql-client 📦
Ansible mysql client libraries role
Language: Shell - Size: 105 KB - Last synced at: 3 days ago - Pushed at: over 10 years ago - Stars: 0 - Forks: 0
Codes-sources-de-la-Justice/Albert Fork of etalab-ia/franceservices-backend
Backend ressources for Albert. Albert is a conversational agent that uses official French data sources to answer administrative agents questions.
Language: Python - Size: 160 KB - Last synced at: 3 days ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 1
DUT-Info-Montreuil/BUT2-R4.02-2024-Alt-1_QPUG-questionnaire-SME
Projet Qualité Dev S4 d'un jeu de quizz : Question Pour Un Golmon
Language: Java - Size: 162 KB - Last synced at: 8 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
neuroanatomy/StereotaxicRAMON Fork of r03ert0/StereotaxicRAMON
Stereotaxic editor
Language: Objective-C - Size: 4.22 MB - Last synced at: 3 days ago - Pushed at: almost 8 years ago - Stars: 1 - Forks: 0
anct-carto/france_services
Annuaire cartographique France services
Language: JavaScript - Size: 6.9 MB - Last synced at: 2 days ago - Pushed at: 4 months ago - Stars: 12 - Forks: 3
sigrennesmetropole/cooperation_jn_wave
Code de l'application de coopération sur les ondes électromagnétiques de Rennes Métropole basée sur un jumeau numérique
Language: TypeScript - Size: 4.17 MB - Last synced at: 2 days ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0
GIP-RECIA/Pronote-WS
WS for pronote
Language: Java - Size: 225 KB - Last synced at: 3 days ago - Pushed at: 9 days ago - Stars: 0 - Forks: 0
DUT-Info-Montreuil/BUT2_2024_S3_SAE_Manager_Vishnu_Logan_Alexandre
Language: PHP - Size: 1.01 MB - Last synced at: 11 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
lutece-platform/lutece-auth-module-mylutece-oauth
Module MyLutece OAuth
Language: Java - Size: 53.7 KB - Last synced at: 1 day ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0
lutece-platform/lutece-tech-library-flexmark
Flexmark implementation for lutece IMDParser interface
Size: 13.7 KB - Last synced at: 3 days ago - Pushed at: 5 months ago - Stars: 0 - Forks: 2
abes-esr/theses-batch-indexation-sample
Batch permettant de charger un échantillon de données (thèses + personnes) dans une instance de theses-docker
Language: Shell - Size: 312 KB - Last synced at: 3 days ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
betagouv/tmp-repo
Size: 0 Bytes - Last synced at: 3 days ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0
betagouv/jeveuxaider-front
Nuxt Frontend
Language: Vue - Size: 178 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 6 - Forks: 0
Cour-de-cassation/CPi-elastic-judilibre
Ce repos sert au deploiement d'elasticsearch sur la plateforme CloudPI
Language: Smarty - Size: 193 KB - Last synced at: 1 day ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
Deducteam/kontroli-rs Fork of 01mf02/kontroli-rs
Alternative implementation of the logical framework Dedukti in Rust
Size: 770 KB - Last synced at: 1 day ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0
Deducteam/rocq-hollight
Translation of HOL-Light libraries in Rocq
Language: Rocq Prover - Size: 1.24 MB - Last synced at: 2 days ago - Pushed at: 12 days ago - Stars: 0 - Forks: 2
Deducteam/GeoCoqInE-Tarski
Language: Makefile - Size: 30.3 KB - Last synced at: 1 day ago - Pushed at: about 6 years ago - Stars: 2 - Forks: 1
StartupsPoleEmploi/labonneboite-importer 📦
Language: Python - Size: 892 KB - Last synced at: 3 days ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
atlanmod/ACP-all
Summarzing all the problems in a rule-based system
Language: Python - Size: 906 KB - Last synced at: 3 days ago - Pushed at: almost 6 years ago - Stars: 0 - Forks: 1
consultation-gouv/deploiement.consultation
Language: CSS - Size: 666 KB - Last synced at: 3 days ago - Pushed at: almost 6 years ago - Stars: 2 - Forks: 2
InseeFrLab/satellite-images-webapp
Language: JavaScript - Size: 208 KB - Last synced at: 3 days ago - Pushed at: 8 months ago - Stars: 2 - Forks: 0
medialab/sandcrawler-dashboard
A handy terminal dashboard plugin for sandcrawler.
Language: JavaScript - Size: 1.28 MB - Last synced at: 3 days ago - Pushed at: almost 10 years ago - Stars: 20 - Forks: 2
betagouv/pad.numerique.gouv.fr Fork of hedgedoc/hedgedoc
Pad numérique de l'état
Language: JavaScript - Size: 42.4 MB - Last synced at: 3 days ago - Pushed at: 6 months ago - Stars: 8 - Forks: 1
etalab-ia/albert-models
Deployment a light and full OpenAI API for production with vLLM to support /v1/embeddings with all embeddings models.
Language: Python - Size: 734 KB - Last synced at: about 1 month ago - Pushed at: over 1 year ago - Stars: 44 - Forks: 6
atlanmod/monoge 📦
(Deprecated) Lightweight metamodel extension
Language: Java - Size: 5.42 MB - Last synced at: 3 days ago - Pushed at: almost 8 years ago - Stars: 2 - Forks: 0
GIP-RECIA/email-preview Fork of uPortal-Attic/email-preview
Language: Java - Size: 1.42 MB - Last synced at: 3 days ago - Pushed at: almost 12 years ago - Stars: 1 - Forks: 0
assurance-maladie-digital/design-system-v3
📦 Un Design System pour l’Assurance Maladie
Language: TypeScript - Size: 18.6 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 2 - Forks: 2
suitenumerique/livekit-sip Fork of livekit/sip
SIP to WebRTC bridge for LiveKit
Language: Go - Size: 2.06 MB - Last synced at: about 18 hours ago - Pushed at: 1 day ago - Stars: 5 - Forks: 0
Deducteam/PVS Fork of SRI-CSL/PVS
The People's Verification System
Language: Common Lisp - Size: 183 MB - Last synced at: 1 day ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0
lutece-platform/lutece-wf-module-workflow-formincrement
⛔️ DEPRECATED - Module Workflow Form Increment
Language: Java - Size: 43 KB - Last synced at: 1 day ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0
MTES-MCT/dossierfacile-vpn
Infrastructure as code project to setup a Wireguard VPN
Language: HCL - Size: 10.7 KB - Last synced at: 8 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
etalab/schema-vehicules-faibles-emissions-renouvellement-parc-synthese
Size: 37.1 KB - Last synced at: 3 days ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 2
1024pix/pix-redirect-support-pix-fr
Size: 1.95 KB - Last synced at: over 1 year ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 1
abes-esr/kalidos
KaliDoS est une application web qui permet de vérifier la qualité de notices bibliographiques selon un jeu de règles. [maintenu par : non maintenu]
Language: JavaScript - Size: 133 MB - Last synced at: 3 days ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 1
sigrennesmetropole/cooperation_jn_trambus
Code de l'application de coopération sur le trambus de Rennes Métropole basée sur un jumeau numérique
Language: Vue - Size: 151 MB - Last synced at: 2 days ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 2
GIP-RECIA/h5p-editor-php-library Fork of h5p/h5p-editor-php-library
Language: JavaScript - Size: 15.5 MB - Last synced at: 3 days ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0
MTES-MCT/go-service Fork of kardianos/service
Run go programs as a service on major platforms.
Size: 3.59 MB - Last synced at: 3 days ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
consultation-gouv/npm.verif.consultation
Language: JavaScript - Size: 4.67 MB - Last synced at: 3 days ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 1
Cour-de-cassation/flair-spacy-docker
Docker image for Flair
Language: Dockerfile - Size: 6.84 KB - Last synced at: 1 day ago - Pushed at: about 4 years ago - Stars: 1 - Forks: 0
polymny/uptest
Language: Python - Size: 28.3 KB - Last synced at: 3 days ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
betagouv/sirius Fork of mission-apprentissage/sirius 📦
Service permettant la collecte et la restitution des avis des apprentis
Size: 681 KB - Last synced at: 3 days ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0
ecolabdata/guichetdonnees-public 📦
Utilitaires pour la gestion du portail de données de la transition écologique et de la cohésion des territoires
Language: Python - Size: 12 MB - Last synced at: 3 days ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 0
Deducteam/opam-lambdapi-repository
Opam repository of Lambdapi libraries
Language: Shell - Size: 25.4 KB - Last synced at: 1 day ago - Pushed at: 3 months ago - Stars: 1 - Forks: 2
InseeFrLab/extraction-comptes-sociaux
Language: Jupyter Notebook - Size: 101 MB - Last synced at: 3 days ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0
abes-esr/periscope-indexing-ws
Service web d'indexation pour l'application PĂ©riscope.
Language: Java - Size: 271 KB - Last synced at: 3 days ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
cnigfr/schema-sites-economiques
Size: 82.5 MB - Last synced at: 7 days ago - Pushed at: 19 days ago - Stars: 14 - Forks: 2
suitenumerique/meet-kyutai-moshi-stt
Language: Dockerfile - Size: 5.86 KB - Last synced at: 3 days ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0
betagouv/ranking_methods
Méthode de classement pour les modèles issus du comparateur compar:IA
Language: HTML - Size: 9.07 MB - Last synced at: 7 days ago - Pushed at: 11 days ago - Stars: 0 - Forks: 0
etalab/format-subventions
Size: 11.7 KB - Last synced at: 3 days ago - Pushed at: over 6 years ago - Stars: 5 - Forks: 0
CEREMA/schema-aire-livraison
Schéma de données sur les aires de livraison
Language: HTML - Size: 1.95 MB - Last synced at: 3 days ago - Pushed at: 23 days ago - Stars: 0 - Forks: 3
Deducteam/GeoCoqInE Fork of GeoCoq/GeoCoq
A formalization of geometry in Coq based on Tarski's axiom system
Language: Coq - Size: 7.31 MB - Last synced at: 1 day ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 0
InseeFrLab/cartiflette
Projet visant à simplifier la récupération des shapefiles officiels
Language: Jupyter Notebook - Size: 9.88 MB - Last synced at: 3 days ago - Pushed at: 9 months ago - Stars: 61 - Forks: 7
betagouv/vaultwarden Fork of incubateur-ademe/vaultwarden
Unofficial Bitwarden compatible server written in Rust, formerly known as bitwarden_rs
Language: Rust - Size: 9.15 MB - Last synced at: 3 days ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
EsupPortail/esup-mod_rocketchat
Interface between Rocket.Chat and Moodle
Language: PHP - Size: 773 KB - Last synced at: 3 days ago - Pushed at: 10 months ago - Stars: 11 - Forks: 6
InseeFrLab/disiz
Insee collecting system DS
Language: TypeScript - Size: 6.1 MB - Last synced at: 3 days ago - Pushed at: about 2 years ago - Stars: 1 - Forks: 0
InseeFrLab/mapvotr
Package de production de contours de bureaux de vote Ă partir des adresses du REU
Language: R - Size: 8.68 MB - Last synced at: 3 days ago - Pushed at: over 1 year ago - Stars: 17 - Forks: 3
betagouv/visam 📦
Fluidifier le dialogue social de la « Direction des ressources humaines » de l’État.
Size: 1000 Bytes - Last synced at: 3 days ago - Pushed at: almost 6 years ago - Stars: 0 - Forks: 0
1024pix/geoapi Fork of risk3sixty/geoapi
Lightweight API service to get geolocation data from IP addresses.
Language: JavaScript - Size: 208 KB - Last synced at: 1 day ago - Pushed at: almost 2 years ago - Stars: 1 - Forks: 0
lutece-platform/lutece-cms-plugin-xpageportlet
Language: Java - Size: 51.8 KB - Last synced at: 1 day ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0
lutece-platform/lutece-directory-module-directory-solr
⛔️ DEPRECATED
Language: Java - Size: 39.1 KB - Last synced at: 1 day ago - Pushed at: 5 months ago - Stars: 0 - Forks: 1
InseeFrLab/datacollection-ui
Language: JavaScript - Size: 1.52 MB - Last synced at: 3 days ago - Pushed at: about 2 years ago - Stars: 1 - Forks: 2
DSI-Universite-Rennes2/python-cyrus Fork of reinaldoc/python-cyrus
python-cyrus (aka. cyruslib) is wrapped interface for imaplib.py, it adds support for cyrus specific commands.
Size: 227 KB - Last synced at: 3 days ago - Pushed at: over 13 years ago - Stars: 0 - Forks: 0
OpenEdition/idref-plugin
IdRef Lodel 1 Plugin
Language: PHP - Size: 83 KB - Last synced at: 2 days ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0
medialab/carto2016-mecenat
Language: HTML - Size: 31.8 MB - Last synced at: 3 days ago - Pushed at: over 9 years ago - Stars: 0 - Forks: 1
lutece-platform/lutece-directory-module-directory-googlemaps
⛔️ DEPRECATED
Language: JavaScript - Size: 28.3 KB - Last synced at: 1 day ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0
lutece-platform/lutece-tech-module-gis-address
Language: Java - Size: 23.4 KB - Last synced at: 1 day ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0