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