GitHub
coq/stdlib2
Language: Coq - Size: 80.1 KB - Last synced at: 10 months ago - Pushed at: over 1 year ago - Stars: 39 - Forks: 9
CatalaLang/catala-format
Language: Scheme - Size: 34.3 MB - Last synced at: about 10 hours ago - Pushed at: 22 days ago - Stars: 4 - Forks: 0
fluiddyn/fluidhowto
Source of the fluidhowto Jupyter book (readonly mirror of https://foss.heptapod.net/fluiddyn/fluidhowto).
Language: Jupyter Notebook - Size: 426 KB - Last synced at: 4 days ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0
lutece-secteur-public/franceconnect-module-oauth2-franceconnect
Language: Java - Size: 36.1 KB - Last synced at: 7 days ago - Pushed at: 25 days ago - Stars: 0 - Forks: 1
openfun/ashley
:speech_balloon: A self-hosted multi-tenant discussion forum for learning
Language: Python - Size: 2.4 MB - Last synced at: about 9 hours ago - Pushed at: 2 days ago - Stars: 12 - Forks: 1
messagerie-melanie2/mel_archivage
DĂ©pots du plugin d'archivage pour le webmail
Language: PHP - Size: 25.4 KB - Last synced at: about 8 hours ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0
openfisca/support-bot 📦
This smalls bot helps the OpenFisca team remember users are waiting for their help!
Language: JavaScript - Size: 2.93 KB - Last synced at: 7 days ago - Pushed at: almost 8 years ago - Stars: 1 - Forks: 0
Semantic-Data-for-Humanities/HisArc-RDF
DĂ©pĂ´t du projet ANR HisArc-RDF
Size: 1.46 MB - Last synced at: 4 months ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
lutece-secteur-public/gru-module-workflow-notifygru-alert
Language: Java - Size: 268 KB - Last synced at: 7 days ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 8
coq/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
Language: OCaml - Size: 194 MB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 4,997 - Forks: 676
GHFC/HyPyP Fork of ppsp-team/HyPyP
The Hyperscanning Python Pipeline
Language: Jupyter Notebook - Size: 22.8 MB - Last synced at: about 10 hours ago - Pushed at: about 5 years ago - Stars: 10 - Forks: 3
MTES-MCT/nmap-action
Scan open ports with vulnerabilities and report results as JSON.
Language: JavaScript - Size: 593 KB - Last synced at: 7 days ago - Pushed at: over 2 years ago - Stars: 5 - Forks: 5
ina-foss/afp-api-client
Java client library to access AFP API
Language: Java - Size: 131 KB - Last synced at: about 8 hours ago - Pushed at: almost 2 years ago - Stars: 2 - Forks: 0
EsupPortail/esup-portlet-intranet
Language: JavaScript - Size: 1.89 MB - Last synced at: about 5 hours ago - Pushed at: almost 12 years ago - Stars: 1 - Forks: 1
ASNR-fr/TelerayAlert Fork of IRSN/TelerayAlert
Size: 1.64 MB - Last synced at: 4 days ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0
ezpaarse-project/ezpaarse-process
Language: TypeScript - Size: 703 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0
openfun/potsie
:bar_chart: Grafana dashboards suite for learning analytics
Language: Jsonnet - Size: 6.25 MB - Last synced at: about 9 hours ago - Pushed at: 10 months ago - Stars: 10 - Forks: 3
aphp/Cohort360-AdministrationPortal
Language: TypeScript - Size: 4.26 MB - Last synced at: 7 days ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0
openfisca/openfisca-country-template-api
Production version of the demo API based on the OpenFisca Country Template
Size: 21.5 KB - Last synced at: 7 days ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
betagouv/etudiant-entrepreneur 📦
Faciliter l'accès au statut Etudiant entrepreneur et à ses bénéfices
Language: JavaScript - Size: 33.6 MB - Last synced at: 7 days ago - Pushed at: over 7 years ago - Stars: 3 - Forks: 7
LaboratoryOfPlasmaPhysics/PLASMAG
Language: Python - Size: 817 KB - Last synced at: 3 days ago - Pushed at: 9 months ago - Stars: 0 - Forks: 2
1024pix/pix-renovate-test Fork of 1024pix/pix
Service public d'évaluation et de certification des compétences numériques pour tous.
Language: JavaScript - Size: 854 MB - Last synced at: 4 days ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0
CEREMA/copro-occitanie
Recensement des copropriétés en Occitanie
Size: 0 Bytes - Last synced at: 3 days ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0
lutece-secteur-public/gru-module-identitystore-fccertifier
Module Identity Store Certification FranceConnect
Language: Java - Size: 641 KB - Last synced at: 7 days ago - Pushed at: 25 days ago - Stars: 0 - Forks: 0
datagouv/dashboard-reporting-europe
Language: Python - Size: 16.6 KB - Last synced at: 4 days ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0
erasme/erasme-roles-specs 📦
Specs for ERASME ansible roles
Language: Shell - Size: 223 KB - Last synced at: about 8 hours ago - Pushed at: over 10 years ago - Stars: 0 - Forks: 0
gemoc/animewater
Anime Water website
Language: CSS - Size: 385 KB - Last synced at: 3 days ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
LaboratoryOfPlasmaPhysics/teamcity_rest_client
Language: Python - Size: 11.7 KB - Last synced at: 3 days ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0
afimb/siri-validator 📦
Siri Validation Tools
Language: Java - Size: 76.2 KB - Last synced at: about 9 hours ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 0
plasmabio/plasmabio.github.io
PlasmaBio website
Language: HTML - Size: 149 KB - Last synced at: about 8 hours ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 2
lutece-secteur-public/espacepublic-module-workflow-dansmarue
Tâches de workflow spécifiques au traitement des signalements de DansMaRue
Language: Java - Size: 430 KB - Last synced at: 7 days ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 2
betagouv/matomo-to-pg
matomo-to-pg: Sync some matomo tables from MySQL to PostgreSQL.
Language: JavaScript - Size: 339 KB - Last synced at: 7 days ago - Pushed at: 3 months ago - Stars: 0 - Forks: 1
lutece-secteur-public/gru-library-identitystore
Language: Java - Size: 551 KB - Last synced at: 7 days ago - Pushed at: 16 days ago - Stars: 0 - Forks: 2
openfun/edx_data_scripts Fork of chiaracoetzee/edx_data_scripts
Scripts for importing and analyzing data dumps from edX.
Language: Python - Size: 129 KB - Last synced at: about 9 hours ago - Pushed at: over 12 years ago - Stars: 0 - Forks: 0
MTES-MCT/trackdechets-gotenberg
Guide d'administration du serveur Gotenberg Trackdéchets
Size: 5.86 KB - Last synced at: 7 days ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0
LaboratoryOfPlasmaPhysics/kaa-setup
Language: Shell - Size: 115 KB - Last synced at: 3 days ago - Pushed at: almost 2 years ago - Stars: 1 - Forks: 0
sofa-framework/SofaAssimp
Add components to use Assimp in SOFA
Language: C++ - Size: 3.56 MB - Last synced at: 7 days ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0
ApieFrance/ApieFrance.github.io
L'APIE sur Github, pourquoi et comment ?
Language: JavaScript - Size: 152 KB - Last synced at: about 10 hours ago - Pushed at: almost 11 years ago - Stars: 0 - Forks: 0
linbox-team/linbox
LinBox - C++ library for exact, high-performance linear algebra
Language: C++ - Size: 221 MB - Last synced at: about 9 hours ago - Pushed at: 28 days ago - Stars: 96 - Forks: 29
afimb/webtopo_api 📦
webtopo_api is a Java library that implements Web Service for initializing a SIRI server with planned timetable for a day
Size: 145 KB - Last synced at: about 9 hours ago - Pushed at: over 11 years ago - Stars: 2 - Forks: 0
opendatateam/udata
Customizable and skinnable social platform dedicated to open data.
Language: Python - Size: 32.6 MB - Last synced at: about 8 hours ago - Pushed at: about 12 hours ago - Stars: 248 - Forks: 89
IGNF-Ma-carte/mcaddresses
Macarte geocoder app
Language: JavaScript - Size: 48.9 MB - Last synced at: 7 days ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0
numerique-gouv/dimail-ui
UI tools and plugins for DIMAIL
Language: JavaScript - Size: 136 KB - Last synced at: 9 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
lutece-secteur-public/espacepublic-module-dansmarue-leaflet
Gestion des cartes de DansMaRue
Language: Java - Size: 268 KB - Last synced at: 7 days ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 2
publicodes/tree-sitter-publicodes
Publicodes grammar for tree-sitter
Language: JavaScript - Size: 866 KB - Last synced at: 7 days ago - Pushed at: 7 months ago - Stars: 1 - Forks: 1
betagouv/beta-to-airtable Fork of jeremiecook/startups-airtable
Language: Python - Size: 39.1 KB - Last synced at: 7 days ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0
LaboratoryOfPlasmaPhysics/teamcity-docker-server Fork of JetBrains/teamcity-docker-server
Language: Dockerfile - Size: 31.3 KB - Last synced at: 3 days ago - Pushed at: 17 days ago - Stars: 0 - Forks: 0
powerapi-ng/selfwatts-controller 📦
HwPC-Sensor controller for the SelfWatts power meter.
Language: Python - Size: 17.6 KB - Last synced at: about 9 hours ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
Inist-CNRS/node-formatik
To validate associative arrays
Language: JavaScript - Size: 248 KB - Last synced at: about 10 hours ago - Pushed at: over 11 years ago - Stars: 3 - Forks: 0
SocialGouv/test-renovate
testing renovate configs
Size: 49.8 KB - Last synced at: 7 days ago - Pushed at: 5 months ago - Stars: 0 - Forks: 1
EsupPortail/cas-server-support-agimus-cookie
Intégration of cookie Agimus for CAS
Language: Java - Size: 37.1 KB - Last synced at: about 5 hours ago - Pushed at: 8 months ago - Stars: 0 - Forks: 2
OPIDoR/maDMP-OPIDoR_documentation
Language: HTML - Size: 6.56 MB - Last synced at: about 9 hours ago - Pushed at: 15 days ago - Stars: 0 - Forks: 0
vle-forge/rvle
R wrapper
Language: C++ - Size: 636 KB - Last synced at: about 9 hours ago - Pushed at: about 3 years ago - Stars: 1 - Forks: 3
Spirals-Team/peak-forecast
Absorbing traffic peaks whenever they happen.
Language: Java - Size: 227 KB - Last synced at: about 5 hours ago - Pushed at: over 10 years ago - Stars: 1 - Forks: 0
InseeFr/Destinie-2
Modèle de microsimulation dynamique
Language: C++ - Size: 69.9 MB - Last synced at: 3 days ago - Pushed at: over 5 years ago - Stars: 9 - Forks: 14
INRIA/sum-network-design-bike-sharing
Demo for Designing Service Regions for Bike Sharing Systems: Integration with Public Transport Networks. Developed within INOCS team at INRIA
Language: Jupyter Notebook - Size: 8.33 MB - Last synced at: about 8 hours ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0
etalab/schema-generic-template
Un schéma générique pour schema.data.gouv.fr
Size: 14.6 KB - Last synced at: 7 days ago - Pushed at: about 5 years ago - Stars: 2 - Forks: 1
1024pix/pix-redirect
Size: 2.93 KB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
mnfst/docs
Manifest Docs
Size: 3.24 MB - Last synced at: 5 days ago - Pushed at: about 1 month ago - Stars: 2 - Forks: 10
crillab/rubens
RUBENS is a library designed to generate test cases in an automatic way using translation rules. It is delivered with some builtin test generators and an interface conceived in order to create new ones with few effort.
Language: Java - Size: 585 KB - Last synced at: 7 days ago - Pushed at: almost 2 years ago - Stars: 3 - Forks: 0
DNUM-SocialGouv/eclaire
Espace de stockage et API donnant accès à des données exhaustives en langue française et actualisées sur les essais cliniques en France. L’objectif est de valoriser les données sur les essais cliniques à travers un dispositif numérique capable de favoriser la recherche et l’inclusion des volontaires dans les essais cliniques.
Language: TypeScript - Size: 3.9 MB - Last synced at: 7 days ago - Pushed at: 15 days ago - Stars: 3 - Forks: 1
anct-cnum/suite-gestionnaire-numerique
Mon Inclusion Numérique
Language: TypeScript - Size: 6.41 MB - Last synced at: about 9 hours ago - Pushed at: about 14 hours ago - Stars: 1 - Forks: 1
1024pix/pix-captain-test
Language: Shell - Size: 49.8 KB - Last synced at: 4 days ago - Pushed at: 15 days ago - Stars: 0 - Forks: 0
InseeFr/CSPA-SA-Client Fork of crwebcr/CSPA-SA-Client
Web client for the CSPA Time Series Service
Language: JavaScript - Size: 138 KB - Last synced at: 3 days ago - Pushed at: about 9 years ago - Stars: 0 - Forks: 0
clipos-archive/clipos4_manifest
CLIP OS 4 Manifest
Size: 10.7 KB - Last synced at: about 9 hours ago - Pushed at: over 6 years ago - Stars: 21 - Forks: 0
InseeFr/Pearl-Jam-Batch
Batch processing services for Peal Jam
Language: Java - Size: 645 KB - Last synced at: 3 days ago - Pushed at: 10 days ago - Stars: 0 - Forks: 2
DGA-MI-SSI/unicorn Fork of unicorn-engine/unicorn
Unicorn CPU emulator framework (ARM, AArch64, M68K, Mips, Sparc, X86)
Language: C - Size: 9.05 MB - Last synced at: about 9 hours ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0
mission-apprentissage/idea-front 📦
Language: JavaScript - Size: 906 KB - Last synced at: 22 days ago - Pushed at: almost 5 years ago - Stars: 1 - Forks: 0
MinistereSupRecherche/sies
Sous-direction des systèmes d'information et des études statistiques (SIES)
Size: 0 Bytes - Last synced at: about 9 hours ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
Bibliome/alvisae-archived 📦
Language: Java - Size: 81.2 MB - Last synced at: about 9 hours ago - Pushed at: over 8 years ago - Stars: 1 - Forks: 0
clipos-archive/src_platform_cryptd
cryptd: inter-jail encryption/decryption daemon
Language: C - Size: 120 KB - Last synced at: about 9 hours ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 0
crillab/juniverse
JUNIVERSE is a JAVA version of UNIVERSE library and proposes generic interfaces for combinatorial problems solvers.
Language: Java - Size: 1.42 MB - Last synced at: 7 days ago - Pushed at: about 2 years ago - Stars: 1 - Forks: 0
IRSN/data_LoireSully-TelemacV8
Language: R - Size: 43.8 MB - Last synced at: about 9 hours ago - Pushed at: almost 2 years ago - Stars: 1 - Forks: 0
PnEcrins/R-mesures-physiques
Packages R de traitement de données de mesures physiques
Size: 23.4 KB - Last synced at: 7 days ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0
messagerie-melanie2/Roundcube-Mel
This repository contains the Bnum version of Roundcube
Language: PHP - Size: 41.2 MB - Last synced at: about 8 hours ago - Pushed at: 7 days ago - Stars: 6 - Forks: 2
clipos-archive/src_platform_clip-config
graphical configuration tool
Language: C++ - Size: 161 KB - Last synced at: about 9 hours ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 0
ProgrammeVitam/java-libpst-origin Fork of rjohnsondev/java-libpst
A library to read PST files with java, without need for external libraries.
Language: Java - Size: 2.41 MB - Last synced at: about 9 hours ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 1
ANSSI-FR/ADTimeline
Timeline of Active Directory changes with replication metadata
Language: PowerShell - Size: 1020 KB - Last synced at: 7 days ago - Pushed at: 7 months ago - Stars: 515 - Forks: 66
ProgrammeVitam/vitam-grafana-dashboards
Size: 12.7 KB - Last synced at: about 9 hours ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
centreborelli/rafablur
Language: C - Size: 5.86 KB - Last synced at: 7 days ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0
DUT-Info-Montreuil/saedevwebExauce_Judley_Kurtys
Size: 0 Bytes - Last synced at: 7 months ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0
France-Travail/multi-repo-sbom-toolkit
Scripts pour automatiser la génération de SBOMs à partir de plusieurs dépôts Git, en utilisant ORT et ScanCode Toolkit. Permet de produire à la fois des analyses individuelles par projet et une analyse consolidée de l’ensemble.
Language: Python - Size: 4.88 KB - Last synced at: 5 days ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0
ProgrammeVitam/vitam-itests
Language: Gherkin - Size: 439 MB - Last synced at: about 9 hours ago - Pushed at: 1 day ago - Stars: 1 - Forks: 5
centreborelli/msmw3
simd-optimized multi-scale multi-window correlator
Language: C++ - Size: 4.41 MB - Last synced at: 7 days ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 2
DUT-Info-Montreuil/SaeConnect_Front
Language: HTML - Size: 327 KB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0
atlanmod/LazyOcl_StateMachineExample
State Machine Model & queries example for evaluation of Lazy OCL
Size: 13 MB - Last synced at: about 9 hours ago - Pushed at: almost 10 years ago - Stars: 0 - Forks: 0
MTES-MCT/choisir-une-licence
Size: 2.93 KB - Last synced at: 7 days ago - Pushed at: about 6 years ago - Stars: 5 - Forks: 4
SocialGouv/test-ssl-action Fork of mbogh/test-ssl-action
testssl.sh GitHub Action
Size: 150 KB - Last synced at: 7 days ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
betagouv/dashlord
Tableau de bord des métriques techniques
Language: HTML - Size: 2.6 GB - Last synced at: 7 days ago - Pushed at: 12 days ago - Stars: 0 - Forks: 2
LemonLDAPNG/lemonldap-mfiles-extension
An extension for LemonLDAP::NG to to Single Sign On on MFiles
Language: Perl - Size: 145 KB - Last synced at: about 9 hours ago - Pushed at: over 11 years ago - Stars: 1 - Forks: 0
SciQLop/SciQLopCache 📦
Language: Jupyter Notebook - Size: 44.9 KB - Last synced at: about 8 hours ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0
betagouv/mas 📦
DÉPRÉCIÉ
Language: HTML - Size: 5.57 MB - Last synced at: 7 days ago - Pushed at: over 9 years ago - Stars: 0 - Forks: 2
DUT-Info-Montreuil/Traveleef_app
Language: Python - Size: 3.71 MB - Last synced at: about 5 hours ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0
LemonLDAPNG/ldapcon2019-llng-workshop Fork of Worteks/ldapcon2019-llng-workshop
Workshop on LemonLDAP::NG for LDAPCon 2019
Size: 3.37 MB - Last synced at: about 9 hours ago - Pushed at: almost 6 years ago - Stars: 0 - Forks: 0
InseeFr/Meleze
Modèle macro-économique Mélèze
Language: MATLAB - Size: 1.76 MB - Last synced at: 3 days ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 0
EsupPortail/agimus-ng.repo
Repository Agimus NG
Language: Shell - Size: 3.39 MB - Last synced at: about 5 hours ago - Pushed at: about 10 years ago - Stars: 2 - Forks: 0
medialab/website-medialab-tweets
This repository contains a github actions and its goal is to scrape the 50 latest tweets of médialab everyday.
Size: 1.56 MB - Last synced at: 7 days ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0
centreborelli/ponomarenko_multi_image
Extension of Ponomarenko Noise Estimation method for a sequence of images.
Language: C++ - Size: 6.22 MB - Last synced at: 7 days ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0
DSI-Universite-Rennes2/markup-validator Fork of w3c/markup-validator
Language: HTML - Size: 6.51 MB - Last synced at: about 20 hours ago - Pushed at: almost 10 years ago - Stars: 0 - Forks: 0
cnigfr/covadis-OpenAPI Fork of rmitanch/covadis-OpenAPI
expérimentation d'exposition des données d'un géostandard COVADIS au travers d'une interface OpenAPI
Size: 40 KB - Last synced at: 4 days ago - Pushed at: about 6 years ago - Stars: 1 - Forks: 0
