GitHub | Ecosyste.ms: Repos

Deducteam/Construkti

A double negation translator for higher-order Dedukti proofs

Language: OCaml - Size: 1.13 MB - Last synced at: about 1 month ago - Pushed at: 5 months ago - Stars: 3 - Forks: 1

JMMC-OpenDev/training-docs

Sources of documentation provided by the JMMC training team

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

etalab-ia/evalap 📦

Model Evaluation API and Platform.

Language: Python - Size: 60.1 MB - Last synced at: about 1 month ago - Pushed at: 10 months ago - Stars: 21 - Forks: 5

etalab-ia/ami-ia 📦

Recense les ressources utiles au programme AMI IA

Language: Jupyter Notebook - Size: 36.4 MB - Last synced at: about 1 month ago - Pushed at: about 5 years ago - Stars: 3 - Forks: 1

etalab-ia/data_gouv_fr_mcp_server 📦

Language: Python - Size: 26.4 KB - Last synced at: about 1 month ago - Pushed at: 9 months ago - Stars: 0 - Forks: 1

139bercy/first-ghpages-by-travis

First GitHub pages by Travis CI

Size: 209 KB - Last synced at: about 1 month ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 0

cloud-gouv/securix-infra-reference-implementation

Reference Infra for Securix (provided "as is")

Language: Nix - Size: 104 KB - Last synced at: about 1 month ago - Pushed at: 7 months ago - Stars: 1 - Forks: 0

betagouv/dsfr-chart Fork of GouvernementFR/dsfr-chart

🇫🇷 Data visualization library supported by french government's design system (Système de Design de l'État)

Language: Vue - Size: 17.8 MB - Last synced at: about 1 month ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0

GIP-RECIA/karuta-backend Fork of karutaproject/karuta-backend_legacy

Data repository for Karuta. Can write into MySQL and Oracle databases.

Language: Java - Size: 21.1 MB - Last synced at: about 1 month ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0

riatelab/valh

Interface between R and the OpenStreetMap-based routing service Valhalla

Language: R - Size: 1.05 MB - Last synced at: about 1 month ago - Pushed at: 9 months ago - Stars: 26 - Forks: 1

lutece-platform/lutece-tech-plugin-importexport

Language: Java - Size: 188 KB - Last synced at: about 1 month ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 1

signaux-faibles/wekan-alerter

wekan-alerter

Language: Go - Size: 44.9 KB - Last synced at: 5 months ago - Pushed at: almost 4 years ago - Stars: 1 - Forks: 0

etalab-ia/data_gouv_text

Code du dataset Texte provenant des pdfs trouvés sur data.gouv.fr

Language: Python - Size: 317 KB - Last synced at: about 1 month ago - Pushed at: over 5 years ago - Stars: 2 - Forks: 0

etalab-ia/opendatascience 📦

Code and experiments made during my Open Data Sccience stage at Etalab.

Language: Jupyter Notebook - Size: 292 MB - Last synced at: about 1 month ago - Pushed at: about 6 years ago - Stars: 2 - Forks: 0

riatelab/fisheye

Transform base maps using log-azimuthal projection

Language: R - Size: 50.9 MB - Last synced at: about 1 month ago - Pushed at: over 2 years ago - Stars: 18 - Forks: 1

MTES-MCT/Keycloak-FranceConnect

Plugin France connect pour Keycloak

Language: Java - Size: 1.02 MB - Last synced at: about 1 month ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

dnum-mi/dso-bn-service

Language: Mustache - Size: 25.4 KB - Last synced at: about 1 month ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

grame-cncm/faustbrowser-mcp

Faust browser MCP

Language: JavaScript - Size: 368 KB - Last synced at: about 1 month ago - Pushed at: 8 months ago - Stars: 24 - Forks: 3

Deducteam/unikodo

Flexible and friendly tooling for Unicode

Language: TeX - Size: 9.03 MB - Last synced at: about 1 month ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0

betagouv/boussole 📦

Accède au conseil qualifié d'un·e professionnel·le, près de chez toi, pour t'aider dans tes projets de formation, de logement, d'activité et de santé

Language: Ruby - Size: 2.17 MB - Last synced at: about 1 month ago - Pushed at: over 9 years ago - Stars: 3 - Forks: 6

lutece-secteur-public/gru-module-appointment-management

Language: Java - Size: 138 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 6

etalab-ia/ami-ia-chub 📦

Dépôt de code pour le projet AMI IA 2 du CHU de Bordeaux.

Language: Python - Size: 8.32 MB - Last synced at: about 1 month ago - Pushed at: over 5 years ago - Stars: 2 - Forks: 1

signaux-faibles/gorncs-api Fork of chrnin/gorncs-api 📦

API pour le Registre National du Commerce et des Sociétés

Language: Go - Size: 5.1 MB - Last synced at: 5 months ago - Pushed at: almost 3 years ago - Stars: 3 - Forks: 1

Deducteam/lambdapi-zenon

Lambdapi library for Zenon

Language: Lambdapi - Size: 37.1 KB - Last synced at: about 1 month ago - Pushed at: 4 months ago - Stars: 1 - Forks: 3

ansforge/interop-outil-fhir-sas-test-kit

Language: Ruby - Size: 1.32 MB - Last synced at: about 1 month ago - Pushed at: 2 months ago - Stars: 2 - Forks: 0

Deducteam/sublime-lambdapi

Grammar of the Lambdapi language

Size: 1.95 KB - Last synced at: about 1 month ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

Deducteam/eo2lp

Tool for translating Eunoia to LambdaPi

Language: TeX - Size: 6.79 MB - Last synced at: about 1 month ago - Pushed at: 4 months ago - Stars: 1 - Forks: 1

InseeFrLab/BootcampJS-JS

Code javascript et documentation du bootcamp react

Language: JavaScript - Size: 2.02 MB - Last synced at: about 1 month ago - Pushed at: almost 3 years ago - Stars: 1 - Forks: 1

openfisca/legislation-explorer

Explore legislation formulas and parameters.

Language: JavaScript - Size: 1.86 MB - Last synced at: about 1 month ago - Pushed at: over 1 year ago - Stars: 27 - Forks: 13

betagouv/andi-matching 📦

Composant service matching d'ANDi

Language: Python - Size: 729 KB - Last synced at: about 1 month ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 0

ansforge/interop-outil-nrc-validateur-batch

Validateur d'imports batch dans l'édition française SNOMED CT

Language: Python - Size: 177 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 2

dnum-mi/referentiel-applications-slides

présentation du référentiel d'applications

Language: Dockerfile - Size: 3.56 MB - Last synced at: about 1 month ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0

lutece-platform/lutece-tech-library-image

Language: Java - Size: 75.2 KB - Last synced at: about 1 month ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 1

cea-hpc/MaHyCo

Language: C++ - Size: 472 MB - Last synced at: about 1 month ago - Pushed at: 4 months ago - Stars: 6 - Forks: 5

cea-hpc/rbh-find 📦

Language: C - Size: 771 KB - Last synced at: about 1 month ago - Pushed at: over 3 years ago - Stars: 3 - Forks: 0

cea-hpc/pattern4gpu

GPU loop patterns test bench for code over Arcane

Language: C++ - Size: 465 KB - Last synced at: about 1 month ago - Pushed at: almost 3 years ago - Stars: 2 - Forks: 1

cea-hpc/mpi_stream

Benchmark for memory bandwidth

Language: C - Size: 50.8 KB - Last synced at: about 1 month ago - Pushed at: over 3 years ago - Stars: 5 - Forks: 1

cea-hpc/milkcheck

Highly parallel and flexible service manager.

Language: Python - Size: 579 KB - Last synced at: about 1 month ago - Pushed at: over 1 year ago - Stars: 25 - Forks: 7

cea-hpc/kpatch Fork of dynup/kpatch

kpatch - live kernel patching

Language: C - Size: 2.24 MB - Last synced at: about 1 month ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

betagouv/pr-reviews-reminder-action Fork of DavideViolante/pr-reviews-reminder-action 📦

A GitHub Action to send Mattermost notifications for Pull Request that are waiting for reviewers.

Language: JavaScript - Size: 716 KB - Last synced at: about 1 month ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

Deducteam/rocq-hollight

Translation of HOL-Light libraries in Rocq

Language: Rocq Prover - Size: 1.44 MB - Last synced at: about 1 month ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 3

dnum-mi/dso-siaf-runner-deploy

Language: Shell - Size: 3.91 KB - Last synced at: about 1 month ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

dnum-mi/referentiel-applications-specs

spécifications canel

Size: 141 KB - Last synced at: about 1 month ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

dnum-mi/dso-doc 📦

Size: 7.81 KB - Last synced at: about 1 month ago - Pushed at: about 4 years ago - Stars: 2 - Forks: 0

dataesr/bso-coverage

Compare coverage between BSO and OpenAlex

Language: Jupyter Notebook - Size: 679 KB - Last synced at: about 1 month ago - Pushed at: almost 3 years ago - Stars: 1 - Forks: 0

MTES-MCT/boris

La plateforme d'information et de simulation du Bail Réel Solidaire

Language: TypeScript - Size: 12.2 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 4 - Forks: 0

cea-hpc/kerberos-docker Fork of criteo/kerberos-docker

Run kerberos environment in docker containers

Size: 15.2 MB - Last synced at: about 1 month ago - Pushed at: about 3 years ago - Stars: 1 - Forks: 0

DGAC/nmb2b-client-js-example

DGAC NM B2B Client usage example

Language: TypeScript - Size: 50.8 KB - Last synced at: about 1 month ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0

betagouv/pivot-recorder 📦

Application minimiste pour la collecte des données d'identité pivot pour une expérimentation de l'équipe Aides Jeunes (1 mois en production)

Language: TypeScript - Size: 52.7 KB - Last synced at: about 1 month ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

MTES-MCT/qualicharge-geoviz-public

Language: Python - Size: 70.3 KB - Last synced at: about 1 month ago - Pushed at: about 3 years ago - Stars: 1 - Forks: 0

betagouv/anssi-mes-questions-cyber-journal

Language: JavaScript - Size: 32.2 KB - Last synced at: about 1 month ago - Pushed at: 4 months ago - Stars: 1 - Forks: 0

betagouv/hat 📦

CLI tool to retrieve WHOIS information and Fraud Scores from IPs, including anonymized ones.

Language: JavaScript - Size: 83 KB - Last synced at: about 1 month ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0

dnum-mi/referentiel-applications-mcp

Language: Python - Size: 10.7 KB - Last synced at: about 1 month ago - Pushed at: 6 months ago - Stars: 1 - Forks: 0

dnum-mi/ds-api-client

Client d'API DémarcheSimplifiée

Language: TypeScript - Size: 892 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 3 - Forks: 4

GIP-RECIA/moodle_local_additionalhtmlfooter

Language: PHP - Size: 8.79 KB - Last synced at: about 1 month ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0

gemoc/SiriusAnimator Fork of SiriusLab/ModelDebugging

Runtime and tools to bring execution and simulation in your domain specific tooling built with Sirius and/or Eclipse Modeling Framework.

Language: Java - Size: 113 MB - Last synced at: about 1 month ago - Pushed at: over 10 years ago - Stars: 1 - Forks: 0

betagouv/ansible-role-webhook Fork of totaldebug/ansible-role-webhook 📦

Ansible role to install adnanh webhooks server

Language: Jinja - Size: 50.8 KB - Last synced at: about 1 month ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0

MTES-MCT/resorption-bidonvilles

Résorption des bidonvilles

Language: TypeScript - Size: 1.2 GB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 6 - Forks: 5

betagouv/jagis-mobile

Des solutions concrètes et locales pour vivre mieux, aujourd’hui et demain.

Language: Dart - Size: 16.4 MB - Last synced at: about 1 month ago - Pushed at: 11 months ago - Stars: 7 - Forks: 2

cea-hpc/pcocc

Run VMs on an HPC cluster

Language: Python - Size: 2.7 MB - Last synced at: about 1 month ago - Pushed at: 5 months ago - Stars: 55 - Forks: 16

cea-hpc/mercurio

Language: Python - Size: 26.4 KB - Last synced at: about 1 month ago - Pushed at: almost 7 years ago - Stars: 1 - Forks: 0

dnum-mi/suadeo-test-argocd

Size: 171 KB - Last synced at: about 1 month ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

mnfst/manifest-lego Fork of mnfst/manifest

Portable backend to ship fast.

Size: 18.8 MB - Last synced at: 11 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

dnum-mi/git-template-bonnes-pratiques

défintions et implémentations des bonnes pratiques CI/CD dans le contexte github

Language: JavaScript - Size: 3 MB - Last synced at: about 1 month ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

mnfst/manifest-starter-image

Docker image of a Manifest starter project

Size: 167 KB - Last synced at: 11 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

dnum-mi/bibliotheque-numerique

La Bibliothèque Numérique complète Démarches-Simplifiées pour faciliter l’instruction, l’échange entre acteurs et les actions légales.

Language: TypeScript - Size: 47 MB - Last synced at: about 1 month ago - Pushed at: 5 months ago - Stars: 8 - Forks: 0

Deducteam/hol2dk

HOL-Light to Dedukti/Lambdapi translator

Language: Rocq Prover - Size: 783 KB - Last synced at: about 1 month ago - Pushed at: 4 months ago - Stars: 9 - Forks: 7

InseeFr/Pogues-Model

Classes and converters for the Pogues data model

Language: Java - Size: 6.21 MB - Last synced at: about 1 month ago - Pushed at: 4 months ago - Stars: 3 - Forks: 9

cea-hpc/shine

Lustre administration tool

Language: Python - Size: 1.32 MB - Last synced at: about 1 month ago - Pushed at: over 1 year ago - Stars: 24 - Forks: 8

lutece-secteur-public/gru-library-suitenumerique-meet

Intergation La suite numérique / meet

Language: Java - Size: 22.5 KB - Last synced at: about 1 month ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 1

Deducteam/HOLLightToDk

Language: OCaml - Size: 20.3 MB - Last synced at: about 1 month ago - Pushed at: about 7 years ago - Stars: 3 - Forks: 1

SocialGouv/eMJPM-doc 📦

documentation

Language: JavaScript - Size: 17.3 MB - Last synced at: about 1 month ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 1

dnum-mi/grist-sync-plugin

Synchronisez facilement vos données API vers Grist

Language: Vue - Size: 104 KB - Last synced at: about 1 month ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0

sofa-framework/issofa-merge 📦

Work on merging ISSofa features into SOFA

Language: C++ - Size: 278 MB - Last synced at: about 1 month ago - Pushed at: about 5 years ago - Stars: 2 - Forks: 0

dnum-mi/opsdroid_openproject Fork of Baboulinet-33/opsdroid_openproject

Size: 1.95 KB - Last synced at: about 1 month ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

SciQLop/SciQLop_VM

Some Vagrant scripts to build VMs that can build SciQLop

Size: 2.93 KB - Last synced at: about 1 month ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

openmole/graph-se

Language: Java - Size: 47.8 MB - Last synced at: about 1 month ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0

betagouv/e-controle 📦

Outil permettant de simplifier la relation entre un organisme de contrôle et des structures contrôlés

Language: CSS - Size: 44 MB - Last synced at: about 1 month ago - Pushed at: almost 4 years ago - Stars: 9 - Forks: 9

aphp/ig-template-aphp-v2

Language: CSS - Size: 1.01 MB - Last synced at: about 1 month ago - Pushed at: 7 months ago - Stars: 0 - Forks: 2

riatelab/magrit-templates-carto

Size: 36.1 MB - Last synced at: about 1 month ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0

Ville-Eurometropole-Strasbourg/storymap-carnet-voyage

[MIRROR] Storymap d'un carnet de voyage numérique le long de la ligne de chemin de fer Strasbourg - Saint-Dié-des-Vosges

Language: JavaScript - Size: 12.2 MB - Last synced at: about 1 month ago - Pushed at: almost 2 years ago - Stars: 3 - Forks: 0

SocialGouv/chiffrement-sandbox 📦

Test de l'API Sodium pour le chiffrement de bout en bout

Language: TypeScript - Size: 426 KB - Last synced at: about 1 month ago - Pushed at: almost 4 years ago - Stars: 2 - Forks: 0

sigrennesmetropole/geor_MapstoreExtension

Language: HTML - Size: 4.81 MB - Last synced at: about 1 month ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0

SocialGouv/letor-scores

JavaScript port of https://github.com/ArmandGiraud/letor_scores/

Language: JavaScript - Size: 677 KB - Last synced at: about 1 month ago - Pushed at: 12 months ago - Stars: 1 - Forks: 0

JMMC-OpenDev/aspro-conf-contrib

Community contributed aspro2 configuration files

Size: 1.46 MB - Last synced at: about 1 month ago - Pushed at: 2 months ago - Stars: 0 - Forks: 1

MTES-MCT/ecobalyse-runner

Accélerer la mise en place de l'affichage environnemental ; automatisation de la mise à jour des données

Language: Python - Size: 135 KB - Last synced at: about 1 month ago - Pushed at: 9 months ago - Stars: 1 - Forks: 0

etalab-ia/albert-data-collections

Language: Python - Size: 16.6 KB - Last synced at: about 1 month ago - Pushed at: 8 months ago - Stars: 2 - Forks: 2

cea-hpc/fleet Fork of coreos/fleet

fleet ties together systemd and etcd into a distributed init system

Language: Go - Size: 13.5 MB - Last synced at: about 1 month ago - Pushed at: about 6 years ago - Stars: 5 - Forks: 0

PnCevennes/Geotrek-admin Fork of GeotrekCE/Geotrek-admin

Paths management for National Parks and Tourism organizations

Language: Python - Size: 76.3 MB - Last synced at: about 1 month ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

PnCevennes/geotrek_admin_agg

Language: Python - Size: 170 KB - Last synced at: about 1 month ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0

betagouv/svair-mock-deprecated 📦

Language: HTML - Size: 258 KB - Last synced at: about 1 month ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 13

cloud-pi-native/console-plugin-observability

Language: TypeScript - Size: 460 KB - Last synced at: about 1 month ago - Pushed at: 7 months ago - Stars: 0 - Forks: 1

UMR-CNRM/vortex-ecmwf

Language: Python - Size: 343 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

cea-hpc/heimdal Fork of heimdal/heimdal

Heimdal

Language: C - Size: 49.5 MB - Last synced at: about 1 month ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0