GitHub
BRGM/MeshTools
Mesh management and conversion operations for ComPASS simulations.
langage: C++ - taille: 542 ko - dernière synchronisation: il y a 4 jours - enregistré: il y a 6 mois - étoiles: 0 - forks: 0
Deducteam/ett-in-lambdapi
An implementation of a translation from ETT to MLTT+FunExt+K in lambdapi
langage: Coq - taille: 213 ko - dernière synchronisation: il y a 6 jours - enregistré: il y a plus de 3 ans - étoiles: 1 - forks: 0
Deducteam/dk2agda
A tool to convert files written in Dedukti to Agda
langage: OCaml - taille: 65,4 ko - dernière synchronisation: il y a 6 jours - enregistré: il y a presque 5 ans - étoiles: 1 - forks: 0
Deducteam/Dedukti
Implementation of the λΠ-calculus modulo rewriting
langage: OCaml - taille: 9,68 Mo - dernière synchronisation: il y a 6 jours - enregistré: il y a 19 jours - étoiles: 209 - forks: 23
Deducteam/GeoCoqInE Fork de GeoCoq/GeoCoq
A formalization of geometry in Coq based on Tarski's axiom system
langage: Coq - taille: 7,31 Mo - dernière synchronisation: il y a 6 jours - enregistré: il y a plus de 5 ans - étoiles: 0 - forks: 0
Deducteam/dedukti_set_theory
langage: Makefile - taille: 196 ko - dernière synchronisation: il y a 6 jours - enregistré: il y a plus de 2 ans - étoiles: 1 - forks: 0
betagouv/monstage
langage: Ruby - taille: 94,3 Mo - dernière synchronisation: il y a 3 jours - enregistré: il y a 2 mois - étoiles: 3 - forks: 0
dataesr/doadify
Doadify your app with our templates
langage: TypeScript - taille: 4 Mo - dernière synchronisation: il y a 3 jours - enregistré: il y a 7 mois - étoiles: 0 - forks: 0
BRGM/plouf
Démonstrateur pour "un puits dans mon jardin"
langage: HTML - taille: 391 ko - dernière synchronisation: il y a 4 jours - enregistré: il y a environ un an - étoiles: 1 - forks: 1
vle-forge/Echll Fork de quesnel/Echll
A new kernel for VLE ?
langage: C++ - taille: 484 ko - dernière synchronisation: il y a 3 jours - enregistré: il y a plus de 9 ans - étoiles: 0 - forks: 0
StartupsPoleEmploi/openfisca-france 📦
langage: Dockerfile - taille: 3,03 Mo - dernière synchronisation: il y a 3 jours - enregistré: il y a plus de 3 ans - étoiles: 1 - forks: 0
Deducteam/Logipedia
An encyclopedia of proofs
langage: OCaml - taille: 61,2 Mo - dernière synchronisation: il y a 6 jours - enregistré: il y a 6 mois - étoiles: 60 - forks: 11
Deducteam/lean2dk
WIP translation from Lean to Dedukti
langage: Lean - taille: 162 ko - dernière synchronisation: il y a 6 jours - enregistré: il y a 13 jours - étoiles: 5 - forks: 1
InseeFr/REM-Back-Office
Survey unit repository
langage: Java - taille: 254 ko - dernière synchronisation: il y a 5 jours - enregistré: il y a environ un an - étoiles: 1 - forks: 1
gama-platform/gama-gymnasium
A generic gymnasium environment to manipulate gama simulations
langage: Python - taille: 31,3 ko - dernière synchronisation: il y a 3 jours - enregistré: il y a 4 mois - étoiles: 0 - forks: 0
lutece-platform/lutece-tech-plugin-temporarycode
langage: Java - taille: 61,5 ko - dernière synchronisation: il y a 5 jours - enregistré: il y a 11 mois - étoiles: 0 - forks: 1
betagouv/dsfr-view-components
Composants Rails pour le DSFR
langage: Ruby - taille: 4,3 Mo - dernière synchronisation: il y a 3 jours - enregistré: il y a 11 jours - étoiles: 40 - forks: 4
MTES-MCT/vigieau-admin-back
langage: TypeScript - taille: 1,52 Mo - dernière synchronisation: il y a environ 9 heures - enregistré: il y a environ 16 heures - étoiles: 0 - forks: 0
lutece-platform/lutece-collab-module-helpdesk-solr
Module Helpdesk SolR
langage: Java - taille: 46,9 ko - dernière synchronisation: il y a 5 jours - enregistré: il y a plus d'un an - étoiles: 1 - forks: 2
IGNF/validator-api-client
Demo client for IGNF/validator-api
langage: CSS - taille: 17,9 Mo - dernière synchronisation: il y a 6 jours - enregistré: il y a 26 jours - étoiles: 0 - forks: 0
Deducteam/SKonverto
A tool to transform proofs containing Skolem symbol in first order logic.
langage: OCaml - taille: 272 ko - dernière synchronisation: il y a 6 jours - enregistré: il y a environ 3 ans - étoiles: 1 - forks: 4
Deducteam/sttfaxport
langage: OCaml - taille: 194 ko - dernière synchronisation: il y a 6 jours - enregistré: il y a plus de 2 ans - étoiles: 0 - forks: 2
Deducteam/resystance
Rewrite system stats n' count
langage: OCaml - taille: 104 ko - dernière synchronisation: il y a 6 jours - enregistré: il y a presque 3 ans - étoiles: 1 - forks: 2
JMMC-OpenDev/bibdb-data
taille: 91,8 ko - dernière synchronisation: il y a 3 jours - enregistré: il y a plus d'un an - étoiles: 0 - forks: 0
dataesr/kubectl-deploy
langage: Shell - taille: 8,79 ko - dernière synchronisation: il y a 3 jours - enregistré: il y a presque 2 ans - étoiles: 0 - forks: 0
dataesr/harvest-sudoc
Harvesting the sudoc
langage: Python - taille: 101 ko - dernière synchronisation: il y a 3 jours - enregistré: il y a plus d'un an - étoiles: 0 - forks: 0
dataesr/Horizon-2020-version-2
langage: R - taille: 43,9 ko - dernière synchronisation: il y a 3 jours - enregistré: il y a plus d'un an - étoiles: 0 - forks: 0
etalab/catalogage-donnees
Outil de catalogage de données développé par Etalab (service en production sur catalogue.data.gouv.fr)
langage: Python - taille: 1,97 Mo - dernière synchronisation: il y a 3 jours - enregistré: il y a presque 2 ans - étoiles: 14 - forks: 3
lutece-secteur-public/gru-module-appointment-solr
langage: Java - taille: 150 ko - dernière synchronisation: il y a 3 jours - enregistré: il y a 12 mois - étoiles: 0 - forks: 6
BRGM/petrelgridio
langage: Python - taille: 172 ko - dernière synchronisation: il y a 4 jours - enregistré: il y a plus d'un an - étoiles: 0 - forks: 0
lias-laboratory/test
taille: 0 octet - dernière synchronisation: il y a 3 mois - enregistré: il y a 3 mois - étoiles: 0 - forks: 0
betagouv/shlink Fork de shlinkio/shlink
The definitive self-hosted URL shortener
taille: 35 Mo - dernière synchronisation: il y a 3 jours - enregistré: il y a environ 2 ans - étoiles: 0 - forks: 0
betagouv/leximpact-client
leximpact-client a été migré vers une autre organisation
langage: JavaScript - taille: 2,64 Mo - dernière synchronisation: il y a 3 jours - enregistré: il y a plus de 2 ans - étoiles: 3 - forks: 1
Delegation-numerique-en-sante/covid19-algorithme-orientation-api 📦
Code source de l'API recevant les réponses au questionnaire d'orientation Covid-19
langage: Elixir - taille: 2,63 Mo - dernière synchronisation: il y a 3 jours - enregistré: il y a presque 5 ans - étoiles: 5 - forks: 3
betagouv/mon-entreprise
L'assistant officiel des entrepreneurs
langage: TypeScript - taille: 62,7 Mo - dernière synchronisation: il y a 3 jours - enregistré: il y a 5 jours - étoiles: 284 - forks: 84
betagouv/transition-ecologique-des-entreprises-backend 📦
langage: Python - taille: 977 ko - dernière synchronisation: il y a 3 jours - enregistré: il y a presque 2 ans - étoiles: 2 - forks: 0
DUT-Info-Montreuil/2025_R4A10_HORBACZ_Jordan
taille: 908 ko - dernière synchronisation: il y a 2 mois - enregistré: il y a 2 mois - étoiles: 0 - forks: 0
betagouv/doc.demarches-simplifiees.fr
Site de documentation du service numérique demarches-simplifiees.fr
taille: 139 Mo - dernière synchronisation: il y a 3 jours - enregistré: il y a environ 2 mois - étoiles: 3 - forks: 3
betagouv/suivi_dtnum_datapass
langage: Python - taille: 91,8 ko - dernière synchronisation: il y a 5 jours - enregistré: il y a 12 jours - étoiles: 0 - forks: 0
LAB-MI/attestation-deplacement-derogatoire-covid-19
langage: JavaScript - taille: 2,45 Mo - dernière synchronisation: il y a 3 jours - enregistré: il y a environ 2 ans - étoiles: 29 - forks: 22
dataesr/ticket-office
Le Guichet numérique
langage: TypeScript - taille: 5,14 Mo - dernière synchronisation: il y a 3 jours - enregistré: il y a 3 jours - étoiles: 0 - forks: 0
lias-laboratory/chemane
Cooperative Human sEMantic dAta maNagement & Exploitation
taille: 4,88 ko - dernière synchronisation: il y a 4 jours - enregistré: il y a plus de 2 ans - étoiles: 0 - forks: 0
InseeFrLab/formation-filosofi-spatial
langage: CSS - taille: 5,02 Mo - dernière synchronisation: il y a 3 jours - enregistré: il y a plus d'un an - étoiles: 0 - forks: 1
INRIA/libpointing-homebrew Fork de Homebrew/homebrew-core
:beers: Core formulae for the Homebrew package manager
langage: Ruby - taille: 222 Mo - dernière synchronisation: il y a 2 jours - enregistré: il y a environ 6 ans - étoiles: 1 - forks: 0
dataesr/slack-notifier-action
This action allows to send a message in slack channels in a github actions pipeline.
langage: JavaScript - taille: 181 ko - dernière synchronisation: il y a 3 jours - enregistré: il y a presque 4 ans - étoiles: 0 - forks: 0
IGNF/geoportal-access-lib-samples
French Geoportal resources access library : samples
langage: Vue - taille: 8,02 Mo - dernière synchronisation: il y a 6 jours - enregistré: il y a 5 mois - étoiles: 1 - forks: 0
dataesr/scanr-api-tutorials
langage: Jupyter Notebook - taille: 7,81 ko - dernière synchronisation: il y a 1 jour - enregistré: il y a 20 jours - étoiles: 0 - forks: 0
betagouv/auto-audit
Un outil qui permet aux équipes d'auditer leurs produits numériques
langage: Ruby - taille: 290 ko - dernière synchronisation: il y a 1 jour - enregistré: il y a 2 jours - étoiles: 0 - forks: 0
LemonLDAPNG/apache-session-mongodb
Implementation of Apache::Session which uses MongoDB as backend
langage: Perl - taille: 47,9 ko - dernière synchronisation: il y a 3 jours - enregistré: il y a plus de 3 ans - étoiles: 2 - forks: 2
unistra/django-rest-framework-custom-filters
Custom filters for Django Rest Framework
langage: Python - taille: 137 ko - dernière synchronisation: il y a 3 jours - enregistré: il y a presque 10 ans - étoiles: 0 - forks: 1
lutece-platform/lutece-apps-module-quiz-games
langage: Java - taille: 77,1 ko - dernière synchronisation: il y a 5 jours - enregistré: il y a presque 6 ans - étoiles: 0 - forks: 0
betagouv/tous-a-bord-data
Script to collect AOM data
langage: Python - taille: 138 ko - dernière synchronisation: il y a 3 jours - enregistré: il y a 5 jours - étoiles: 2 - forks: 0
betagouv/agir-mesaidesvelo Fork de mquandalle/mesaidesvelo
Découvrez les aides à l’achat d’un vélo (fork utilisé par J'agis)
langage: Svelte - taille: 2,15 Mo - dernière synchronisation: il y a 3 jours - enregistré: il y a 3 mois - étoiles: 1 - forks: 0
medInria/medInria-visages
Plugins for medInria based on Anima software and Shanoir
langage: C++ - taille: 2,32 Mo - dernière synchronisation: il y a 3 jours - enregistré: il y a plus de 4 ans - étoiles: 0 - forks: 1
CEA-LIST/TIAMv2
TIAM is a metric to evaluate visual generative models
langage: Python - taille: 9,18 Mo - dernière synchronisation: il y a 3 jours - enregistré: il y a 5 mois - étoiles: 2 - forks: 0
betagouv/api-particulier-status 📦
📈 Uptime monitor and status page for beta.gouv.fr, powered by @upptime
taille: 386 Mo - dernière synchronisation: il y a 3 jours - enregistré: il y a plus de 2 ans - étoiles: 1 - forks: 0
DUT-Info-Montreuil/DevMobile
taille: 0 octet - dernière synchronisation: il y a 2 mois - enregistré: il y a 3 mois - étoiles: 0 - forks: 0
dataesr/harvest-patstat
collecte des données Patstat
langage: Python - taille: 560 ko - dernière synchronisation: il y a 3 jours - enregistré: il y a 4 mois - étoiles: 0 - forks: 0
dataesr/ticket-office-api
langage: TypeScript - taille: 143 ko - dernière synchronisation: il y a 8 mois - enregistré: il y a 8 mois - étoiles: 0 - forks: 0
InseeFrLab/cartiflette-website
langage: Lua - taille: 23,7 Mo - dernière synchronisation: il y a 3 jours - enregistré: il y a 2 mois - étoiles: 2 - forks: 1
GIP-RECIA/cahier-de-texte 📦
Un cahier de texte pour les collèges, les lycées et CFA
langage: Java - taille: 63,3 Mo - dernière synchronisation: il y a 3 jours - enregistré: il y a environ 9 ans - étoiles: 0 - forks: 0
betagouv/e-controle
Outil permettant de simplifier la relation entre un organisme de contrôle et des structures contrôlés
langage: CSS - taille: 44 Mo - dernière synchronisation: il y a 3 jours - enregistré: il y a plus de 2 ans - étoiles: 9 - forks: 10
betagouv/ludwig-ui
User interface for Ludwig, the collaborative testing tool
langage: JavaScript - taille: 175 ko - dernière synchronisation: il y a 3 jours - enregistré: il y a environ 6 ans - étoiles: 5 - forks: 0
StartupsPoleEmploi/estime-frontend 📦
langage: TypeScript - taille: 14,8 Mo - dernière synchronisation: il y a 3 jours - enregistré: il y a plus de 2 ans - étoiles: 4 - forks: 0
gammapy/gammapy-extra
Gammapy extras (datasets, notebooks, ...)
langage: Jupyter Notebook - taille: 361 Mo - dernière synchronisation: il y a 3 jours - enregistré: il y a presque 3 ans - étoiles: 9 - forks: 39
SciQLop/SciQLop
SciQLop is an ergonomic and efficient application to browse and label in situ plasma measurements from multi-mission satellite data.
langage: Jupyter Notebook - taille: 16,2 Mo - dernière synchronisation: il y a 3 jours - enregistré: il y a 5 jours - étoiles: 18 - forks: 5
CEA-LIST/Cingulata
Cingulata (pronounced "tchingulata") is a compiler toolchain and RTE for running C++ programs over encrypted data by means of fully homomorphic encryption techniques.
langage: C++ - taille: 7,24 Mo - dernière synchronisation: il y a 3 jours - enregistré: il y a plus d'un an - étoiles: 406 - forks: 43
lutece-platform/lutece-cms-module-document-export
langage: Java - taille: 39,1 ko - dernière synchronisation: il y a 5 jours - enregistré: il y a environ 7 ans - étoiles: 0 - forks: 0
InseeFrLab/jsonforms-react-seed Fork de eclipsesource/jsonforms-react-seed
React-based JSON Forms Seed App
taille: 1,13 Mo - dernière synchronisation: il y a 3 jours - enregistré: il y a environ un an - étoiles: 2 - forks: 0
139bercy/decp-budget
Exploration des données essentielles de la commande publique (DECP) et prévision budgétaire
langage: R - taille: 286 ko - dernière synchronisation: il y a 5 jours - enregistré: il y a plus de 3 ans - étoiles: 0 - forks: 0
unistra/django-rest-framework-custom-paginations
Custom paginations for Django Rest Framework
langage: Python - taille: 13,7 ko - dernière synchronisation: il y a 3 jours - enregistré: il y a environ 8 ans - étoiles: 1 - forks: 1
centreborelli/RVDD-release
Video joint denoising and demosaicing with recurrent CNNs - WACV 2023
langage: Python - taille: 37,9 Mo - dernière synchronisation: il y a 3 jours - enregistré: il y a plus d'un an - étoiles: 8 - forks: 0
dataesr/curiexplore-api
langage: JavaScript - taille: 792 ko - dernière synchronisation: il y a 3 jours - enregistré: il y a plus de 3 ans - étoiles: 0 - forks: 0
dataesr/curiexplore-ui
langage: JavaScript - taille: 4,53 Mo - dernière synchronisation: il y a 3 jours - enregistré: il y a 10 mois - étoiles: 0 - forks: 0
dataesr/harvest-issn
langage: Python - taille: 23,4 ko - dernière synchronisation: il y a 3 jours - enregistré: il y a plus d'un an - étoiles: 1 - forks: 0
CEA-LIST/MetaMTReg
Official code for "Improving Few-Shot Learning through Multi-task Representation Learning Theory" ECCV 2022.
langage: Python - taille: 147 ko - dernière synchronisation: il y a 3 jours - enregistré: il y a environ un an - étoiles: 8 - forks: 1
betagouv/api-particulier-legacy 📦
Simplifiez les démarches de vos usagers, ne demandez plus de justificatifs
langage: JavaScript - taille: 897 ko - dernière synchronisation: il y a 3 jours - enregistré: il y a presque 4 ans - étoiles: 2 - forks: 6
139bercy/influxdb-recovery
Backup and restore tool for InfluxDB
taille: 30,3 ko - dernière synchronisation: il y a 5 jours - enregistré: il y a plus de 5 ans - étoiles: 0 - forks: 2
lutece-platform/lutece-cms-plugin-rating
langage: Java - taille: 50,8 ko - dernière synchronisation: il y a 5 jours - enregistré: il y a environ 7 ans - étoiles: 0 - forks: 0
lutece-platform/lutece-cms-plugin-contextinclude
langage: Java - taille: 271 ko - dernière synchronisation: il y a 5 jours - enregistré: il y a plus de 8 ans - étoiles: 0 - forks: 0
InseeFrLab/BootcampJS-API
API pour le bootcamp react
langage: Java - taille: 82 ko - dernière synchronisation: il y a 3 jours - enregistré: il y a plus d'un an - étoiles: 0 - forks: 0
betagouv/reno
Mes Aides Réno : Aides à la rénovation + coût des travaux
langage: HTML - taille: 31,5 Mo - dernière synchronisation: il y a 3 jours - enregistré: il y a 3 jours - étoiles: 17 - forks: 4
centreborelli/on-line-vpp
On-line version of the off-line-vpp
langage: C - taille: 2,17 Mo - dernière synchronisation: il y a 3 jours - enregistré: il y a plus de 5 ans - étoiles: 3 - forks: 0
EsupPortail/esup-ects
langage: Java - taille: 280 ko - dernière synchronisation: il y a 2 jours - enregistré: il y a presque 7 ans - étoiles: 0 - forks: 0
EsupPortail/esup-ecandidat
eCandidat
langage: Java - taille: 16,7 Mo - dernière synchronisation: il y a 2 jours - enregistré: il y a 13 jours - étoiles: 13 - forks: 6
PyMoDAQ/pymodaq_plugins_stanford_research_systems
langage: Python - taille: 93,8 ko - dernière synchronisation: il y a 5 jours - enregistré: il y a 3 mois - étoiles: 0 - forks: 3
lutece-platform/lutece-cms-plugin-subscribe
langage: Java - taille: 104 ko - dernière synchronisation: il y a 5 jours - enregistré: il y a 11 mois - étoiles: 0 - forks: 4
InseeFrLab/lfs_microdata_sdc
Monitoring disclosure risks of lfs microdata files
langage: R - taille: 60,5 ko - dernière synchronisation: il y a 3 jours - enregistré: il y a 12 mois - étoiles: 0 - forks: 1
cea-hpc/clustershell
Scalable cluster administration Python framework — Manage node sets, node groups and execute commands on cluster nodes in parallel.
langage: Python - taille: 9,16 Mo - dernière synchronisation: il y a 4 jours - enregistré: il y a 3 mois - étoiles: 438 - forks: 86
EsupPortail/esup-mdw-pegase
Esup Pégase mon dossier web
langage: Java - taille: 3,64 Mo - dernière synchronisation: il y a 2 jours - enregistré: il y a 9 jours - étoiles: 3 - forks: 2
EsupPortail/esup-news
The Esup News portlet
langage: JavaScript - taille: 25,5 Mo - dernière synchronisation: il y a 2 jours - enregistré: il y a environ 8 ans - étoiles: 0 - forks: 0
lutece-secteur-public/gru-module-mydashboard-favorites
langage: Java - taille: 180 ko - dernière synchronisation: il y a 3 jours - enregistré: il y a 2 mois - étoiles: 0 - forks: 2
dataesr/community-detection-poc
Detect communities of co-authoring in scientific publications
langage: JavaScript - taille: 56,6 Mo - dernière synchronisation: il y a 3 jours - enregistré: il y a plus d'un an - étoiles: 0 - forks: 0
betagouv/paie-www
Page d'accueil du simulateur de coût d'embauche
langage: CSS - taille: 917 ko - dernière synchronisation: il y a 3 jours - enregistré: il y a environ 8 ans - étoiles: 0 - forks: 0
betagouv/mec-connect
Applicatif permettant de connecter le portail "Mon Espace Collectivité" à des service externes, comme Grist.
langage: Python - taille: 300 ko - dernière synchronisation: il y a 3 jours - enregistré: il y a 5 mois - étoiles: 0 - forks: 0
lutece-platform/lutece-cms-plugin-xmlpage
langage: Java - taille: 98,6 ko - dernière synchronisation: il y a 5 jours - enregistré: il y a environ 7 ans - étoiles: 0 - forks: 0
InseeFrLab/Platine-Gestion-POC
langage: TypeScript - taille: 112 ko - dernière synchronisation: il y a 3 jours - enregistré: il y a 10 mois - étoiles: 0 - forks: 0
EsupPortail/esup-portlet-jefyco
langage: Java - taille: 14,4 Mo - dernière synchronisation: il y a 2 jours - enregistré: il y a presque 9 ans - étoiles: 0 - forks: 1
lutece-platform/lutece-auth-module-myapps-wsso
langage: Java - taille: 19,5 ko - dernière synchronisation: il y a 5 jours - enregistré: il y a plus de 8 ans - étoiles: 0 - forks: 0
EsupPortail/esup-portlet-bigbluebutton
langage: Java - taille: 358 ko - dernière synchronisation: il y a 2 jours - enregistré: il y a plus de 12 ans - étoiles: 3 - forks: 5