GitHub
coq/platform
Multi platform setup for Coq, Coq libraries and tools
Language: Shell - Size: 148 MB - Last synced at: 11 months ago - Pushed at: about 1 year ago - Stars: 195 - Forks: 51
medialab/presidentielles2022
Code for various projects related to 2022 French presidential elections.
Language: Python - Size: 207 KB - Last synced at: 7 days ago - Pushed at: 8 months ago - Stars: 1 - Forks: 0
lutece-platform/lutece-elk-plugin-elasticdata
Provides an easy way to fill ElasticSearch with timestamped data in order to build Kibana dashboards
Language: Java - Size: 217 KB - Last synced at: 4 days ago - Pushed at: 2 months ago - Stars: 0 - Forks: 5
lutece-platform/lutece-form-module-fdw-wizard-pdfproducer
⛔️ DEPRECATED
Language: Java - Size: 25.4 KB - Last synced at: 4 days ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0
suitenumerique/people
User-centric and self-care teams management application built with Django and React.
Language: Python - Size: 5.56 MB - Last synced at: 5 days ago - Pushed at: 6 days ago - Stars: 99 - Forks: 9
lutece-platform/forms-starter
Lutece forms Starter
Size: 32.2 KB - Last synced at: 5 days ago - Pushed at: 8 days ago - Stars: 0 - Forks: 3
betagouv/PeerTube Fork of Chocobozzz/PeerTube 📦
Federated (ActivityPub) video streaming platform using P2P (BitTorrent) directly in the web browser with WebTorrent and Angular.
Language: TypeScript - Size: 107 MB - Last synced at: 5 days ago - Pushed at: over 4 years ago - Stars: 2 - Forks: 0
lutece-platform/tools-maven-xdoc2md-plugin
xDoc to Markdow Maven Plugin
Language: Java - Size: 44.9 KB - Last synced at: 4 days ago - Pushed at: 5 months ago - Stars: 0 - Forks: 4
lutece-platform/lutece-auth-module-mylutece-oauth2
Language: Java - Size: 177 KB - Last synced at: 4 days ago - Pushed at: 12 days ago - Stars: 1 - Forks: 2
openfun/2024-dne-xapi-la-stack
Language: Vue - Size: 1.29 MB - Last synced at: 5 days ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0
entrepreneur-interet-general/gobelins-landingpage
Une page d'annonce pour le projet Gobelins (2018)
Language: HTML - Size: 6.31 MB - Last synced at: 5 days ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0
Spirals-Team/ci-inria-documentation
Documentation on how to use the continuous integration service of INRIA with Github
Size: 0 Bytes - Last synced at: 4 days ago - Pushed at: almost 10 years ago - Stars: 0 - Forks: 0
diverse-project/minijava Fork of tetrabox/minijava
Implementation of a subset of Java for the GEMOC Studio
Language: Java - Size: 2.82 MB - Last synced at: about 18 hours ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 0
powerapi-ng/smartwatts-formula
SmartWatts is a formula for a self-adaptive software-defined power meter based on the PowerAPI framework.
Language: Python - Size: 774 KB - Last synced at: about 18 hours ago - Pushed at: about 20 hours ago - Stars: 32 - Forks: 22
lutece-platform/lutece-tech-plugin-s3
Language: Java - Size: 56.6 KB - Last synced at: 4 days ago - Pushed at: 5 months ago - Stars: 0 - Forks: 3
signaux-faibles/signauxfaibles-wip
Page d'accueil lors des maintenances
Language: HTML - Size: 46.9 KB - Last synced at: about 18 hours ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
Antique-team/memcad
The MemCAD static analyzer
Size: 877 KB - Last synced at: 7 days ago - Pushed at: over 4 years ago - Stars: 27 - Forks: 5
medialab/hyphe-corpus-cleaner
Simple script and related Docker container to automatically remove old corpus from an Hyphe instance.
Language: Python - Size: 23.4 KB - Last synced at: 7 days ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 1
openfisca/openfisca-survey-manager
A tool for managing survey data
Language: Python - Size: 1.66 MB - Last synced at: 5 days ago - Pushed at: 13 days ago - Stars: 8 - Forks: 15
wookey-project/ewok-kernel
A secure and high performances microkernel for building secure MCU-based IoTs
Language: Ada - Size: 5.12 MB - Last synced at: 7 days ago - Pushed at: over 4 years ago - Stars: 77 - Forks: 9
DISIC/rgaa_methodologie
[archivé] Méthodologie de tests pour la version 3 du RGAA
Language: HTML - Size: 202 KB - Last synced at: 5 days ago - Pushed at: over 8 years ago - Stars: 15 - Forks: 7
Deducteam/rocq-hollight-logic-unif
Translation in Rocq of HOL-Light's Logic library until unify using hol2dk
Language: Rocq Prover - Size: 774 KB - Last synced at: 2 days ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 2
medialab/sandcrawler
sandcrawler.js - the server-side scraping companion.
Language: JavaScript - Size: 416 KB - Last synced at: 7 days ago - Pushed at: about 10 years ago - Stars: 109 - Forks: 13
Inria-Empenn/SDMA
Shared paper codes for SDMA2024 project
Language: Python - Size: 171 MB - Last synced at: 5 days ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
SocialGouv/maintenance
Language: HTML - Size: 49.8 KB - Last synced at: 5 days ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 1
geovistory/Academic-Education-and-Careers
Academic Education and Careers (Community Project)
Size: 36.1 KB - Last synced at: about 2 months ago - Pushed at: 12 months ago - Stars: 1 - Forks: 0
betagouv/sentry Fork of getsentry/sentry
Developer-first error tracking and performance monitoring
Size: 553 MB - Last synced at: 5 days ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0
SocialGouv/security-scan-deps
Language: JavaScript - Size: 1.04 MB - Last synced at: 1 day ago - Pushed at: 2 months ago - Stars: 5 - Forks: 0
SocialGouv/presentation-textstyle
Site de présentation pour le projet TextStyle
Language: CSS - Size: 143 KB - Last synced at: 5 days ago - Pushed at: almost 6 years ago - Stars: 0 - Forks: 0
lutece-secteur-public/gru-library-identitystore-extended
Extension for library identitystore
Language: Java - Size: 25.4 KB - Last synced at: 5 days ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0
openfun/xblock-configurable-lti-consumer
A configurable LTI consumer Xblock for Open edX
Language: Python - Size: 103 KB - Last synced at: 5 days ago - Pushed at: almost 4 years ago - Stars: 3 - Forks: 1
openalea/caribu
Eco-physiological model of light interception by plants
Language: Python - Size: 11.4 MB - Last synced at: 5 days ago - Pushed at: 12 days ago - Stars: 9 - Forks: 10
SciQLop/NeoQCP
Language: C++ - Size: 4.46 MB - Last synced at: 5 days ago - Pushed at: 8 months ago - Stars: 3 - Forks: 1
inrae/SISPPEO
SISPPEO (Satellite Imagery & Signal Processing Packages for Earth Observation) project is dedicated to packages necessary for extracting synthetic information from satellite imagery data (e.g, Sentinel-2, -3, Landsat...) for earth observation (Water and Land).
Language: Python - Size: 2.16 MB - Last synced at: 5 days ago - Pushed at: about 2 years ago - Stars: 10 - Forks: 2
betagouv/classifia
Classification automatisée des conversations pour le support Crisp à l’aide d’Albert AI et de la similarité vectorielle.
Language: TypeScript - Size: 390 KB - Last synced at: 5 days ago - Pushed at: 2 months ago - Stars: 1 - Forks: 0
Inist-CNRS/text-quality-indicator
Return a quality indicator (in %) of any text, using dictionnary
Language: JavaScript - Size: 48.6 MB - Last synced at: 5 days ago - Pushed at: 10 months ago - Stars: 4 - Forks: 1
openfun/verna
🏗️ An extensible form builder based on React JSON Schema Form.
Language: TypeScript - Size: 3.02 MB - Last synced at: 5 days ago - Pushed at: 6 days ago - Stars: 11 - Forks: 2
lutece-secteur-public/gru-library-identitybusiness
Language: Java - Size: 509 KB - Last synced at: 5 days ago - Pushed at: 8 days ago - Stars: 0 - Forks: 2
radiofrance/lint-config
Linter configurations used at Radio France
Size: 11.7 KB - Last synced at: 5 days ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0
entrepreneur-interet-general/eig-link
Liste d'outils pour faciliter les interactions entre EIG
Language: JavaScript - Size: 15.8 MB - Last synced at: 5 days ago - Pushed at: almost 3 years ago - Stars: 17 - Forks: 28
lutece-secteur-public/gru-library-crmclient
Library CRM Client
Language: Java - Size: 38.1 KB - Last synced at: 5 days ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0
lutece-secteur-public/gru-module-directory-mappingmanager
⛔️ DEPRECATED
Language: Java - Size: 42 KB - Last synced at: 5 days ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0
openalea/oawidgets
OpenAlea Widgets for Jupyter Kernel
Language: Python - Size: 62.9 MB - Last synced at: 2 days ago - Pushed at: about 2 months ago - Stars: 4 - Forks: 4
DUT-Info-Montreuil/genio-frontend
Language: TypeScript - Size: 25.5 MB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0
lutece-secteur-public/apipart-plugin-apipart
Plugin d'utilisation de l'API Particuliers du SGMAP
Language: Java - Size: 12.7 KB - Last synced at: 5 days ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0
IGNF/ignf.github.io
Size: 8.79 KB - Last synced at: 8 days ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0
abes-esr/abes-hello-back
Application exemple type "Hello World" qui illustre la politique de développement de l'Abes avec des modèles pour la partie back : API et batch.
Language: Java - Size: 18.5 MB - Last synced at: 5 days ago - Pushed at: 14 days ago - Stars: 2 - Forks: 0
DIVERSIFY-project/amiunique
Learn how identifiable you are on the Internet
Language: JavaScript - Size: 7.23 MB - Last synced at: 5 days ago - Pushed at: over 5 years ago - Stars: 718 - Forks: 88
InseeFrLab/rtauargus
τ-Argus from R
Language: HTML - Size: 30.5 MB - Last synced at: 5 days ago - Pushed at: 7 days ago - Stars: 10 - Forks: 5
ambanum/political-ads-scraper 📦
Allow exploration and conservation of political ads archives
Language: Jupyter Notebook - Size: 2.66 MB - Last synced at: 5 days ago - Pushed at: almost 4 years ago - Stars: 11 - Forks: 3
neuroanatomy/MeMoDEvo
Mechanics, morphogenesis, development & evolution. QBio Symposium 2022
Language: HTML - Size: 4.52 MB - Last synced at: 6 days ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0
InseeFrLab/trino 📦
Docker image for trino in order to add org.apache.hadoop.fs.s3a.TemporaryAWSCredentialsProvider support
Language: Dockerfile - Size: 16.6 KB - Last synced at: 5 days ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0
openfisca/openfisca-dataviz-sunburst 📦
[DEPRECATED] A D3.js-base sunburst dataviz for OpenFisca
Language: CoffeeScript - Size: 438 KB - Last synced at: 5 days ago - Pushed at: about 11 years ago - Stars: 0 - Forks: 0
assurance-maladie-digital/nir-validation
Valide la représentation des données d'identification française
Language: PHP - Size: 46.9 KB - Last synced at: 5 days ago - Pushed at: over 1 year ago - Stars: 9 - Forks: 4
InseeFrLab/funathon2024
Dépôt centralisant le contenu produit pour le Funathon 2024
Language: CSS - Size: 4.05 MB - Last synced at: 5 days ago - Pushed at: 3 months ago - Stars: 2 - Forks: 1
assurance-maladie-digital/XF-Material-Library Fork of Baseflow/XF-Material-Library 📦
A Xamarin Forms library for implementing Material Design
Language: C# - Size: 9.69 MB - Last synced at: 5 days ago - Pushed at: almost 7 years ago - Stars: 1 - Forks: 1
clipos-archive/src_platform_sub-clip
sub-clip
Language: Shell - Size: 62.5 KB - Last synced at: 5 days ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0
numerique-gouv/francetransfert-upload-api
Language: Java - Size: 735 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 1
medialab/gulp-artoo
A gulp plugin to create artoo.js bookmarklets.
Language: JavaScript - Size: 180 KB - Last synced at: 7 days ago - Pushed at: over 11 years ago - Stars: 6 - Forks: 2
Inist-CNRS/node-inist-roadmap
to use our roadmap from trello
Language: JavaScript - Size: 11.7 KB - Last synced at: 5 days ago - Pushed at: over 8 years ago - Stars: 0 - Forks: 1
openfisca/openfisca-france-local
Extension OpenFisca pour nos partenariats avec les collectivités territoriales
Language: Python - Size: 4.39 MB - Last synced at: 5 days ago - Pushed at: 20 days ago - Stars: 3 - Forks: 10
abes-esr/idref-queries
Ce dépôt contient des requêtes SPARQL exemple, fonctionnant sur le triple store https://data.idref.fr/sparql contenant les notices IdRef, les métadonnées les plus sémantiques des documents Sudoc qui sont liés à des autorités IdRef, les alignements d'auteurs pour des publications de recherche issus de HAL ou Scienceplus.
Size: 221 KB - Last synced at: 5 days ago - Pushed at: 18 days ago - Stars: 4 - Forks: 5
metwork-framework/docker-drone-repository-dispatch-specific-image
A specific downstream plugin for drone for our use case and our CI hardware
Language: Shell - Size: 26.4 KB - Last synced at: 5 days ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0
medialab/generator-artoo
A simple Yeoman generator to scaffold artoo.js projects.
Language: JavaScript - Size: 180 KB - Last synced at: 7 days ago - Pushed at: over 11 years ago - Stars: 0 - Forks: 0
medialab/ateliers Fork of lalejand/ateliers
Présentation des ateliers BlueHats
Size: 329 KB - Last synced at: 7 days ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
ezpaarse-project/ezpaarse
ezPAARSE can ingest your (proxy) log files and show how users access suscribed electronic ressources.
Language: JavaScript - Size: 52.4 MB - Last synced at: 5 days ago - Pushed at: 29 days ago - Stars: 75 - Forks: 29
openfisca/api.gouv.fr Fork of betagouv/api.gouv.fr
Liste les API disponibles au sein de l'administration française
Size: 22 MB - Last synced at: 5 days ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0
openfisca/openfisca-doc
User guide of OpenFisca
Language: JavaScript - Size: 18.1 MB - Last synced at: 5 days ago - Pushed at: 30 days ago - Stars: 19 - Forks: 23
INRIA/spoon
Spoon is a metaprogramming library to analyze and transform Java source code. :spoon: is made with :heart:, :beers: and :sparkles:. It parses source files to build a well-designed AST with powerful analysis and transformation API.
Language: Java - Size: 35 MB - Last synced at: 6 days ago - Pushed at: 7 days ago - Stars: 1,897 - Forks: 375
betagouv/preuve-covoiturage-vitrine 📦
Site vitrine du Registre de preuve de covoiturage
Language: CSS - Size: 9.86 MB - Last synced at: 5 days ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 5
dnum-sante-ars-data/inspection_controle
Language: Python - Size: 14.6 KB - Last synced at: 5 days ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
istex/istex-api-tools
Dépôt regroupant des scripts permettant de réaliser différents traitements plus ou moins complexes en sortie de l'API (ex: reconstituer un état de collection en CSV)
Language: JavaScript - Size: 785 KB - Last synced at: 5 days ago - Pushed at: almost 8 years ago - Stars: 1 - Forks: 0
GIP-RECIA/esco-grouper-ui 📦
Project abandonned - UI for interne2 grouper, more user-friendly and simplify access for non avanced user use.
Language: Java - Size: 10.3 MB - Last synced at: 5 days ago - Pushed at: almost 10 years ago - Stars: 0 - Forks: 2
genotoul-bioinfo/configs Fork of nf-core/configs
Config files used to define parameters specific to compute environments at different Institutions.
Language: Nextflow - Size: 47.4 MB - Last synced at: 5 days ago - Pushed at: 6 days ago - Stars: 0 - Forks: 0
InseeFrLab/funcamp-r-dock-newcollection
Part of FuncampR project, this repo builds a docker image orchestrating all necessary packages to run learnr, shinyAce and shiny Rmd tutorials.
Language: Dockerfile - Size: 36.1 KB - Last synced at: 5 days ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 1
codegouvfr/codegouvfr-website Fork of codegouvfr/eleventy-dsfr
Dépôt des sources du site principal de la mission logiciels libres.
Language: Nunjucks - Size: 63.3 MB - Last synced at: 7 days ago - Pushed at: 5 months ago - Stars: 6 - Forks: 16
etalab/flask-storage
Simple and easy file storages for Flask
Language: Python - Size: 339 KB - Last synced at: 5 days ago - Pushed at: 20 days ago - Stars: 3 - Forks: 3
PyMoDAQ/pymodaq_plugins_spectrolight
Language: Python - Size: 288 KB - Last synced at: 2 days ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0
CEREMA/dipisite
Language: HTML - Size: 24.4 KB - Last synced at: 6 days ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0
InseeFrLab/tabloid
Package R pour faciliter la réalisation de tableaux croisés de statistiques descriptives
Language: R - Size: 966 KB - Last synced at: 5 days ago - Pushed at: about 1 month ago - Stars: 3 - Forks: 1
InseeFrLab/vite-insee-starter
A template project for SPAs
Language: TypeScript - Size: 2.42 MB - Last synced at: 5 days ago - Pushed at: 7 days ago - Stars: 4 - Forks: 7
ia-flash/frontend
Frontend app to test MatchVec and SivNorm
Language: HTML - Size: 7.11 MB - Last synced at: 5 days ago - Pushed at: about 3 years ago - Stars: 2 - Forks: 0
ambanum/ima-graph-generator 📦
Graph generator of the "Information Manipulation Analyzer" project. The main idea is to be able to display of graph of all quotes and retweets for a specific narrative during the last 7 days.
Language: TypeScript - Size: 291 KB - Last synced at: 5 days ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0
communaute-cimi/scrap-jo-innondations-juin-2016
Constituer un fichier des communes classées en état de catastrophe naturelles (inondations juin 2016)
Language: HTML - Size: 13.3 MB - Last synced at: 5 days ago - Pushed at: over 9 years ago - Stars: 0 - Forks: 0
etalab/zammad-contact-form
A contact form that creates tickets in Zammad on behalf of the sender
Language: Vue - Size: 2.05 MB - Last synced at: 5 days ago - Pushed at: about 3 years ago - Stars: 9 - Forks: 4
InseeFrLab/rstudio-gpu
A rstudio docker image with cuda to work with our datalab
Language: Dockerfile - Size: 6.84 KB - Last synced at: 5 days ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0
erasme/ansible-ruby-compiled 📦
Ansible playbook for compiling specific ruby versions
Language: Shell - Size: 194 KB - Last synced at: 5 days ago - Pushed at: over 10 years ago - Stars: 4 - Forks: 2
lias-laboratory/ontoqlconsole_v1
OntoQLConsole is a CLI (Command-line interface) for OntoQL.
Language: Java - Size: 18.6 KB - Last synced at: 5 days ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
betagouv/quotient-familial 📦
Language: JavaScript - Size: 80.1 KB - Last synced at: 5 days ago - Pushed at: about 10 years ago - Stars: 0 - Forks: 0
Cour-de-cassation/juridependencies
Un repository permettant de faciliter et centraliser l'installation et la maintenance des dépendances de la pipe ODDJ
Language: JavaScript - Size: 5 MB - Last synced at: 5 days ago - Pushed at: 7 days ago - Stars: 0 - Forks: 0
abes-esr/theses-api-recherche
Fournit des services web permettant d'interroger le moteur d'indexation de theses.fr (travail en cours)
Language: Java - Size: 550 KB - Last synced at: 5 days ago - Pushed at: 18 days ago - Stars: 0 - Forks: 0
CEREMA/grist-search-ng
Language: HTML - Size: 81.1 KB - Last synced at: 4 days ago - Pushed at: 5 days ago - Stars: 0 - Forks: 0
aphp/jupyter-eds-notebooks
jupyter-eds-notebooks provides Docker images with preconfigured Jupyter environments for clinical and health data analysis, tailored for AP‑HP Datalabs and the HELIX platform.
Language: Shell - Size: 62.5 KB - Last synced at: 4 days ago - Pushed at: 8 days ago - Stars: 0 - Forks: 1
ezpaarse-project/ezreeport
Reporting service for ezMESURE/ezCOUNTER
Language: TypeScript - Size: 11.9 MB - Last synced at: 5 days ago - Pushed at: 6 days ago - Stars: 3 - Forks: 0
MmgTools/hex2tet Fork of dobrzynski/hex2tet
function to convert a list of hexahedra into a mmg tet mesh
Language: C - Size: 166 KB - Last synced at: 5 days ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 5
DISIC/inventaire
pour cataloguer les démarches et les sites web
Size: 2.93 KB - Last synced at: 5 days ago - Pushed at: over 8 years ago - Stars: 1 - Forks: 0
gemoc/mbse-teaching
Size: 3.91 KB - Last synced at: about 18 hours ago - Pushed at: about 8 years ago - Stars: 2 - Forks: 0
PnCevennes/Qgis-plugin-lineaireRepercussion
Language: Python - Size: 28.3 KB - Last synced at: 7 days ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 0
GeotrekCE/Leaflet.draw Fork of Leaflet/Leaflet.draw
Vector drawing and editing plugin for Leaflet
Language: JavaScript - Size: 13 MB - Last synced at: 5 days ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0
MTES-MCT/rapportnav2
:boat: Outil de rapportage pour le dispositif de contrôle et surveillance des Affaires Maritimes pour le littoral français
Language: Kotlin - Size: 79 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 5 - Forks: 1
