GitHub | Ecosyste.ms: Repos

Deducteam/rocq-hollight

Translation of HOL-Light libraries in Rocq

Language: Rocq Prover - Size: 1.24 MB - Last synced at: 6 days ago - Pushed at: 9 days ago - Stars: 0 - Forks: 2

Cour-de-cassation/CPi-elastic-judilibre

Ce repos sert au deploiement d'elasticsearch sur la plateforme CloudPI

Language: Smarty - Size: 193 KB - Last synced at: 5 days ago - Pushed at: 12 months ago - Stars: 0 - Forks: 0

assurance-maladie-digital/design-system-v3

📦 Un Design System pour l’Assurance Maladie

Language: TypeScript - Size: 18.6 MB - Last synced at: about 11 hours ago - Pushed at: about 12 hours ago - Stars: 2 - Forks: 2

betagouv/pad.numerique.gouv.fr Fork of hedgedoc/hedgedoc

Pad numérique de l'état

Language: JavaScript - Size: 42.4 MB - Last synced at: 7 days ago - Pushed at: 6 months ago - Stars: 8 - Forks: 1

suitenumerique/livekit-sip Fork of livekit/sip

SIP to WebRTC bridge for LiveKit

Language: Go - Size: 2.07 MB - Last synced at: 5 days ago - Pushed at: 10 days ago - Stars: 3 - Forks: 0

atlanmod/monoge 📦

(Deprecated) Lightweight metamodel extension

Language: Java - Size: 5.42 MB - Last synced at: about 11 hours ago - Pushed at: almost 8 years ago - Stars: 2 - Forks: 0

GIP-RECIA/email-preview Fork of uPortal-Attic/email-preview

Language: Java - Size: 1.42 MB - Last synced at: about 6 hours ago - Pushed at: almost 12 years ago - Stars: 1 - Forks: 0

medialab/sandcrawler-dashboard

A handy terminal dashboard plugin for sandcrawler.

Language: JavaScript - Size: 1.28 MB - Last synced at: about 6 hours ago - Pushed at: almost 10 years ago - Stars: 20 - Forks: 2

Deducteam/PVS Fork of SRI-CSL/PVS

The People's Verification System

Language: Common Lisp - Size: 183 MB - Last synced at: 5 days ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0

etalab-ia/albert-models

Deployment a light and full OpenAI API for production with vLLM to support /v1/embeddings with all embeddings models.

Language: Python - Size: 734 KB - Last synced at: about 1 month ago - Pushed at: over 1 year ago - Stars: 44 - Forks: 6

consultation-gouv/npm.verif.consultation

Language: JavaScript - Size: 4.67 MB - Last synced at: about 10 hours ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 1

MTES-MCT/go-service Fork of kardianos/service

Run go programs as a service on major platforms.

Size: 3.59 MB - Last synced at: 7 days ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

abes-esr/kalidos

KaliDoS est une application web qui permet de vérifier la qualité de notices bibliographiques selon un jeu de règles. [maintenu par : non maintenu]

Language: JavaScript - Size: 133 MB - Last synced at: 7 days ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 1

GIP-RECIA/h5p-editor-php-library Fork of h5p/h5p-editor-php-library

Language: JavaScript - Size: 15.5 MB - Last synced at: about 6 hours ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

polymny/uptest

Language: Python - Size: 28.3 KB - Last synced at: about 7 hours ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

1024pix/pix-redirect-support-pix-fr

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

etalab/schema-vehicules-faibles-emissions-renouvellement-parc-synthese

Size: 37.1 KB - Last synced at: 7 days ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 2

MTES-MCT/dossierfacile-vpn

Infrastructure as code project to setup a Wireguard VPN

Language: HCL - Size: 10.7 KB - Last synced at: 8 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

sigrennesmetropole/cooperation_jn_trambus

Code de l'application de coopération sur le trambus de Rennes Métropole basée sur un jumeau numérique

Language: Vue - Size: 151 MB - Last synced at: 6 days ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 2

Cour-de-cassation/flair-spacy-docker

Docker image for Flair

Language: Dockerfile - Size: 6.84 KB - Last synced at: 5 days ago - Pushed at: about 4 years ago - Stars: 1 - Forks: 0

abes-esr/periscope-indexing-ws

Service web d'indexation pour l'application Périscope.

Language: Java - Size: 271 KB - Last synced at: 7 days ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

ecolabdata/guichetdonnees-public 📦

Utilitaires pour la gestion du portail de données de la transition écologique et de la cohésion des territoires

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

geobretagne/minicatalog

very lightweight catalog interface with dublin core metadatas stored in a CSV

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

InseeFrLab/extraction-comptes-sociaux

Language: Jupyter Notebook - Size: 101 MB - Last synced at: 7 days ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

cnigfr/schema-sites-economiques

Size: 82.5 MB - Last synced at: 4 days ago - Pushed at: 16 days ago - Stars: 14 - Forks: 2

betagouv/sirius Fork of mission-apprentissage/sirius 📦

Service permettant la collecte et la restitution des avis des apprentis

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

Deducteam/opam-lambdapi-repository

Opam repository of Lambdapi libraries

Language: Shell - Size: 25.4 KB - Last synced at: 5 days ago - Pushed at: 3 months ago - Stars: 1 - Forks: 2

suitenumerique/meet-kyutai-moshi-stt

Language: Dockerfile - Size: 5.86 KB - Last synced at: about 8 hours ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0

InseeFrLab/funathon2024_sujet1

Language: R - Size: 7.97 MB - Last synced at: 7 days ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 13

InseeFrLab/cartiflette

Projet visant à simplifier la récupération des shapefiles officiels

Language: Jupyter Notebook - Size: 9.88 MB - Last synced at: 7 days ago - Pushed at: 9 months ago - Stars: 61 - Forks: 7

Deducteam/GeoCoqInE Fork of GeoCoq/GeoCoq

A formalization of geometry in Coq based on Tarski's axiom system

Language: Coq - Size: 7.31 MB - Last synced at: 5 days ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 0

CEREMA/schema-aire-livraison

Schéma de données sur les aires de livraison

Language: HTML - Size: 1.95 MB - Last synced at: about 7 hours ago - Pushed at: 20 days ago - Stars: 0 - Forks: 3

etalab/format-subventions

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

betagouv/ranking_methods

Méthode de classement pour les modèles issus du comparateur compar:IA

Language: HTML - Size: 9.07 MB - Last synced at: 4 days ago - Pushed at: 8 days ago - Stars: 0 - Forks: 0

betagouv/vaultwarden Fork of incubateur-ademe/vaultwarden

Unofficial Bitwarden compatible server written in Rust, formerly known as bitwarden_rs

Language: Rust - Size: 9.15 MB - Last synced at: 7 days ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

etalab/cle-interoperabilite-adresse 📦

Spécification de la clé d'intéropérabilité de l'adresse [OBSOLETE]

Size: 141 KB - Last synced at: 7 days ago - Pushed at: over 10 years ago - Stars: 3 - Forks: 0

EsupPortail/esup-mod_rocketchat

Interface between Rocket.Chat and Moodle

Language: PHP - Size: 773 KB - Last synced at: about 7 hours ago - Pushed at: 10 months ago - Stars: 11 - Forks: 6

JMMC-OpenDev/searchftt-ranking

This repository contains the python modules estimating GPAO strehl ratio & GRAVITY (FT) noise estimations to compute SearchFTT's ranking score

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

InseeFrLab/disiz

Insee collecting system DS

Language: TypeScript - Size: 6.1 MB - Last synced at: 7 days ago - Pushed at: about 2 years ago - Stars: 1 - Forks: 0

InseeFrLab/mapvotr

Package de production de contours de bureaux de vote à partir des adresses du REU

Language: R - Size: 8.68 MB - Last synced at: 7 days ago - Pushed at: over 1 year ago - Stars: 17 - Forks: 3

InseeFrLab/formation-bceao

Language: R - Size: 8.98 MB - Last synced at: 7 days ago - Pushed at: 3 months ago - Stars: 1 - Forks: 0

betagouv/visam 📦

Fluidifier le dialogue social de la « Direction des ressources humaines » de l’État.

Size: 1000 Bytes - Last synced at: 7 days ago - Pushed at: almost 6 years ago - Stars: 0 - Forks: 0

1024pix/geoapi Fork of risk3sixty/geoapi

Lightweight API service to get geolocation data from IP addresses.

Language: JavaScript - Size: 208 KB - Last synced at: 6 days ago - Pushed at: almost 2 years ago - Stars: 1 - Forks: 0

InseeFrLab/datacollection-ui

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

DSI-Universite-Rennes2/python-cyrus Fork of reinaldoc/python-cyrus

python-cyrus (aka. cyruslib) is wrapped interface for imaplib.py, it adds support for cyrus specific commands.

Size: 227 KB - Last synced at: about 9 hours ago - Pushed at: over 13 years ago - Stars: 0 - Forks: 0

etalab/vuepress-theme-gouv-fr

Un thème VuePress qui s'inspire de template.data.gouv.fr

Language: Vue - Size: 515 KB - Last synced at: 7 days ago - Pushed at: over 5 years ago - Stars: 6 - Forks: 4

medialab/carto2016-mecenat

Language: HTML - Size: 31.8 MB - Last synced at: about 6 hours ago - Pushed at: over 9 years ago - Stars: 0 - Forks: 1

OpenEdition/idref-plugin

IdRef Lodel 1 Plugin

Language: PHP - Size: 83 KB - Last synced at: 6 days ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0

lutece-platform/lutece-tech-module-gis-address

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

IGNF/odeon

ODEON is a task-agnostic framework for deep learning applied to remote sensing

Language: Python - Size: 98.9 MB - Last synced at: about 7 hours ago - Pushed at: 23 days ago - Stars: 22 - Forks: 3

OpenEdition/templates.openedition

OpenEdition templates for word processors

Size: 1.54 MB - Last synced at: about 7 hours ago - Pushed at: almost 5 years ago - Stars: 3 - Forks: 0

DIVERSIFY-project/syringe

A source code injection library based on spoon

Language: Java - Size: 94.7 KB - Last synced at: about 11 hours ago - Pushed at: over 7 years ago - Stars: 2 - Forks: 3

ansforge/SMT-EDQM_Translate_owl

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

Otolith is an application which allows you to place points referenced XY on photos to calculate specific indicators. It was designed specifically to analyze specific parts of fish, such as otoliths (ear bones), but can also be used to treat scaly, or possibly also of fin rays.

Language: PHP - Size: 62.7 MB - Last synced at: about 11 hours ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 1

CCSDForge/episciences-api

An API for Episciences, an overlay journal platform software

Language: PHP - Size: 8.4 MB - Last synced at: about 8 hours ago - Pushed at: about 8 hours ago - Stars: 3 - Forks: 0

DSI-Universite-Rennes2/cas-overlay-template Fork of apereo/cas-overlay-template

Base Apereo CAS Maven WAR Overlay template

Language: Shell - Size: 182 KB - Last synced at: about 9 hours ago - Pushed at: almost 9 years ago - Stars: 0 - Forks: 0

IPGP/trm2rinex-docker-ovs Fork of Matioupi/trm2rinex-docker

IPGP-OVS's maintened fork of the Docker+Wine wrapper for Trimble convertToRinex tool 🛰️ 🌐 🐋 🍷

Language: Dockerfile - Size: 14.9 MB - Last synced at: about 8 hours ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

OpenEdition/oai-openedition

OpenEdition OAI-PMH Documentation

Size: 136 KB - Last synced at: about 7 hours ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

IGNF/circe

Circé is a computer program whose purpose is the transformation of 4D+1 point coordinates between Coordinate Reference Systems.

Language: Python - Size: 99.7 MB - Last synced at: about 7 hours ago - Pushed at: almost 2 years ago - Stars: 3 - Forks: 1

OpenEdition/counter5-openedition.localized

Translations of OpenEdition Counter 5 Service Documentation

Size: 129 KB - Last synced at: about 7 hours ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

GIP-RECIA/esco-accueil 📦

Portlet très simple spring mvc - jquery gérant les pages de la vue accueil de notre ENT en fonction des contextes.

Language: Java - Size: 2.35 MB - Last synced at: about 6 hours ago - Pushed at: over 10 years ago - Stars: 0 - Forks: 1

datalocale/rdf-data

données transformées en RDF

Language: XSLT - Size: 2.27 MB - Last synced at: about 10 hours ago - Pushed at: about 12 years ago - Stars: 1 - Forks: 0

ssmsi-diffusion/Application_des_chiffres_cles

Language: R - Size: 1.63 MB - Last synced at: about 10 hours ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

centreborelli/derf-hd-dataset

Code to generate the DERF-HD dataset consisting on 7 videos of size 960x540 and 100 frames.

Language: C - Size: 86.9 KB - Last synced at: about 9 hours ago - Pushed at: over 6 years ago - Stars: 2 - Forks: 0

centreborelli/rpcfit

Language: Python - Size: 153 KB - Last synced at: about 9 hours ago - Pushed at: over 2 years ago - Stars: 26 - Forks: 14

OpenEdition/tei.openedition

OpenEdition TEI Schema

Size: 5.92 MB - Last synced at: about 7 hours ago - Pushed at: 10 months ago - Stars: 18 - Forks: 3

IGNF/cartes.gouv.fr-editeur-lib Fork of IGNF-Ma-carte/mcutils

Librairie de l'éditeur de carte.gouv

Language: JavaScript - Size: 31.7 MB - Last synced at: 7 days ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

IGNF/pyram_legacy

IGN implementation of Scale-set Image Analysis, hierarchical image segmentation, from L. Guigues phd at IGN Matis laboratory

Language: C++ - Size: 333 KB - Last synced at: about 7 hours ago - Pushed at: over 2 years ago - Stars: 3 - Forks: 1

istex/harvest-corpus

Outil d'extraction de corpus ISTEX

Language: Perl - Size: 65.4 KB - Last synced at: about 7 hours ago - Pushed at: almost 6 years ago - Stars: 1 - Forks: 0

tchapgouv/tchap-docker-integration Fork of element-hq/element-docker-demo

Experimental docker-compose Matrix 2.0 stack for rapidly showing off EW+EX+EC

Language: Shell - Size: 155 KB - Last synced at: about 8 hours ago - Pushed at: about 22 hours ago - Stars: 0 - Forks: 2

OpenEdition/bilbo2

Language: Python - Size: 15.2 MB - Last synced at: about 7 hours ago - Pushed at: about 1 year ago - Stars: 5 - Forks: 1

cnigfr/Geostandards-risques-carto-di

Language: Python - Size: 3.96 MB - Last synced at: about 7 hours ago - Pushed at: 13 days ago - Stars: 1 - Forks: 0

DISIC/MiNumEco

Site web de la mission interministérielle numérique écoresponsable - MiNumEco

Language: Nunjucks - Size: 185 MB - Last synced at: about 9 hours ago - Pushed at: 28 days ago - Stars: 6 - Forks: 9

cea-hpc/mogui

MoGui, Graphical User Interface for Modules

Language: Python - Size: 1.24 MB - Last synced at: about 5 hours ago - Pushed at: over 1 year ago - Stars: 4 - Forks: 0

numerique-gouv/outline Fork of outline/outline

This is a fork of Outline for DINUM's documentation

Language: TypeScript - Size: 69.8 MB - Last synced at: 7 days ago - Pushed at: 2 months ago - Stars: 1 - Forks: 0

entrepreneur-interet-general/outils-coachs-6

Des outils pour les coachs de la promotion 6

Language: Ruby - Size: 7.97 MB - Last synced at: about 11 hours ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

EsupPortail/esup-otp-api

REST API to send/validate One time passwords

Language: JavaScript - Size: 1.62 MB - Last synced at: about 7 hours ago - Pushed at: 3 days ago - Stars: 9 - Forks: 9

OpenEdition/oej.em

OpenEdition Journals Editorial Model

Language: PHP - Size: 180 KB - Last synced at: about 7 hours ago - Pushed at: 8 months ago - Stars: 2 - Forks: 2

etalab-ia/ai-kit 📦

Language: Python - Size: 616 KB - Last synced at: 3 days ago - Pushed at: 4 months ago - Stars: 2 - Forks: 1

GIP-RECIA/cal.com Fork of calcom/cal.com

Scheduling infrastructure for absolutely everyone.

Language: TypeScript - Size: 955 MB - Last synced at: about 6 hours ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

metwork-framework/docker-mfbaseplugins-centos8-buildimage

centos8 based docker image to build metwork/mfbase plugins

Language: Dockerfile - Size: 47.9 KB - Last synced at: about 7 hours ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0

ansforge/psc-drupal-openid-connect

Language: PHP - Size: 81.1 KB - Last synced at: 7 days ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

sofa-framework/Communication

Communication plugin for SOFA

Language: C++ - Size: 229 KB - Last synced at: 6 days ago - Pushed at: over 4 years ago - Stars: 2 - Forks: 1

ambanum/DevTools

A repo with interesting scripts and tools using VsCode, Tampermonkey, bash

Language: JavaScript - Size: 36.1 KB - Last synced at: about 10 hours ago - Pushed at: about 4 years ago - Stars: 1 - Forks: 0

DISIC/RGAA 📦

Documents de référence du RGAA à partir de la version 4

Language: HTML - Size: 7.77 MB - Last synced at: about 9 hours ago - Pushed at: about 3 years ago - Stars: 48 - Forks: 16

betagouv/styles-de-cartes 📦

Des styles de cartes prêts à l'emploi pour les données IGN et OSM.

Size: 361 KB - Last synced at: 7 days ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0

SocieteNumerique/societenumerique.github.io Fork of dataforgoodfr/website 📦

Language: JavaScript - Size: 45.1 MB - Last synced at: about 10 hours ago - Pushed at: over 6 years ago - Stars: 2 - Forks: 2

INSIDE-information-systems/wfd2018

Testing tools suite deployed by French Agencies (MoE, Water Agencies, Water Offices) to support French 2018 WFD reporting

Size: 1.36 MB - Last synced at: about 11 hours ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 1

CEA-Leti/naxriscv_doc

Size: 2.61 MB - Last synced at: about 9 hours ago - Pushed at: about 2 years ago - Stars: 6 - Forks: 4

sofa-framework/BeamPlastic

This plugin implements a co-rotational elasto-plastic model using the Timoshenko beam theory.

Language: C++ - Size: 142 KB - Last synced at: about 9 hours ago - Pushed at: 10 months ago - Stars: 1 - Forks: 2

GIP-RECIA/Rocket.Chat Fork of RocketChat/Rocket.Chat

The ultimate Free Open Source Solution for team communications.

Size: 169 MB - Last synced at: about 6 hours ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

mnfst/website-baas Fork of AuraOfDivinity/mnfst-website

Manifest Backend-as-a-Service website: https://backend.manifest.build

Size: 37.7 MB - Last synced at: 3 days ago - Pushed at: about 2 months ago - Stars: 1 - Forks: 0