GitHub | Ecosyste.ms: Repos

Deducteam/ekstrakto

Extract TPTP problems from a TSTP trace and reconstruct the proof in lambdapi (λΠ-calculus modulo theory).

Language: OCaml - Size: 116 KB - Last synced at: 5 days ago - Pushed at: about 3 years ago - Stars: 5 - Forks: 4

Deducteam/pvs-with-proofs

Language: Common Lisp - Size: 451 KB - Last synced at: 5 days ago - Pushed at: over 6 years ago - Stars: 3 - Forks: 1

Deducteam/Sukerujo

Syntactic sugar for Dedukti

Language: OCaml - Size: 3.95 MB - Last synced at: 5 days ago - Pushed at: over 3 years ago - Stars: 3 - Forks: 3

betagouv/site-aic-v2 Fork of etalab/site-aic-v2

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

datagouv/cadastre-mvt

Scripts de génération de tuiles vectorielles pour le plan cadastral

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

MTES-MCT/keycloak-buildpack

Scalingo buildpack to install Keycloak with PostgreSQL database

Language: Shell - Size: 68.4 KB - Last synced at: 6 days ago - Pushed at: 12 months ago - Stars: 7 - Forks: 18

inrae/filo-docker Fork of Irstea/filo-docker

Installation scripts of Irstea/filo-science on docker

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

grame-cncm/faustcourse

A 5 lessons course for Faust

Language: Makefile - Size: 8.93 MB - Last synced at: 6 days ago - Pushed at: over 8 years ago - Stars: 12 - Forks: 1

medialab/llm-scraping-experiments

Experiments from 2024 Copenhagen "Scraping with Generative AI" sprint

Language: Python - Size: 6.84 KB - Last synced at: 6 days ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 0

meteofrance/common_makefiles

Repository qui héberge des makefiles communs afin de factoriser certaines pratiques de développement

Language: Makefile - Size: 7.51 MB - Last synced at: 5 days ago - Pushed at: about 4 years ago - Stars: 1 - Forks: 1

fluiddyn/fluidsht

:globe_with_meridians: Python package for performing Spherical Harmonic Transforms (SHT) with different libraries (publish-only mirror)

Language: Python - Size: 267 KB - Last synced at: 6 days ago - Pushed at: over 5 years ago - Stars: 2 - Forks: 1

cea-hpc/octocatalog-diff Fork of github/octocatalog-diff

Compile Puppet catalogs from 2 branches, versions, etc., and compare them

Language: Ruby - Size: 52.5 MB - Last synced at: 6 days ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 0

erasme/ansible-laclasse-annuaire 📦

laclasse-annuaire Ansible playbook

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

proconnect-gouv/providers-extractor

Script that extracts service providers and identity providers to Grist

Language: TypeScript - Size: 21.5 KB - Last synced at: 6 days ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0

datalab-mi/ridoc

Language: Python - Size: 3.96 MB - Last synced at: 6 days ago - Pushed at: over 2 years ago - Stars: 3 - Forks: 1

messagerie-melanie2/orm-api

API RESTful pour l'ORM MCE

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

polymny/edu-up Fork of polymny/polymny

Web based tool for easy production of educational videos.

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

MTES-MCT/camino-imports-geojson 📦

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

polymny/potoelm

Converts .po files to elm module

Language: Rust - Size: 2.93 KB - Last synced at: 6 days ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

inrae/EXstat Fork of super-lou/EXstat

🌾 R package to provide an efficient and simple solution to aggregate and analyze the stationarity of time series

Language: R - Size: 40.7 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

polymny/simplelog.rs Fork of Drakulix/simplelog.rs

Simple Logging Facility for Rust

Language: Rust - Size: 2.03 MB - Last synced at: 6 days ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

datagouv/datagouv-mcp

Official data.gouv.fr Model Context Protocol (MCP) server that allows AI chatbots to search, explore, and analyze datasets from the French national Open Data platform, directly through conversation.

Language: Python - Size: 630 KB - Last synced at: 6 days ago - Pushed at: 11 days ago - Stars: 1,532 - Forks: 124

unistra/bigbluebutton

Language: Ruby - Size: 179 KB - Last synced at: 6 days ago - Pushed at: almost 6 years ago - Stars: 30 - Forks: 15

MTES-MCT/Lucca-scripts 📦

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

ina-foss/voxo-daemon Fork of voxolab/voxo-daemon

Language: Perl - Size: 26.4 MB - Last synced at: 6 days ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0

IRSN/SeaLev

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

grame-cncm/faustworks

Language: C++ - Size: 452 KB - Last synced at: 6 days ago - Pushed at: over 8 years ago - Stars: 14 - Forks: 1

grame-cncm/faustservice

Language: C++ - Size: 1.21 MB - Last synced at: 6 days ago - Pushed at: 8 months ago - Stars: 4 - Forks: 8

meteofrance/formation-deep-learning

Supports de formation Deep Learning (diapos et exercices pratiques)

Language: Jupyter Notebook - Size: 48.6 MB - Last synced at: 5 days ago - Pushed at: almost 7 years ago - Stars: 172 - Forks: 57

grame-cncm/faust2webaudio Fork of Fr0stbyteR/faust2webaudio 📦

faust2webaudio for npm

Language: TypeScript - Size: 127 MB - Last synced at: 6 days ago - Pushed at: over 2 years ago - Stars: 23 - Forks: 1

unistra/ori-oai-import-export

Module d'import/export pour ori-oai

Language: Perl - Size: 145 KB - Last synced at: 6 days ago - Pushed at: over 10 years ago - Stars: 0 - Forks: 0

unistra/jwt-server

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

Universite-Gustave-Eiffel/OBLiX

OBLiX (OBject Library eXecutor) is a C++ framework (and/or) library designed to perform complex and heterogeneous numerical simulations/operations easily.

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

unistra/ansible-collection-glpi

Ansible dynamic inventory for GLPI.

Language: Python - Size: 43.9 KB - Last synced at: 6 days ago - Pushed at: over 3 years ago - Stars: 10 - Forks: 6

polymny/uptest

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

medialab/hyphe

Websites crawler with built-in exploration and control web interface

Language: JavaScript - Size: 92 MB - Last synced at: 6 days ago - Pushed at: 29 days ago - Stars: 381 - Forks: 62

datalocale/MapContrib Fork of mapcontrib/mapcontrib

As soon as possible

Language: CSS - Size: 6.21 MB - Last synced at: 6 days ago - Pushed at: over 10 years ago - Stars: 0 - Forks: 0

dnum-sante-ars-data/matrice_PA

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

polymny/setup-elm Fork of JorelAli/setup-elm

Set up your GitHub Actions workflow with a specific version of Elm

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

Geographie-cites/mobiliquest

Language: R - Size: 274 KB - Last synced at: 6 days ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0

mimesis-inria/DeepPhysX.Torch

Language: Python - Size: 593 KB - Last synced at: 6 days ago - Pushed at: about 2 years ago - Stars: 1 - Forks: 2

inrae/airGRiwrm

airGRiwrm is an extension of the airGR R package for managing semi-distributive hydrological model on an anthropized catchment.

Language: R - Size: 62.1 MB - Last synced at: 6 days ago - Pushed at: about 2 months ago - Stars: 1 - Forks: 1

addok/addok-psql 📦

Import from PostgreSQL in addok

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

ezpaarse-project/ezreporting 📦

A Kibana plugin to generate and send PDF reports from dashboards.

Language: TypeScript - Size: 325 KB - Last synced at: 6 days ago - Pushed at: about 4 years ago - Stars: 1 - Forks: 0

medialab/didascalies

Exploring the French Parliament didascalies.

Language: Jupyter Notebook - Size: 49.8 MB - Last synced at: 6 days ago - Pushed at: almost 8 years ago - Stars: 0 - Forks: 0

lutece-secteur-public/gru-library-identitystoretest

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

GIP-RECIA/no-project-management

Management des projets: création d'issues/tâches uniquement sans repository présent sur github

Size: 0 Bytes - Last synced at: 6 days ago - Pushed at: 12 months ago - Stars: 0 - Forks: 0

ezpaarse-project/ezhomepage

Home page of www.readmetrics.org

Language: Vue - Size: 24.8 MB - Last synced at: 6 days ago - Pushed at: 8 months ago - Stars: 1 - Forks: 1

vle-forge/vle

Virtual Laboratory Environment

Language: C++ - Size: 21.9 MB - Last synced at: 6 days ago - Pushed at: almost 2 years ago - Stars: 22 - Forks: 23

InseeFrLab/R-Insee-Data 📦

Language: R - Size: 17.5 MB - Last synced at: 6 days ago - Pushed at: over 4 years ago - Stars: 17 - Forks: 4

erasme/erabackup Fork of leucos/erabackup 📦

erabackup - ERASME's tool for // and easy backups

Size: 84 KB - Last synced at: 6 days ago - Pushed at: over 16 years ago - Stars: 1 - Forks: 1

openmole/cormas-plugin

Language: Scala - Size: 11.7 KB - Last synced at: 6 days ago - Pushed at: almost 8 years ago - Stars: 1 - Forks: 1

medialab/quinoa-design-library

(wip) a library of components, styles and assets for quinoa applications

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

DFIR-ORC/setup-msbuild Fork of microsoft/setup-msbuild

A GitHub Action to facilitate configuring MSBuild in the workflow PATH for building .NET Framework applications.

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

MTES-MCT/mon-devis-sans-oublis-backend-ocr

Language: Python - Size: 173 KB - Last synced at: 6 days ago - Pushed at: 8 days ago - Stars: 1 - Forks: 1

polymny/polymny

Web based tool for easy production of educational videos.

Language: Elm - Size: 6.19 MB - Last synced at: 6 days ago - Pushed at: about 3 years ago - Stars: 33 - Forks: 2

InseeFrLab/torch-fastText 📦

Efficient text classification with Pytorch

Language: Python - Size: 4.03 MB - Last synced at: 6 days ago - Pushed at: 7 months ago - Stars: 23 - Forks: 7

clipos-archive/src_platform_pam_jail

PAM module to jail users based on their groups

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

VPSim is a digital architecture design environment used to speed up design space exploration (DSE) through simulation and rapid validation. https://list.cea.fr/en/page/vpsim-explore-simulate-and-validate-complex-electronic-architectures

Language: CMake - Size: 8.79 KB - Last synced at: 6 days ago - Pushed at: 28 days ago - Stars: 10 - Forks: 4

Inist-CNRS/xpath-generator

Node.js xpaths & tree generator

Language: JavaScript - Size: 436 KB - Last synced at: 6 days ago - Pushed at: almost 2 years ago - Stars: 7 - Forks: 2

erasme/liste_courses 📦

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

SedFoam/SedFoam.github.io

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

France-Travail/Architecture

Outils et pratiques d'architecture des équipes de la DSI de France Travail

Size: 49.7 MB - Last synced at: 6 days ago - Pushed at: 12 months ago - Stars: 30 - Forks: 1

grame-cncm/faustpublisher Fork of Rick-and-Bora3y-Devs/faustpublish

faustpublisher is the cli tool to publish Faust libraries to the faustregistry

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

SocialGouv/fiches-travail-data

Json formated data from from set of page of travail-emploi website

Language: HTML - Size: 126 MB - Last synced at: 6 days ago - Pushed at: 8 days ago - Stars: 4 - Forks: 1

SocialGouv/nuxt-dsfr-toaster-module

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

DUT-Info-Montreuil/SaeConnect_Front

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

medialab/corpora

Collection of public small-scale corpora used and maintained by the lab.

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

CEA-LIST/parsync

Parallel directory copy for distributed filesystems

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

France-Travail/referentiel-ecoconception

Référentiel des bonnes pratiques d’écoconception des services numériques

Language: TeX - Size: 3.06 MB - Last synced at: 6 days ago - Pushed at: 7 months ago - Stars: 17 - Forks: 3

openmole/PRoot Fork of vincenthage/PRoot

PRoot + port mapping extension

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

codedgafp/admin-tool-log

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

grame-cncm/faustcompilerbenchtool

A simple benchmark tool to measure the performance of the cpp code generate by the Faust compiler

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

clipos-archive/src_platform_scdaemon

Smartcard daemon for GnuPG/OpenPGP smartcards

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

grame-cncm/faust-ui Fork of Fr0stbyteR/faust-ui

Faust UI Compositor

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

grame-cncm/anr19

Language: TeX - Size: 18.6 MB - Last synced at: 6 days ago - Pushed at: about 6 years ago - Stars: 6 - Forks: 1

InseeFrLab/trino 📦

Docker image for trino in order to add org.apache.hadoop.fs.s3a.TemporaryAWSCredentialsProvider support

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

lutece-platform/lutece-cms-module-document-geoloc

Geolocation fields in lutece documents

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

SedFoam/wallFunctions

wallFunctions for OpenFoam (for rough surfaces)

Language: C++ - Size: 111 KB - Last synced at: 6 days ago - Pushed at: 3 months ago - Stars: 4 - Forks: 5

clipos-archive/src_platform_clip-build

clip-build : build clip fake roots

Language: Perl - Size: 30.3 KB - Last synced at: 6 days ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 0

MTES-MCT/modsecurity-buildpack

Buildpack Scalingo pour OWASP modsecurity

Size: 0 Bytes - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0

DISIC/chatbot-back Fork of Bernardstanislas/chatbot-back

Language: TypeScript - Size: 3.02 MB - Last synced at: 6 days ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

medialab/forccast-texts

Size: 25.4 KB - Last synced at: 6 days ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 1

openmole/spatialsampling

Language: Scala - Size: 42 KB - Last synced at: 6 days ago - Pushed at: almost 6 years ago - Stars: 0 - Forks: 0

codedgafp/user-profile-field-autocomplete

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

openfun/edx-proctoring Fork of openedx/edx-proctoring

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

DISIC/DesignGouv-Confiture

Language: Dockerfile - Size: 478 KB - Last synced at: 6 days ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

medialab/defacto-scripts

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

grame-cncm/faustide

Faust IDE (Integrated Development Environment)

Language: TypeScript - Size: 249 MB - Last synced at: 6 days ago - Pushed at: 11 days ago - Stars: 108 - Forks: 33

grame-cncm/faustready-ubuntu-1804

A Docker image of Ubuntu 18.04 with all the packages needed for Faust and Faustservice

Language: Dockerfile - Size: 5.86 KB - Last synced at: 6 days ago - Pushed at: over 3 years ago - Stars: 2 - Forks: 1

DISIC/rgaa_referentiel_3-2016

Ancien dépôt du RGAA 3 2016

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

openmole/sbt-osgi Fork of sbt/sbt-osgi

sbt plugin for creating OSGi bundles

Size: 225 KB - Last synced at: 10 months ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0