GitHub | Ecosyste.ms: Repos

Deducteam/SizeChangeTool

A termination checker for higher-order rewriting with dependent types

Language: OCaml - Size: 6.56 MB - Last synced at: 5 days ago - Pushed at: about 6 years ago - Stars: 12 - Forks: 1

istex/li-utils

Language: JavaScript - Size: 23.2 MB - Last synced at: 5 days ago - Pushed at: about 2 months ago - Stars: 1 - Forks: 0

MTES-MCT/prelevements-deau-web Fork of numerique-gouv/sites-conformes

Gestionnaire de contenu permettant de créer et gérer un site internet basé sur le Système de design de l'État, accessible et sécurisé. Basé sur Wagtail CMS

Language: Python - Size: 7.53 MB - Last synced at: 7 days ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

1024pix/steampipe-plugin-github Fork of turbot/steampipe-plugin-github

Use SQL to instantly query repositories, users, gists and more from GitHub. Open source CLI. No DB required.

Size: 206 KB - Last synced at: 5 days ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

1024pix/pix-site-pro 📦

Site institutionnel de la plateforme Pix.fr pour les entreprises et la médiation numérique.

Language: Vue - Size: 28.9 MB - Last synced at: 5 days ago - Pushed at: almost 6 years ago - Stars: 3 - Forks: 1

CEA-LIST/WarNav

Size: 9.77 KB - Last synced at: 5 days ago - Pushed at: 7 months ago - Stars: 4 - Forks: 1

MTES-MCT/filharmonic 📦

Fil'Harmonic, l'inspection pratique !

Size: 1.95 KB - Last synced at: 5 days ago - Pushed at: about 7 years ago - Stars: 1 - Forks: 1

dataesr/elastic-annotations

Semi-automated pipeline to annotate Elasticsearch index fields

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

lutece-platform/lutece-tech-module-resource-mylutece

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

geobretagne/GeoNature Fork of PnX-SI/GeoNature

Application de saisie et de synthèse des observations faune et flore

Language: JavaScript - Size: 382 MB - Last synced at: 6 days ago - Pushed at: over 9 years ago - Stars: 3 - Forks: 0

erasme/ansible-laclasse-frontend 📦

Ansible role for front end deployment

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

SocialGouv/my-beautiful-app

A test app to refactored

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

Irstea/caso

Size: 3.74 MB - Last synced at: 6 days ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 1

numerique-gouv/action-argocd-webhook-notification

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

medialab/bibliotools3.0

modification of bibliotools 2.2 from Sébastian Grauwin

Language: Python - Size: 82 KB - Last synced at: 6 days ago - Pushed at: about 7 years ago - Stars: 12 - Forks: 4

medialab/quinoa-presentation-player

stateful react component for displaying a quinoa presentation in readonly mode

Language: JavaScript - Size: 780 KB - Last synced at: 6 days ago - Pushed at: over 8 years ago - Stars: 0 - Forks: 0

wookey-project/libdes

DES & TDES library

Language: C - Size: 647 KB - Last synced at: 7 days ago - Pushed at: about 7 years ago - Stars: 4 - Forks: 0

DISIC/guide-chef_projets

Guide du chef de projets RGAA 3

Language: HTML - Size: 443 KB - Last synced at: 6 days ago - Pushed at: over 8 years ago - Stars: 3 - Forks: 1

CEREMA/territoires-ville.OndeV

Logiciel de calcul de coordination de feux

Language: Visual Basic - Size: 3.03 MB - Last synced at: 6 days ago - Pushed at: almost 7 years ago - Stars: 1 - Forks: 0

lutece-platform/lutece-search-plugin-solr

Plugin SolR

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

codegouvfr/publiccode.yml Fork of publiccodeyml/publiccode.yml

A metadata standard for public software

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

MTES-MCT/cours-java-debutant

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

numerique-gouv/planka Fork of plankanban/planka 📦

The realtime kanban board for workgroups built with React and Redux.

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

lias-laboratory/jerboa-rebuild

Jerboa Rebuild is a plugin for Jerboa allowing users to record, edit and rebuild the construction process of geometric models

Language: Java - Size: 1.13 MB - Last synced at: 5 days ago - Pushed at: 4 months ago - Stars: 3 - Forks: 0

MTES-MCT/parcours_r_module_datavisualisation

module datavisualisation du parcours de formation à R du MTES-MCT

Language: JavaScript - Size: 314 MB - Last synced at: 5 days ago - Pushed at: 13 days ago - Stars: 3 - Forks: 4

ansforge/IG-hl7v2-volet-trans-lps-doc-cda-courriel-mss

[WIP]Guide d'implémentation du volet transmission au LPS d'un document CDA provenant d'un courriel MSSanté

Language: Batchfile - Size: 77.7 MB - Last synced at: 5 days ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 1

InseeFrLab/onyxia-cli

WIP

Language: Go - Size: 53.7 KB - Last synced at: 5 days ago - Pushed at: 5 months ago - Stars: 2 - Forks: 1

numerique-gouv/sites-faciles-saas

Application Django pour gérer les demandes de création de sites utilisant Sites faciles

Language: Python - Size: 628 KB - Last synced at: 4 days ago - Pushed at: 13 days ago - Stars: 2 - Forks: 1

coq/stdlib2

Language: Coq - Size: 80.1 KB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 39 - Forks: 9

ecolabdata/ecospheres-dashboard-backend

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

InseeFrLab/onyxia-onboarding

Onboarding for the Onyxia datalab

Language: Go - Size: 68.4 KB - Last synced at: 5 days ago - Pushed at: over 2 years ago - Stars: 3 - Forks: 0

atlanmod/dynamic_modisco

Inject dynamic analysis into MoDisco models

Language: Kotlin - Size: 34.2 KB - Last synced at: 6 days ago - Pushed at: over 5 years 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: 111 MB - Last synced at: 5 days ago - Pushed at: 6 months ago - Stars: 2 - Forks: 1

DNUM-SocialGouv/1j1s-etl

Dépôt qui consomme différents flux de données pour les servir sur site 1j1s

Language: TypeScript - Size: 12.7 MB - Last synced at: 6 days ago - Pushed at: 8 days ago - Stars: 5 - Forks: 1

numerique-gouv/tools

Language: Shell - Size: 6.84 KB - Last synced at: 6 days ago - Pushed at: 12 months ago - Stars: 0 - Forks: 0

medialab/spsm-database-api

Command-line tool for project members to interact with SPSM's PostreSQL database.

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

InseeFrLab/formation-bonnes-pratiques-exo-correction

Proposition de correction pour les exos de la formation BP

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

openfun/openedx-data-wg Fork of openedx/wg-data

Tracking work and progress of the Open edX Data Working Group

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

Renater/minemeld-ansible Fork of PaloAltoNetworks/minemeld-ansible

Ansible playbook for installing MineMeld on Linux

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

lutece-secteur-public/gru-module-crm-notifygru

GRU notifications consumer for CRM plugin

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

medialab/minall

CLI tool and Python library to apply a suite of Minet's data-mining tools on a heterogenous set of URLs.

Language: Python - Size: 1.4 MB - Last synced at: 6 days ago - Pushed at: almost 2 years ago - Stars: 1 - Forks: 0

grame-cncm/guidoeditorweb

An online Guido editor

Language: TypeScript - Size: 7.29 MB - Last synced at: 5 days ago - Pushed at: about 2 months ago - Stars: 14 - Forks: 2

grame-cncm/smc22

Size: 39.8 MB - Last synced at: 5 days ago - Pushed at: almost 4 years ago - Stars: 1 - Forks: 1

ansforge/psc-amar-connector

connecteur asynchrone à l'API AMAR

Language: Java - Size: 326 KB - Last synced at: 5 days ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

InseeFr/Lunatic-DSFR

Couche graphique pour Lunatic reposant sur le Système de Design de l'État (DSFR)

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

Deducteam/kontroli-rs Fork of 01mf02/kontroli-rs

Alternative implementation of the logical framework Dedukti in Rust

Size: 770 KB - Last synced at: 5 days ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

InseeFrLab/cratt

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

fluiddyn/fluiddyn

:hammer_and_wrench: base package of FluidDyn project (publish-only mirror). For issues and merge requests, https://foss.heptapod.net/fluiddyn/fluiddyn

Language: Python - Size: 2.66 MB - Last synced at: 6 days ago - Pushed at: 4 months ago - Stars: 31 - Forks: 0

lutece-platform/lutece-seo-plugin-urlrewriter

Size: 14.6 KB - Last synced at: 5 days ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0

MTES-MCT/dossierfacile-infra

IAS For DossierFacile project

Language: Python - Size: 176 KB - Last synced at: 5 days ago - Pushed at: 26 days ago - Stars: 0 - Forks: 0

MTES-MCT/monitorfish

🎣 Improve control and monitoring of fishing vessels activities.

Language: HTML - Size: 154 MB - Last synced at: 5 days ago - Pushed at: 6 days ago - Stars: 41 - Forks: 9

MTES-MCT/envergo

La réglementation environnementale pour les projets d'aménagement, de construction et les travaux sur haies

Language: Python - Size: 25.3 MB - Last synced at: 5 days ago - Pushed at: 6 days ago - Stars: 6 - Forks: 10

openalea/caribu

Eco-physiological model of light interception by plants

Language: Python - Size: 11.4 MB - Last synced at: 5 days ago - Pushed at: 5 months ago - Stars: 10 - Forks: 10

MTES-MCT/aeris 📦

Faciliter la déclaration des rejets dans l'air

Language: JavaScript - Size: 1.71 MB - Last synced at: 5 days ago - Pushed at: almost 8 years ago - Stars: 0 - Forks: 2

GHFC/sinagot Fork of YannBeauxis/sinagot

Python library to manage data processing on a dataset.

Size: 57.6 KB - Last synced at: 6 days ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 0

Inist-CNRS/computron

Another Node.js library for applying XSLT stylesheets to XML documents

Language: C++ - Size: 3.41 MB - Last synced at: 6 days ago - Pushed at: over 3 years ago - Stars: 3 - Forks: 0

openfun/jitsi-k8s

🚀 A Jitsi deployment on Kubernetes with autoscaling features

Language: HCL - Size: 750 KB - Last synced at: 6 days ago - Pushed at: over 2 years ago - Stars: 14 - Forks: 4

eole/opnsense-pam_opnsense Fork of opnsense/pam_opnsense

PAM module for the OPNsense authentication framework

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

radiofrance/dib

An opinionated DAG image builder

Language: Go - Size: 4.08 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 21 - Forks: 6

OpenFLUID/openfluid-eclipse-plugins 📦

Eclipse plugins to use with OpenFLUID for wares development

Language: Java - Size: 359 KB - Last synced at: 6 days ago - Pushed at: over 11 years ago - Stars: 0 - Forks: 1

lutece-secteur-public/gru-plugin-grukeydiversification

Lutece plugin to encrypt identifiers for the GRU

Language: Java - Size: 34.2 KB - Last synced at: 6 days ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0

EsupPortail/esup-otp-api

REST API to send/validate One time passwords

Language: JavaScript - Size: 1.82 MB - Last synced at: 6 days ago - Pushed at: 24 days ago - Stars: 10 - Forks: 9

InseeFr/Pogues

Questionnaire designer

Language: JavaScript - Size: 71.7 MB - Last synced at: 5 days ago - Pushed at: 6 days ago - Stars: 23 - Forks: 18

CCSDForge/coar-notifications Fork of CottageLabs/coar-notifications

A COAR Notification manager that can send and receive COAR Notifications.

Language: PHP - Size: 153 KB - Last synced at: 6 days ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

messagerie-melanie2/Roundcube-Mel

This repository contains the Bnum version of Roundcube

Language: PHP - Size: 42.8 MB - Last synced at: 6 days ago - Pushed at: 13 days ago - Stars: 6 - Forks: 2

codedgafp/theme-mentor

Language: SCSS - Size: 2.02 MB - Last synced at: 6 days ago - Pushed at: 13 days ago - Stars: 0 - Forks: 0

messagerie-melanie2/Courrielleur-Signature

Language: JavaScript - Size: 66.4 KB - Last synced at: 6 days ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

ambanum/CGUs-data 📦

History of all changes to the Terms Of Service of online service providers.

Language: HTML - Size: 67.8 MB - Last synced at: 6 days ago - Pushed at: almost 6 years ago - Stars: 1 - Forks: 3

clipos-archive/src_platform_clip-install-common

clip-install-common: tool to install CLIP updates

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

gip-inclusion/cdb-metabase-deploy Fork of 1024pix/metabase-deploy 📦

Déploiement de Metabase pour Carnet de Bord

Language: Shell - Size: 60.5 KB - Last synced at: 5 days ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

istex/grobid-istex

Bibliographical annotations for ISTEX PDF resources based on GROBID

Language: JavaScript - Size: 5.71 MB - Last synced at: 5 days ago - Pushed at: almost 8 years ago - Stars: 1 - Forks: 1

SciQLop/space_ouija

A toolkit to read really old space data files

Language: C++ - Size: 199 KB - Last synced at: 5 days ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

InseeFrLab/TRSwapping

Implémentation d'un Target Record Swapping sur R

Language: C++ - Size: 854 KB - Last synced at: 5 days ago - Pushed at: about 2 years ago - Stars: 2 - Forks: 0

InseeFrLab/codif-ape-dashboard

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

gip-inclusion/itou-gitbook

Dépôt synchronisé avec notre gitbook public https://doc.inclusion.beta.gouv.fr/ via https://docs.gitbook.com/integrations/github

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

clipos-archive/src_platform_pwcheckd

pwcheckd: authenticate users sending their password over a UNIX socket

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

lutece-secteur-public/franceconnect-plugin-fcsample

Plugin d'exemple FranceConnect

Language: Java - Size: 51.8 KB - Last synced at: 6 days ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0

PnEcrins/istSOS-viewer

Public viewer for an istSOS instance

Language: TypeScript - Size: 9.88 MB - Last synced at: 6 days ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 1

ezpaarse-project/ezmailer

A mailer service for ezPAARSE-ezMESURE project

Language: JavaScript - Size: 65.4 KB - Last synced at: over 1 year ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

etalab/noms-de-domaine-organismes-secteur-public 📦

Liste de noms de domaine d'organismes publics

Language: Python - Size: 123 MB - Last synced at: 6 days ago - Pushed at: over 1 year ago - Stars: 23 - Forks: 15

pharo-mooc/PharoMoocUtils

To gather some little utils.

Language: Smalltalk - Size: 19.5 KB - Last synced at: 6 days ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 0

IPGP/waypoints_generator

Custom waypoints generator for dji UAV

Language: Python - Size: 50.3 MB - Last synced at: 5 days ago - Pushed at: almost 3 years ago - Stars: 9 - Forks: 3

neuroanatomy/cookiecutter-naat-datalad

cookiecutter template with git annex and datalad included

Language: Python - Size: 18.6 KB - Last synced at: 6 days ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

clipos/testbed

Resources to build the CLIP OS virtualized testbed

Language: Shell - Size: 149 KB - Last synced at: 6 days ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

numerique-gouv/cloud-interministeriel

Language: HTML - Size: 16.6 KB - Last synced at: 6 days ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

clipos-archive/src_platform_vsctl

vsctl: start, stop and enter simple vservers

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

CEREMA/dtermed.rivages

Language: JavaScript - Size: 457 KB - Last synced at: 6 days ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0

CEREMA/territoires-ville.DiagFeux

Logiciel de conception du diagramme des feux d'un carrefour

Language: Visual Basic - Size: 4.1 MB - Last synced at: 6 days ago - Pushed at: almost 7 years ago - Stars: 1 - Forks: 0

BaseAdresseNationale/doc-adresse

Language: JavaScript - Size: 96.9 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 0 - Forks: 0

ezpaarse-project/meilisearch 📦

Blazingly fast and hyper relevant search-engine that will improve your search experience.

Size: 8.79 KB - Last synced at: over 1 year ago - Pushed at: over 4 years ago - Stars: 9 - Forks: 5

istex/istex-api-demo

Code source du démonstrateur ISTEX

Language: JavaScript - Size: 5.18 MB - Last synced at: 5 days ago - Pushed at: over 3 years ago - Stars: 4 - Forks: 0

inrae/esfc

Language: PHP - Size: 94.4 MB - Last synced at: 5 days ago - Pushed at: about 2 months ago - Stars: 1 - Forks: 0

IGNF/inca-addins-for-arcgis

ArcGIS Pro addin to automate maplex configuration and manage/browse lists of features

Size: 8.21 MB - Last synced at: 6 days ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0

fluiddyn/piconumpy Fork of hpyproject/piconumpy

An experiment about Numpy and pyhandle/hpy

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