An open API service providing repository metadata for many open source software ecosystems.

GitHub

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: 2 days ago - Pushed at: over 2 years ago - Stars: 5 - Forks: 4

Envinorma/ocr_utils

Python tools for interacting with Tesseract

Language: Python - Size: 6.76 MB - Last synced at: 6 months ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0

abes-esr/idrefplus-queries

Ce dépôt contient des requêtes SPARQL exemple, fonctionnant sur le triple store https://idrefplus.idref.fr/sparql contenant les données publiques ORCID-2021.

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

agora-gouv/agora-cms-strapi

Plateforme de gestion de contenu d'Agora

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

clipos/testbed

Resources to build the CLIP OS virtualized testbed

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

grame-cncm/Faust-DSP-Testbench Fork of AndrewJJ/DSP-Testbench

A Faust DSP Testbench for users of the JUCE framework

Language: C++ - Size: 23.3 MB - Last synced at: 5 days ago - Pushed at: about 1 year ago - Stars: 3 - Forks: 0

grame-cncm/faustdoc

The Faust Online Documentation

Language: TeX - Size: 373 MB - Last synced at: 5 days ago - Pushed at: 6 days ago - Stars: 11 - Forks: 14

Deducteam/Deducteam.github.io

Webpage for Dedukti and related tools

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

Deducteam/Sukerujo

Syntactic sugar for Dedukti

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

lutece-secteur-public/gru-module-ticketing-gru

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

Ville-Eurometropole-Strasbourg/Controles_LIDAR_avec_PDAL

Processus de contrôles du LIDAR avec la librairie PDAL

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

aphp/Cohort360-FrontEnd

A web application to find patients, build cohorts and visualize health records

Language: TypeScript - Size: 115 MB - Last synced at: 4 days ago - Pushed at: 6 days ago - Stars: 54 - Forks: 9

metwork-framework/mfdata

metwork/mfdata module

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

lutece-platform/lutece-search-plugin-solr

Plugin SolR

Language: Java - Size: 671 KB - Last synced at: 2 days ago - Pushed at: 5 days ago - Stars: 0 - Forks: 16

Deducteam/resystance

Rewrite system stats n' count

Language: OCaml - Size: 104 KB - Last synced at: 2 days ago - Pushed at: over 3 years ago - Stars: 3 - Forks: 3

DFIR-ORC/orc-decrypt

Tools to decrypt DFIR-Orc archives

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

datagouv/assets

Size: 61.3 MB - Last synced at: 5 days ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

MTES-MCT/dossierfacile-ocr-extractor 📦

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

datalab-mi/ridoc

Language: Python - Size: 3.96 MB - Last synced at: 5 days ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 1

openalea/deploy

OpenAlea.Deploy support the installation of OpenAlea packages via the network and manage their dependencies.

Language: Python - Size: 630 KB - Last synced at: 4 days ago - Pushed at: 12 months ago - Stars: 2 - Forks: 7

Deducteam/sublime-lambdapi

This repo describes the grammar of the [Lambdapi language](https://github.com/Deducteam/lambdapi) which is provided under an appropriate license. It is especially useful for syntax highlighting in GitHub thanks to [linguist](https://github.com/github-linguist/linguist).

Size: 1.95 KB - Last synced at: 3 days ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0

Deducteam/coq-hol-light-real-with-N

Translation in Coq of the HOL-Light definition of real numbers using binary natural numbers

Language: Rocq Prover - Size: 114 KB - Last synced at: 2 days ago - Pushed at: about 1 month ago - Stars: 2 - Forks: 5

JMMC-OpenDev/oiexplorer

Language: Java - Size: 53.6 MB - Last synced at: 4 days ago - Pushed at: 6 months ago - Stars: 1 - Forks: 1

DISIC/panorama

Panorama des grands projets SI de l'Etat

Language: HTML - Size: 30.3 MB - Last synced at: 5 days ago - Pushed at: 3 months ago - Stars: 7 - Forks: 4

opendatateam/udata-ckan

CKAN integration for udata

Language: Python - Size: 195 KB - Last synced at: 5 days ago - Pushed at: 7 months ago - Stars: 2 - Forks: 2

lutece-platform/lutece-wf-module-workflow-mappings

Module Workflow Mappings

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

lutece-platform/test-webhook

répertoire de test pour intégration avec Jenkins

Language: Java - Size: 3.31 MB - Last synced at: 2 days ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 1

nantesmetropole/analyse_mobilite_rp2018 Fork of fBedecarrats/analyse_mobilite_rp2018

A hands-on tutorial on how to use R+Rstudio (and Shiny) with a use case on 2018 French census data

Size: 4.67 MB - Last synced at: 5 days ago - Pushed at: about 3 years ago - Stars: 1 - Forks: 0

radiofrance/image-registry-metrics-exporter

Image Registry Metrics Exporter provides metrics about creation and uploading time of images on OCI registry.

Language: Go - Size: 304 KB - Last synced at: 4 days ago - Pushed at: 7 days ago - Stars: 1 - Forks: 0

aphp/IG-fhir-formbuilder

The FHIR Implementation Guide of the FormBuilder is available:

Language: GLSL - Size: 3.18 MB - Last synced at: 4 days ago - Pushed at: about 2 months ago - Stars: 3 - Forks: 0

iTowns/itowns-governance

Size: 41 KB - Last synced at: 5 days ago - Pushed at: 21 days ago - Stars: 0 - Forks: 3

entrepreneur-interet-general/outils-coachs-6

Des outils pour les coachs de la promotion 6

Language: Ruby - Size: 7.97 MB - Last synced at: 5 days ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

Universite-Gustave-Eiffel/ROADS

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

grame-cncm/guidoeditorweb

An online Guido editor

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

JMMC-OpenDev/oidb

Language: XQuery - Size: 1.78 MB - Last synced at: 4 days ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0

Geographie-cites/espace-geo

R script and functions to reproduce the table and figures comprised in "La géographie de l’Espace Géographique"

Language: R - Size: 3.54 MB - Last synced at: 5 days ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0

lutece-platform/lutece-auth-module-mylutece-openid

Module MyLutece OpenID

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

lutece-platform/tools-maven-library-pom

Lutece Library parent POM

Size: 16.6 KB - Last synced at: 2 days ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0

wookey-project/manifest

The WooKey project manifest repository, use repo init -u https://github.com/wookey-project/manifest.git

Size: 38.1 KB - Last synced at: 5 days ago - Pushed at: over 4 years ago - Stars: 17 - Forks: 3

openfisca/openfisca-france-data

France-Data module of OpenFisca

Language: Python - Size: 5.11 MB - Last synced at: 5 days ago - Pushed at: about 2 months ago - Stars: 14 - Forks: 16

tchapgouv/synapse-email-account-validity Fork of matrix-org/synapse-email-account-validity

Account validity plugin for Synapse using email

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

anct-carto/engagement-citoyen

Carte des territoires bénéficiant d'un accompagement pour l'engagement citoyen

Language: JavaScript - Size: 18.2 MB - Last synced at: 4 days ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

demarches-simplifiees/email-butler Fork of Serendipity-AI/email-butler

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

1024pix/goauth Fork of grokify/goauth

Utility libraries for Go (aka Golang) API auth including OAuth 2, JWT, TLS Client Authentication and Basic Auth.

Language: Go - Size: 737 KB - Last synced at: 2 days ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

lutece-platform/lutece-wf-module-workflow-formstopdf

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

lutece-platform/lutece-system-plugin-jmx

Plugin JMX

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

metwork-framework/pystatsd Fork of thefab/pystatsd

A Python client for statsd

Language: Python - Size: 152 KB - Last synced at: 1 day ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

meteofrance/mfai

Météo-France's AI Python package

Language: Python - Size: 1.48 MB - Last synced at: 4 days ago - Pushed at: 12 days ago - Stars: 39 - Forks: 15

ISCPIF/PSEExperiments

Reproduce the experiments of the paper "Beyond corroboration: strengthening model validation by looking for unexpected patterns" by Chérel, Cottineau and Reuillon

Language: Scala - Size: 339 MB - Last synced at: 5 days ago - Pushed at: over 10 years ago - Stars: 0 - Forks: 0

GIP-RECIA/karuta-csv-processing

Scripts de traitement des csv fourni par les université à destination des batch Karuta

Language: Perl - Size: 172 KB - Last synced at: 4 days ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0

Spirals-Team/benchmark-containers

A repository of benchmarks packaged as Docker containers

Language: Shell - Size: 32.2 KB - Last synced at: 4 days ago - Pushed at: over 8 years ago - Stars: 19 - Forks: 9

lutece-platform/lutece-tech-plugin-qrcode

Size: 0 Bytes - Last synced at: 4 days ago - Pushed at: 9 months ago - Stars: 0 - Forks: 1

riatelab/nuts

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

fluiddyn/fluidsimfoam

Python framework for OpenFOAM (publish-only mirror). For issues and merge requests, https://foss.heptapod.net/fluiddyn/fluidsimfoam

Language: Python - Size: 1.53 MB - Last synced at: 2 days ago - Pushed at: almost 2 years ago - Stars: 5 - Forks: 1

lutece-platform/lutece-form-module-forms-poll

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

lutece-platform/lutece-auth-module-mylutece-cas

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

openfun/arnold

:construction_worker_woman: Deploy your applications to Kubernetes with Ansible

Language: Jinja - Size: 1.86 MB - Last synced at: 5 days ago - Pushed at: 9 days ago - Stars: 40 - Forks: 10

cea-hpc/clustershell

Scalable cluster administration Python framework — Manage node sets, node groups and execute commands on cluster nodes in parallel.

Language: Python - Size: 9.22 MB - Last synced at: 5 days ago - Pushed at: 3 months ago - Stars: 447 - Forks: 86

radiofrance/gitlab-ci-pipelines-exporter

Rewrite of https://github.com/mvisonneau/gitlab-ci-pipelines-exporter without Gitlab API requests

Language: Go - Size: 554 KB - Last synced at: 4 days ago - Pushed at: 5 days ago - Stars: 8 - Forks: 1

numerique-gouv/helm-gh-pages Fork of stefanprodan/helm-gh-pages

A GitHub Action for publishing Helm charts to Github Pages

Size: 43.9 KB - Last synced at: 5 days ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0

IGNF/geoportal-extensions

French Geoportal Extensions for well-known javascript mapping libraries (Leaflet and OpenLayers)

Language: JavaScript - Size: 1.34 GB - Last synced at: 6 days ago - Pushed at: 5 months ago - Stars: 65 - Forks: 33

Bibliome/alvis-metadata

Language: XSLT - Size: 18.6 KB - Last synced at: 5 days ago - Pushed at: over 8 years ago - Stars: 0 - Forks: 0

lutece-platform/lutece-cms-plugin-whatsnew

Plugin WhatsNew

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

numerique-gouv/action-trivy-cache

Size: 2.93 KB - Last synced at: 5 days ago - Pushed at: 11 months ago - Stars: 0 - Forks: 2

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: 4 days ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0

clipos-archive/src_platform_clip-emblem

CLIP emblem library

Language: C++ - Size: 19.5 KB - Last synced at: 5 days ago - Pushed at: about 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: 5 days ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

betagouv/redux-react-modals

React lib displaying a layer of modals through redux actions

Language: JavaScript - Size: 1.39 MB - Last synced at: 5 days ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 1

afimb/compliance 📦

documentation helper to produce pages for validation tests descriptions

Language: Ruby - Size: 145 KB - Last synced at: 5 days ago - Pushed at: over 11 years ago - Stars: 1 - Forks: 0

elabftw/elabapi-python

eLabFTW REST API v2 Python library

Language: Shell - Size: 95.7 KB - Last synced at: 5 days ago - Pushed at: 6 days ago - Stars: 38 - Forks: 6

GIP-RECIA/textAngular Fork of textAngular/textAngular

A radically powerful Text-Editor/Wysiwyg editor for Angular.js! Create multiple editor instances, two-way-bind HTML content, watch editors for changes and more!

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

riatelab/.github

Size: 284 KB - Last synced at: 4 days ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0

OpenEdition/idref-plugin

IdRef Lodel 1 Plugin

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

OpenEdition/lodel2-python 📦

Language: Python - Size: 2.78 MB - Last synced at: 1 day ago - Pushed at: almost 8 years ago - Stars: 3 - Forks: 1

betagouv/monstage-swagger-troisieme

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

betagouv/eva

Évaluer en ligne les compétences transversales à travers des mises en situation professionnelles

Language: JavaScript - Size: 212 MB - Last synced at: 5 days ago - Pushed at: 28 days ago - Stars: 16 - Forks: 4

France-Travail/AI_frameworks

Old https://github.com/OSS-Pole-Emploi/gabarit Repo

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

messagerie-melanie2/Courrielleur-Quicktext

Basé sur https://addons.thunderbird.net/fr/thunderbird/addon/quicktext/versions/?page=1#version-1.5

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

grame-cncm/faustlive

Advanced self-contained prototyping environment for the Faust programming language

Language: C++ - Size: 220 MB - Last synced at: 5 days ago - Pushed at: 8 months ago - Stars: 88 - Forks: 19

OpenFLUID/ropenfluid

R package for OpenFLUID

Language: R - Size: 246 KB - Last synced at: 5 days ago - Pushed at: 8 months ago - Stars: 2 - Forks: 4

ANSSI-FR/ORADAD

Outil de récupération automatique des données de l'Active Directory / Automated tool for dumping Active Directory data

Language: C++ - Size: 346 KB - Last synced at: 4 days ago - Pushed at: about 1 month ago - Stars: 273 - Forks: 30

lutece-platform/lutece-apps-module-elasticdata-appcenter

⛔️ DEPRECATED - Module ElasticData for Appcenter

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

lutece-platform/lutece-tech-plugin-referencelist

Allows to manage lists of "code/name” pair used by other Lutece components for inputs in forms, configuration, etc.

Language: Java - Size: 192 KB - Last synced at: 2 days ago - Pushed at: 7 days ago - Stars: 0 - Forks: 3

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: almost 3 years ago - Stars: 1 - Forks: 0

DUT-Info-Montreuil/BUT2_SAEWEB_BENJEBARA_TRI_SIMAO

Language: PHP - Size: 188 KB - Last synced at: 8 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0

GIP-RECIA/DocENT

Documentation ENT et services ENT

Language: HTML - Size: 20 MB - Last synced at: 4 days ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0

MTES-MCT/parcours_r_socle_preparation_des_donnees

Support de formation du module 2 du parcours R MTES

Language: TeX - Size: 43.9 MB - Last synced at: 4 days ago - Pushed at: 8 months ago - Stars: 3 - Forks: 3

DUT-Info-Montreuil/genio-backend

GenioService - Application java Backend

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

lutece-platform/lutece-system-library-jmx-api

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

IGNF-Ma-carte/mceditor

Macarte editor app

Language: JavaScript - Size: 58.6 MB - Last synced at: 5 days ago - Pushed at: 20 days ago - Stars: 0 - Forks: 1

anct-carto/mission_coworking 📦

Size: 1.72 MB - Last synced at: 4 days ago - Pushed at: over 6 years ago - Stars: 17 - Forks: 8

lutece-platform/lutece-search-module-solrserver-directory

⛔️ DEPRECATED

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

assurance-maladie-digital/api-droits-fs-doc 📦

Documentation de l'API des droits assurés

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

atlanmod/org.eclipse.atl.reactive.haskell_semantics

Language: Haskell - Size: 43.9 KB - Last synced at: 5 days ago - Pushed at: over 9 years ago - Stars: 1 - Forks: 0

lutece-secteur-public/gru-library-grubusiness

Provides a Model to be used in GRU plugins

Language: Java - Size: 254 KB - Last synced at: 5 days ago - Pushed at: 12 days ago - Stars: 0 - Forks: 2

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: 4 days ago - Pushed at: almost 6 years ago - Stars: 6 - Forks: 1

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: 6 days ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 1

e-PSHAD/pad-infra

Scripts pour l'infrastructure PAD+

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

DNUM-SocialGouv/anais_helios

Language: Python - Size: 24.9 MB - Last synced at: 3 days ago - Pushed at: 9 days ago - Stars: 0 - Forks: 0

SocialGouv/ragga 📦

llama index + ChatGPT + internal documention demo

Language: Python - Size: 215 KB - Last synced at: 4 days ago - Pushed at: 5 months ago - Stars: 1 - Forks: 1