GitHub
Deducteam/mathcomp-hollight-real-with-N
Translation in Rocq of the HOL-Light definition of real numbers using MathComp
Language: Rocq Prover - Size: 105 KB - Last synced at: 26 days ago - Pushed at: 5 months ago - Stars: 0 - Forks: 3
betagouv/signalement-app 📦
Language: TypeScript - Size: 22.5 MB - Last synced at: 28 days ago - Pushed at: over 4 years ago - Stars: 5 - Forks: 10
betagouv/pass-culture-app-staging 📦
Version packagée de notre appli téléphone (staging)
Language: CSS - Size: 36.6 MB - Last synced at: 28 days ago - Pushed at: over 8 years ago - Stars: 0 - Forks: 0
openfun/2023-openedx-con-lbt
Slides for lightning talk at 2023 Open edX Con "What is the most performant/sustainable open source LRS in 2023?""
Size: 2.14 MB - Last synced at: 28 days ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0
coq/rocq-prover.org
The Rocq Prover Website
Language: HTML - Size: 240 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 10 - Forks: 15
MTES-MCT/planification-territoires 📦
Language: Svelte - Size: 2.16 MB - Last synced at: 27 days ago - Pushed at: almost 2 years ago - Stars: 2 - Forks: 0
datalocale/BinFul Fork of anthill/6element
Language: Python - Size: 287 KB - Last synced at: 28 days ago - Pushed at: over 12 years ago - Stars: 0 - Forks: 0
lutece-secteur-public/eudonet-module-workflow-eudonetrestforms
Language: Java - Size: 83 KB - Last synced at: 28 days ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
lutece-secteur-public/gru-module-crm-mydashboard-favorites
Module of MyDashBoard to handle user favorites
Language: Java - Size: 17.6 KB - Last synced at: 28 days ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
DUT-Info-Montreuil/BUT2-R4.02-2025-03_MAMAM_Diabate_Hssini_OLoughlin-SINT
Language: Java - Size: 15.6 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
medialab/carto2016-mecenat
Language: HTML - Size: 31.8 MB - Last synced at: 27 days ago - Pushed at: over 10 years ago - Stars: 0 - Forks: 1
gip-inclusion/ism 📦
Proof of Concept for an up to date information system map based on [neo4j](https://neo4j.com/)
Language: Shell - Size: 14.6 KB - Last synced at: 28 days ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0
medialab/testing_otree
testing otree to get rid of limesurvey !
Language: JavaScript - Size: 15.6 KB - Last synced at: 27 days ago - Pushed at: almost 11 years ago - Stars: 0 - Forks: 0
gip-inclusion/relecteur
Outillage autour d'un reviewer de code automatique
Language: Python - Size: 115 KB - Last synced at: 25 days ago - Pushed at: 26 days ago - Stars: 0 - Forks: 0
medialab/otree-iat
Implicit Association Test for oTree.
Language: JavaScript - Size: 13.7 KB - Last synced at: 27 days ago - Pushed at: over 10 years ago - Stars: 2 - Forks: 1
medialab/nos_quotidiens_numeriques
python audio stories repository for raspberry pi
Language: Python - Size: 6.84 KB - Last synced at: 27 days ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0
dnum-mi/starter-kit-opencode
Language: Shell - Size: 303 KB - Last synced at: 28 days ago - Pushed at: 28 days ago - Stars: 4 - Forks: 1
diverse-project/researchtooling
Modern toolkits for efficient and productive researchers
Size: 4.88 KB - Last synced at: 26 days ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0
openfisca/openfisca-qt 📦
[DEPRECATED] QT GUI for OpenFisca -- a versatile microsimulation free software
Language: Python - Size: 5.44 MB - Last synced at: 26 days ago - Pushed at: almost 12 years ago - Stars: 0 - Forks: 18
ansforge/IG-fhir-essais-cliniques
Implementation Guide pour définir les spécifications de l’API REST (FHIR) afin d'interroger la base de données qui recensera les essais cliniques.
Language: GLSL - Size: 543 MB - Last synced at: 28 days ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0
ansforge/interop-nrc-guide-editorial-snomed-edition-fr
Guide éditorial de l'édition française SNOMED CT, développé et maintenu par l’Agence du Numérique en Santé
Size: 270 KB - Last synced at: 28 days ago - Pushed at: about 1 month ago - Stars: 1 - Forks: 0
lutece-secteur-public/hackathon-franceconnect-poc-stationnement
Téléservice de demande de carte de stationnement réalisé lors du hackathon FranceConnect
Language: Java - Size: 58.6 KB - Last synced at: 28 days ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
betagouv/euphrosyne-tools-infra
Infrastructure as Code de mise à disposition des outils aux chercheurs NewAGLAE
Language: HCL - Size: 360 KB - Last synced at: 28 days ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0
MTES-MCT/camino 📦
Le cadastre minier numérique ouvert
Language: TypeScript - Size: 56 MB - Last synced at: 27 days ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 3
afimb/docker-chouette 📦
a container for the chouette web application
Language: Shell - Size: 49.8 KB - Last synced at: 28 days ago - Pushed at: almost 8 years ago - Stars: 3 - Forks: 2
wookey-project/app-dfu-cryp
Wookey: application handling the data (un)cyphering in DFU mode
Language: C - Size: 65.4 KB - Last synced at: 29 days ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 2
SciQLop/SciQLop-Docker-build-image
Language: Dockerfile - Size: 1000 Bytes - Last synced at: 27 days ago - Pushed at: almost 6 years ago - Stars: 0 - Forks: 0
ezpaarse-project/bibliomap-theme.github.io
Language: HTML - Size: 799 KB - Last synced at: 28 days ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0
ansforge/annuaire-sante-fhir-documentation
API FHIR Annuaire Santé (IRIS DP) : le nouveau service de publication développé et maintenu par l’Agence du Numérique en Santé (ANS)
Size: 6.56 MB - Last synced at: 28 days ago - Pushed at: about 1 month ago - Stars: 29 - Forks: 2
InseeFrLab/hackathon-ntts-2025
Hackathon NTTS 2025 - French Team
Language: Python - Size: 6.42 MB - Last synced at: 26 days ago - Pushed at: 4 months ago - Stars: 0 - Forks: 1
MTES-MCT/geo-api 📦
Retourne une liste de communes et forêts françaises en fonction d'un périmètre géographique
Language: TypeScript - Size: 582 KB - Last synced at: 27 days ago - Pushed at: almost 5 years ago - Stars: 3 - Forks: 3
Semantic-Data-for-Humanities/Cycle-Data
The scripts and documentation for the team's Data Cycle workshops, with the Maritime History project and Slave-Voyages trans-Atlantic databases as material.
Language: Jupyter Notebook - Size: 17.4 MB - Last synced at: over 1 year ago - Pushed at: almost 4 years ago - Stars: 2 - Forks: 1
codedgafp/local-categories_domains
Language: PHP - Size: 107 KB - Last synced at: 28 days ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0
mnfst/playground-wrapper
Wrapper that displays manifest demo in a Stackblitz iframe
Language: HTML - Size: 373 KB - Last synced at: 28 days ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 1
ezpaarse-project/ezpaarse-project.github.io
Online ressources for ezpaarse-project
Size: 3.51 MB - Last synced at: 28 days ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0
ansforge/IG-fhir-telesurveillance
Guide d'implémentation d'envoi de questionnaires et d'observations issus de télésurveillance
Language: GLSL - Size: 112 MB - Last synced at: 28 days ago - Pushed at: 4 months ago - Stars: 2 - Forks: 1
lutece-secteur-public/gru-module-workflow-appointmentants
This module incorporates a REST client through two tasks of the workflow: adding and deleting appointments in the ANTS database, thereby optimizing appointment management.
Language: Java - Size: 97.7 KB - Last synced at: 28 days ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 5
istex/ontology
ISTEX ontology
Language: XSLT - Size: 70.3 KB - Last synced at: almost 2 years ago - Pushed at: about 6 years ago - Stars: 5 - Forks: 1
DIVERSIFY-project/datamining-tools
Tools ans scripts used to datamine websites about their plugins usage
Language: Java - Size: 172 KB - Last synced at: 29 days ago - Pushed at: over 12 years ago - Stars: 1 - Forks: 0
DIVERSIFY-project/dockersmartghundertow
Size: 2.93 KB - Last synced at: 29 days ago - Pushed at: over 10 years ago - Stars: 1 - Forks: 0
InseeFrLab/citrus
Project to extract informations from BODACC on evolution of firms
Language: Python - Size: 1.08 MB - Last synced at: 26 days ago - Pushed at: 27 days ago - Stars: 1 - Forks: 3
dataesr/dashboard-redis
Language: Dockerfile - Size: 1000 Bytes - Last synced at: 27 days ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0
ansforge/pfc-traefik-plugin-mtlsforward Fork of pvliesdonk/mtlsforward
Forwards mTLS certificates using SSL_CLIENT_CERT headers
Language: Go - Size: 71.3 KB - Last synced at: 28 days ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0
Inist-CNRS/ghostscript-js
Just a nodeJS wrapper for ghostscript
Language: CMake - Size: 98.9 MB - Last synced at: 28 days ago - Pushed at: over 3 years ago - Stars: 12 - Forks: 6
1024pix/test-deploy-from-slack
Size: 2.93 KB - Last synced at: 28 days ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 1
PyMoDAQ/pymodaq_plugins_genicam
Language: Python - Size: 73.2 KB - Last synced at: 26 days ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 1
InseeFrLab/unimarc-sudoc-reconciler
Application web POC de la bibliothèque de l'Insee. Elle permet de comparer les notices bibliographiques du SIGB Syracuse au catalogue Sudoc (ABES), met en évidence les écarts, et permet à un·e documentaliste de corriger et compléter les notices avant de les réexporter dans Syracuse.
Language: TypeScript - Size: 337 KB - Last synced at: 26 days ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0
abes-esr/ezstats-docker
Configuration Docker 🐋 de l'application EZStats
Language: JavaScript - Size: 2.02 MB - Last synced at: 28 days ago - Pushed at: 9 months ago - Stars: 2 - Forks: 0
abes-esr/periscope-docker
Language: Shell - Size: 134 KB - Last synced at: 28 days ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0
MTES-MCT/potentiel-monitoring
🔊 Stack de monitoring pour l'application Potentiel
Language: HTML - Size: 61.5 KB - Last synced at: 27 days ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0
ansforge/IG-contenu-cda-medicosocial-transfert-donnees-dui
Définition des spécifications de l'API FHIR et du contenu CDA pour transporter les données des logiciels DUI des Services de soins infirmiers à domicile (SSIAD) destinés aux personnages âgées et aux personnes handicapées, à un SI tiers.
Language: HTML - Size: 231 MB - Last synced at: 28 days ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0
abes-esr/theses-dataaccesslayer
Data access layer to the theses databases.
Language: Java - Size: 1.65 MB - Last synced at: 28 days ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0
istex/istex-lodex-data 📦
Thème ISTEX pour lodex
Language: HTML - Size: 1.59 MB - Last synced at: 26 days ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 2
ansforge/keycloak-certhash-mapper
Language: Java - Size: 7.81 KB - Last synced at: 28 days ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0
openfisca/excel-reform
Language: Python - Size: 72.3 KB - Last synced at: 26 days ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0
Deducteam/coq-hol-light-real-with-N
Translation in Coq of the HOL-Light definition of real numbers using binary natural numbers
Language: Rocq Prover - Size: 164 KB - Last synced at: 26 days ago - Pushed at: about 2 months ago - Stars: 2 - Forks: 5
inrae/.github
Size: 4.88 KB - Last synced at: 26 days ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
abes-esr/convergence-bacon-docker
Kafka bus de données dans le cadre du projet convergence
Language: Shell - Size: 459 KB - Last synced at: 28 days ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0
inrae/HyDiaD
Language: R - Size: 122 MB - Last synced at: 26 days ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0
anct-carto/test-civi2
Language: Vue - Size: 122 MB - Last synced at: 27 days ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
openmole/openmole-com
Communication material of the OpenMOLE project: slides, presentation texts, ...
Language: JavaScript - Size: 166 MB - Last synced at: 27 days ago - Pushed at: over 8 years ago - Stars: 1 - Forks: 2
betagouv/espace_membre-ruby
Some Ruby glue around l'Espace-Membre
Language: Ruby - Size: 104 KB - Last synced at: 28 days ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0
ARCEP-dev/Mon-Reseau-Mobile-v2
This repository contains the source code for the “Mon reseau mobile” website. The website provides maps of mobile telecommunications data, provided by the French regulatory authority (Arcep).
Language: TypeScript - Size: 14.2 MB - Last synced at: 28 days ago - Pushed at: 4 months ago - Stars: 14 - Forks: 2
Deducteam/lambdapi-agents
AI agent tooling for the LambdaPi proof assistant
Language: Python - Size: 188 KB - Last synced at: 26 days ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0
medialab/didascalies
Exploring the French Parliament didascalies.
Language: Jupyter Notebook - Size: 49.8 MB - Last synced at: 27 days ago - Pushed at: over 8 years ago - Stars: 0 - Forks: 0
medialab/pelote
A collection of network-related python utilities.
Language: Python - Size: 978 KB - Last synced at: 27 days ago - Pushed at: about 3 years ago - Stars: 17 - Forks: 0
CEREMA/data-trafic
Indices journaliers de trafic France, Agglomérations et Collectivités, depuis le 13 Janvier 2020, par rapport à une situation avant COVID-19
Size: 811 MB - Last synced at: 28 days ago - Pushed at: about 3 years ago - Stars: 8 - Forks: 1
openfisca/openfisca-paraguay
Paraguayan Tax and Benefits System for Openfisca
Language: Python - Size: 148 KB - Last synced at: 26 days ago - Pushed at: 9 months ago - Stars: 1 - Forks: 0
etalab-ia/dragster 📦
A modular agentic RAG harness
Language: Python - Size: 106 KB - Last synced at: 28 days ago - Pushed at: 7 months ago - Stars: 1 - Forks: 0
medialab/FutureObs_Explorer
Language: Python - Size: 41 KB - Last synced at: 27 days ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0
medialab/ateliers Fork of lalejand/ateliers
Présentation des ateliers BlueHats
Size: 329 KB - Last synced at: 27 days ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0
EsupPortail/portlet-tools
Language: Java - Size: 262 KB - Last synced at: 28 days ago - Pushed at: almost 13 years ago - Stars: 1 - Forks: 0
MTES-MCT/parcours_r_socle_introduction
Code source du module 1 du parcours de formation à R du pôle ministériel MTES-MCTRCT.
Language: TeX - Size: 68.3 MB - Last synced at: 27 days ago - Pushed at: 5 months ago - Stars: 1 - Forks: 7
meteofrance/ai-lab-blog
MF AI Lab's Blog
Size: 2.58 MB - Last synced at: 28 days ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 1
openfisca/openfisca-dataviz-sunburst 📦
[DEPRECATED] A D3.js-base sunburst dataviz for OpenFisca
Language: CoffeeScript - Size: 438 KB - Last synced at: 26 days ago - Pushed at: almost 12 years ago - Stars: 0 - Forks: 0
openfisca/LawToCode 📦
[DEPRECATED]
Language: JavaScript - Size: 1.81 MB - Last synced at: 26 days ago - Pushed at: almost 13 years ago - Stars: 0 - Forks: 1
IPGP/a-simple-spatial-database
Browse your spatial database with a light web interface
Language: HTML - Size: 2.22 MB - Last synced at: 26 days ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0
biblissima/mirador Fork of ProjectMirador/mirador
An open-source, web-based 'multi-up' viewer that supports zoom-pan-rotate functionality, ability to display/compare simple images, and images with annotations.
Language: JavaScript - Size: 32 MB - Last synced at: 29 days ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0
unistra/2024-05-13-software-carpentry
Software Carpentry workshop website for May 13-15 2024, in Strasbourg University.
Language: HTML - Size: 2.08 MB - Last synced at: 28 days ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 1
EsupPortail/proto-portlet-angular 📦
Language: JavaScript - Size: 332 KB - Last synced at: 28 days ago - Pushed at: over 12 years ago - Stars: 1 - Forks: 0
medialab/quinoa-design-library
(wip) a library of components, styles and assets for quinoa applications
Language: JavaScript - Size: 14.6 MB - Last synced at: 27 days ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0
betagouv/sejour Fork of jrossignolaccenture/sejour 📦
Language: Java - Size: 12 MB - Last synced at: 28 days ago - Pushed at: about 11 years ago - Stars: 0 - Forks: 0
EsupPortail/esup-otp-cas
Cas module using esup-otp-api
Language: Java - Size: 2.38 MB - Last synced at: 28 days ago - Pushed at: 2 months ago - Stars: 9 - Forks: 11
inclusion-numerique/la-base Fork of inclusion-numerique/stack
Language: TypeScript - Size: 34.4 MB - Last synced at: 28 days ago - Pushed at: 29 days ago - Stars: 6 - Forks: 1
betagouv/grist-redis-exporter
Language: Python - Size: 11.7 KB - Last synced at: 11 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
betagouv/fermeture-eclair 📦
Language: TypeScript - Size: 1.05 MB - Last synced at: 28 days ago - Pushed at: about 3 years ago - Stars: 3 - Forks: 0
EsupPortail/esup-dss-client
Esup-DSS-Client est une nouvelle passerelle, developpée dans le cadre du projet Esup-Signature, entre le poste client et DSS Signature
Language: Java - Size: 5.22 MB - Last synced at: 28 days ago - Pushed at: 2 months ago - Stars: 5 - Forks: 1
abes-esr/accescbs
La librairie java AccesCBS permet de réaliser des traitements automatisés sur le Sudoc (logiciel CBS).
Language: Java - Size: 449 KB - Last synced at: 28 days ago - Pushed at: 4 months ago - Stars: 3 - Forks: 0
lutece-secteur-public/gru-module-crm-form
⛔️ DEPRECATED - Module d'intégration du Guichet Usager avec le moteur de formulaire Form
Language: Java - Size: 71.3 KB - Last synced at: 28 days ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
openfun/openedx-docker
:whale: A best practice Docker image of Open edX
Language: Python - Size: 1.75 MB - Last synced at: 28 days ago - Pushed at: over 1 year ago - Stars: 142 - Forks: 76
EsupPortail/esup-apereo-cas-docker
Apereo CAS images for dev/test environments, published to GHCR by EsupPortail.
Language: Shell - Size: 26.4 KB - Last synced at: 28 days ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0
EsupPortail/esup-uportal Fork of uPortal-Project/uPortal
Le fork EsupPortail d'uPortal est en maintenance. Nous vous conseillons d'utiliser directement uPortal fourni par Apereo
Language: Java - Size: 146 MB - Last synced at: 28 days ago - Pushed at: over 9 years ago - Stars: 19 - Forks: 26
medialab/portic-storymaps-2021
source code for the PORTIC datasprint 2021 publication
Language: JavaScript - Size: 107 MB - Last synced at: 27 days ago - Pushed at: almost 4 years ago - Stars: 3 - Forks: 2
unistra/xml-archive-to-pdf
Transformation d'un fichier xml de type *unistra:archive* en fichier pdf
Language: Python - Size: 9.23 MB - Last synced at: 28 days ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 1
abes-esr/ws-mail
Language: Java - Size: 43.9 KB - Last synced at: 28 days ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0
inrae/cstability_lib
C-stability is a model depicting organic matter decomposition
Language: Java - Size: 4.7 MB - Last synced at: 26 days ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0
datagouv/datagouv-visualizations
Language: TypeScript - Size: 95.7 KB - Last synced at: 26 days ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 2
CEREMA/cadriciel-docs
Language: JavaScript - Size: 1.7 MB - Last synced at: 28 days ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0
istex/istex-jobs
Schedule manager for the creation of istex xmlHoldings and such.
Language: JavaScript - Size: 1.59 MB - Last synced at: 26 days ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0
1024pix/certif-kata-rover 📦
Language: JavaScript - Size: 12.7 KB - Last synced at: 28 days ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0