GitHub | Ecosyste.ms: Repos

coq/rocq-prover.org

The Rocq Prover Website

Language: HTML - Size: 240 MB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 10 - Forks: 15

medialab/website

The lab's static website and its admin.

Language: JavaScript - Size: 100 MB - Last synced at: 9 days ago - Pushed at: 23 days ago - Stars: 12 - Forks: 4

betagouv/grist-doc-wk-exporter

Language: Python - Size: 13.7 KB - Last synced at: 7 days ago - Pushed at: 19 days ago - Stars: 0 - Forks: 0

betagouv/datagir 📦

Size: 2.93 KB - Last synced at: 7 days ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0

datalocale/ckanext-sentry Fork of etalab/ckanext-sentry

Sentry support for CKAN

Language: Python - Size: 2.93 KB - Last synced at: 7 days ago - Pushed at: over 8 years ago - Stars: 0 - Forks: 0

betagouv/datapass-api-particulier-bridge 📦

Application de bridge appelée par Data Pass lorsqu'une demande concernant API Particulier est validée.

Language: HTML - Size: 57.6 KB - Last synced at: 7 days ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0

betagouv/covoiturage-site-public 📦

Refonte du site public du registre de preuve de covoiturage

Language: TypeScript - Size: 1.98 MB - Last synced at: 7 days ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 0

Inist-CNRS/node-jbj-rdfa

JBJ RDFa - JBJ module to generate HTML + RDFa

Language: JavaScript - Size: 19.5 KB - Last synced at: 7 days ago - Pushed at: over 9 years ago - Stars: 1 - Forks: 0

metwork-framework/linux_distributions_integration_tests

run some metwork integration tests on various linux distributions

Size: 194 KB - Last synced at: 7 days ago - Pushed at: 22 days ago - Stars: 0 - Forks: 0

Inria-Empenn/anima.github.io

Website for Anima

Language: HTML - Size: 136 MB - Last synced at: 7 days ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

medialab/webclim_youtube

Language: Python - Size: 26.4 KB - Last synced at: 9 days ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0

GIP-RECIA/GLC

Gestion locale des comptes

Language: Java - Size: 15 MB - Last synced at: 7 days ago - Pushed at: 9 days ago - Stars: 0 - Forks: 0

DSI-Universite-Rennes2/moodle-qtype_audio

Language: PHP - Size: 21.5 KB - Last synced at: 7 days ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0

OpenEdition/lodel-doc-user Fork of ValentinGeorgesDubost/Doc-Lodel-Utilisateur

Documentation Utilisateur Lodel

Size: 1.64 MB - Last synced at: 7 days ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

Deducteam/lambdapi-zenon

Lambdapi library for Zenon

Language: Answer Set Programming - Size: 29.3 KB - Last synced at: 5 days ago - Pushed at: 2 months ago - Stars: 1 - Forks: 2

datagouv/assets

Size: 61.4 MB - Last synced at: 7 days ago - Pushed at: 12 days ago - Stars: 0 - Forks: 0

1024pix/pix-json-editor Fork of 1024pix/modulix-editor

Size: 89.8 KB - Last synced at: 6 days ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0

sofa-framework/Sofa.IGTLink

OpenIGTlink integration into SOFA

Language: C++ - Size: 126 KB - Last synced at: 5 days ago - Pushed at: about 1 month ago - Stars: 3 - Forks: 4

metwork-framework/aiohttp_github_helpers 📦

github api helpers for use with aiohttp

Language: Python - Size: 39.1 KB - Last synced at: 7 days ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 1

Deducteam/dedukti.github.io

Webpage for Dedukti

Language: HTML - Size: 137 MB - Last synced at: 4 days ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 4

1024pix/pix-table-replication

Language: JavaScript - Size: 4.88 KB - Last synced at: 5 days ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

coq/roadmaps 📦

This was used to prepare the versions 8.6-8.8.

Size: 62.5 KB - Last synced at: 11 months ago - Pushed at: almost 8 years ago - Stars: 2 - Forks: 1

geovistory/jena Fork of apache/jena

Apache Jena

Size: 404 MB - Last synced at: 7 days ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0

abes-esr/idref-xslt

XSL transfo marcxml_aut to marc21_aut

Language: XSLT - Size: 223 KB - Last synced at: 7 days ago - Pushed at: 6 months ago - Stars: 1 - Forks: 4

CEREMA/AgiRisk

Language: Python - Size: 9.96 MB - Last synced at: 9 days ago - Pushed at: 11 months ago - Stars: 2 - Forks: 2

abes-esr/swish-e-docker

Swish-e search engine in Docker

Language: Dockerfile - Size: 55.7 KB - Last synced at: 7 days ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 3

mimesis-inria/SimRender

Python module for 3D rendering of numerical simulation on runtime.

Language: Python - Size: 61.8 MB - Last synced at: 7 days ago - Pushed at: 11 months ago - Stars: 2 - Forks: 1

1024pix/bootcamp-git

Size: 63.4 MB - Last synced at: 5 days ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

betagouv/grist-core Fork of gristlabs/grist-core

Grist is the evolution of spreadsheets.

Language: TypeScript - Size: 43.9 MB - Last synced at: 9 days ago - Pushed at: 9 days ago - Stars: 1 - Forks: 1

GeotrekCE/Geotrek-admin-starter 📦

Deploy your geotrek

Language: Python - Size: 307 KB - Last synced at: 7 days ago - Pushed at: over 6 years ago - Stars: 3 - Forks: 0

CEREMA/dtermed.faveur

Faveur

Language: JavaScript - Size: 704 KB - Last synced at: 9 days ago - Pushed at: over 9 years ago - Stars: 0 - Forks: 0

Irstea/Redmine-mod-perl-auth Fork of Adirelle/Redmine-mod-perl-auth

An enhanced version of the mod_perl module used to provide Redmine authentication and authorization for Apache (mainly for Subversion HTTP(s) access)

Language: Perl - Size: 19.5 KB - Last synced at: 7 days ago - Pushed at: almost 10 years ago - Stars: 0 - Forks: 0

geobretagne/cyclab

cartographie dynamique de l'indice de cyclabilité

Language: Scheme - Size: 8.8 MB - Last synced at: 8 days ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 1

numerique-gouv/widged

Language: Python - Size: 3.42 MB - Last synced at: 7 days ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

InseeFrLab/funathon2023_sujet6

A la recherche de l'alimentation perdue

Size: 4.79 MB - Last synced at: 7 days ago - Pushed at: about 2 years ago - Stars: 1 - Forks: 4

medialab/twitter-incremental-clustering

Embeddings for event detection and tracking in social media data

Language: Python - Size: 115 KB - Last synced at: 9 days ago - Pushed at: about 2 months ago - Stars: 2 - Forks: 1

coq/coq-bench 📦

Scripts for differential performance testing of Coq packages / versions

Language: Shell - Size: 1.39 MB - Last synced at: 11 months ago - Pushed at: over 4 years ago - Stars: 4 - Forks: 6

atlanmod/UML2NoSQL

Language: Java - Size: 70.3 KB - Last synced at: 7 days ago - Pushed at: about 7 years ago - Stars: 7 - Forks: 2

atlanmod/SparkTE_public

Language: Scala - Size: 71.6 MB - Last synced at: 7 days ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

SciQLop/SciQLop

SciQLop is an ergonomic and efficient application to browse and label in situ plasma measurements from multi-mission satellite data.

Language: Jupyter Notebook - Size: 17.5 MB - Last synced at: 7 days ago - Pushed at: 2 months ago - Stars: 24 - Forks: 6

wookey-project/app-dfu-usb

Wookey: application handling the USB communication in DFU mode

Language: C - Size: 78.1 KB - Last synced at: 8 days ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 1

abes-esr/theses-misc

miscellaneous programs to handle thesis format.

Size: 342 KB - Last synced at: 7 days ago - Pushed at: 3 months ago - Stars: 1 - Forks: 0

openmole/openmole-docker

Language: Shell - Size: 13.7 KB - Last synced at: 6 days ago - Pushed at: over 9 years ago - Stars: 0 - Forks: 1

signaux-faibles/stats

données brutes de stats.signaux-faibles.beta.gouv.fr

Size: 0 Bytes - Last synced at: 2 days ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

betagouv/template.beta.gouv.fr 📦

Template CSS pour les sites de beta.gouv.fr

Language: HTML - Size: 121 MB - Last synced at: 7 days ago - Pushed at: almost 5 years ago - Stars: 3 - Forks: 1

radiofrance/RxLocationManager Fork of popduke/RxLocationManager

A Reactive LocationManager in Swift for iOS/macOS/watchOS/tvOS

Language: Swift - Size: 150 KB - Last synced at: 7 days ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

SciQLop/PyISTP

An ISTP standard layer for CDF files

Language: Jupyter Notebook - Size: 8.06 MB - Last synced at: 7 days ago - Pushed at: 6 months ago - Stars: 1 - Forks: 0

cnigfr/schema-paysage

Language: QML - Size: 115 MB - Last synced at: 4 days ago - Pushed at: 2 months ago - Stars: 2 - Forks: 3

EsupPortail/esup-dematec

Application de dématérialisation des recrutements des enseignants chercheurs et ATER liés à l'application nationale Galaxie.

Language: Java - Size: 2.59 MB - Last synced at: 7 days ago - Pushed at: 26 days ago - Stars: 6 - Forks: 3

diplomatiegouvfr/hornet-js-gc-monitor 📦

Métrologie nodejs des applications Hornet.js

Language: C++ - Size: 5.86 KB - Last synced at: over 1 year ago - Pushed at: almost 10 years ago - Stars: 1 - Forks: 0

diplomatiegouvfr/hornet-generator 📦

Générateur Hornet Papyrus

Language: Xtend - Size: 14.9 MB - Last synced at: over 1 year ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 0

dataesr/bso-openalex

Language: JavaScript - Size: 1.39 MB - Last synced at: 7 days ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0

betagouv/analyse-flux-insertion 📦

Outil d'analyse des flux et échanges de données dans le domaine de l'insertion

Language: JavaScript - Size: 59.4 MB - Last synced at: 7 days ago - Pushed at: about 4 years ago - Stars: 2 - Forks: 1

Inist-CNRS/lodex-users-doc Fork of istex-archives/istex-users-doc

Documentation LODEX orientée utilisateur

Language: Shell - Size: 4.66 MB - Last synced at: 7 days ago - Pushed at: over 8 years ago - Stars: 0 - Forks: 0

SocialGouv/.github

Default Community Health Files for the @SocialGouv organization on GitHub

Language: Dhall - Size: 11.2 MB - Last synced at: 7 days ago - Pushed at: 3 months ago - Stars: 2 - Forks: 1

betagouv/api-particulier 📦

Language: TypeScript - Size: 7.33 MB - Last synced at: 7 days ago - Pushed at: almost 3 years ago - Stars: 4 - Forks: 3

betagouv/designers-transverses 📦

Les Designers Transverses de beta.gouv.fr

Language: Vue - Size: 734 KB - Last synced at: 7 days ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 2

GIP-RECIA/Ressources-Diffusables-UI 📦

UI des ressources diffusables

Language: Vue - Size: 6.17 MB - Last synced at: 7 days ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

LaboratoryOfPlasmaPhysics/kiosk_machines

LPP kiosk slideshow machines setup

Size: 1.95 KB - Last synced at: 9 days ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

suitenumerique/media-sdk Fork of livekit/media-sdk

Size: 364 KB - Last synced at: 4 days ago - Pushed at: 9 days ago - Stars: 1 - Forks: 0

IGNF/FLAIR-2

Semantic segmentation from multi-source optical data (baseline for the FLAIR#2 challenge)

Language: Python - Size: 16.1 MB - Last synced at: 9 days ago - Pushed at: 7 months ago - Stars: 91 - Forks: 14

OKDP/okdp-sandbox

Hands-on sandbox for deploying, testing, and exploring the OKDP (Open Kubernetes Data Platform) ecosystem.

Language: Go Template - Size: 198 KB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 6 - Forks: 5

betagouv/with-react-formidable 📦

A small wrapper parsing react-router location and match to provide helpful form contextual properties.

Language: JavaScript - Size: 675 KB - Last synced at: 7 days ago - Pushed at: about 3 years ago - Stars: 1 - Forks: 1

VIGINUM-FR/DISARM-FR

Size: 5.51 MB - Last synced at: 7 days ago - Pushed at: almost 2 years ago - Stars: 23 - Forks: 2

etalab-ia/doctr Fork of mindee/doctr

Document Text Recognition (DocTR) made seamless, high-performing & accessible to anyone using Deep Learning for OCR-related tasks.

Language: Python - Size: 8.83 MB - Last synced at: 2 days ago - Pushed at: about 4 years ago - Stars: 4 - Forks: 0

AutoriteDeLaConcurrence/markdowndiff

A library for diffing markdown files

Language: Python - Size: 116 KB - Last synced at: 2 days ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

rusticata/rusticata-macros

Helper macros for Rusticata

Language: Rust - Size: 97.7 KB - Last synced at: 7 days ago - Pushed at: 3 months ago - Stars: 5 - Forks: 8

Geographie-cites/thesaR

Language: R - Size: 20.8 MB - Last synced at: 7 days ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0

EsupPortail/esup-nfc-tag-keyboard

Simulation de saisie clavier depuis badegage esup-nfc

Language: Java - Size: 109 KB - Last synced at: 7 days ago - Pushed at: about 1 month ago - Stars: 2 - Forks: 4

abes-esr/abes-documentation-docker

Language: Perl - Size: 22.9 MB - Last synced at: 7 days ago - Pushed at: 27 days ago - Stars: 0 - Forks: 0

openfun/edx-ora2 Fork of openedx/edx-ora2

Open Response Assessment Suite

Language: Python - Size: 77.9 MB - Last synced at: 7 days ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

nantesmetropole/school_meal_forecast_regressions

Language: Jupyter Notebook - Size: 9.03 MB - Last synced at: 8 days ago - Pushed at: almost 5 years ago - Stars: 3 - Forks: 2

AutoriteDeLaConcurrence/decisions-adlc

Decisions published by the French Competition Authority

Language: Shell - Size: 2.05 MB - Last synced at: 2 days ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 1

atlanmod/csy-traceability

Language: Java - Size: 1 MB - Last synced at: 7 days ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 0

eole/opnsense-lang Fork of opnsense/lang

Language translations for OPNsense core and plugins

Language: PHP - Size: 31.3 MB - Last synced at: 7 days ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

DUT-Info-Montreuil/R5A5_2025_Cafe_IUT_KHAN_Naine_RAHMAN_Hamidur

Application Click & Collect Café IUT (TP)

Language: TypeScript - Size: 7.7 MB - Last synced at: 9 days ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

anct-cnum/portail-conseiller 📦

Outils des conseillers numériques (CRA...)

Language: JavaScript - Size: 15 MB - Last synced at: 7 days ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

betagouv/aplypro

Aplypro - Allocation pour les lycéens pro

Language: Ruby - Size: 4.24 MB - Last synced at: 7 days ago - Pushed at: 12 days ago - Stars: 7 - Forks: 3

fluiddyn/install-locked-env

Helper to install (web) locked environments (publish-only mirror). Main repo: https://foss.heptapod.net/fluiddyn/install-locked-env

Language: Python - Size: 179 KB - Last synced at: 6 days ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0

lutece-platform/lutece-auth-module-mylutece-saml

Module MyLutece SAML

Language: Java - Size: 92.8 KB - Last synced at: 5 days ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

betagouv/svair-mock-data 📦

CMS-managed dataset to feed the Svair mock application

Language: HTML - Size: 195 KB - Last synced at: 7 days ago - Pushed at: about 5 years ago - Stars: 1 - Forks: 21

SocialGouv/k8s 📦

Language: TypeScript - Size: 351 KB - Last synced at: 7 days ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0

ansforge/SMT-Metadonnes-Transformer_owl

Language: Java - Size: 24.4 KB - Last synced at: 11 months ago - Pushed at: about 2 years ago - Stars: 1 - Forks: 0

unistra/apo-webservices-stub-server

Stub Apo Web Services serveur pour ESUP-Stage

Language: Java - Size: 104 KB - Last synced at: 7 days ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0

spyrales/quarto-gouv

A Quarto extension for French governmental documents

Size: 346 KB - Last synced at: 8 days ago - Pushed at: about 3 years ago - Stars: 17 - Forks: 0

mission-apprentissage/labonnealternance

La bonne alternance a vocation à faciliter la mise en relation des jeunes avec les centres de formation d'apprentis (CFA) et les entreprises

Language: TypeScript - Size: 43.7 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 12 - Forks: 6

ansforge/ROR-indicateurs-BI-SQL

Codes sources des tables d'indicateurs ROR exécutés dans la plateforme BI de l'ANS. Le repository permet en outre de gérer le versionning des développements réalisés sur les tables d'indicateurs.

Language: TSQL - Size: 65.4 KB - Last synced at: 7 days ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

betagouv/dashlord-backup Fork of betagouv/dashlord

Backup 17/01/2024

Size: 9.36 GB - Last synced at: about 1 year ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

openfisca/openfisca-core

OpenFisca core engine. See other repositories for countries-specific code & data.

Language: Python - Size: 27.5 MB - Last synced at: 7 days ago - Pushed at: 16 days ago - Stars: 207 - Forks: 84

observatoire-territoires/sgf

Old french statistics

Language: R - Size: 96.3 MB - Last synced at: 8 days ago - Pushed at: over 1 year ago - Stars: 11 - Forks: 0

unistra/p5-sympa-client-scappy

Scrapper to Sympa 5.x administration webapp

Language: Perl - Size: 133 KB - Last synced at: 7 days ago - Pushed at: almost 11 years ago - Stars: 0 - Forks: 0

SocialGouv/dila2sql Fork of Legilibre/legi.py 📦

Outils pour générer des bases SQL à partir des jeux de données légales de la DILA

Language: Python - Size: 15.5 MB - Last synced at: 7 days ago - Pushed at: about 6 years ago - Stars: 6 - Forks: 1