GitHub
Deducteam/ekstrakto
Extract TPTP problems from a TSTP trace and reconstruct the proof in lambdapi (λΠ-calculus modulo theory).
langage: OCaml - taille: 116 ko - dernière synchronisation: il y a 1 jour - enregistré: il y a plus de 2 ans - étoiles: 5 - forks: 4
Envinorma/ocr_utils
Python tools for interacting with Tesseract
langage: Python - taille: 6,76 Mo - dernière synchronisation: il y a 6 mois - enregistré: il y a plus de 4 ans - étoiles: 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.
taille: 17,6 ko - dernière synchronisation: il y a 5 jours - enregistré: il y a plus de 3 ans - étoiles: 0 - forks: 1
agora-gouv/agora-cms-strapi
Plateforme de gestion de contenu d'Agora
langage: JavaScript - taille: 912 ko - dernière synchronisation: il y a 6 jours - enregistré: il y a 4 mois - étoiles: 0 - forks: 0
clipos/testbed
Resources to build the CLIP OS virtualized testbed
langage: Shell - taille: 149 ko - dernière synchronisation: il y a 5 jours - enregistré: il y a environ 5 ans - étoiles: 0 - forks: 0
grame-cncm/Faust-DSP-Testbench Fork de AndrewJJ/DSP-Testbench
A Faust DSP Testbench for users of the JUCE framework
langage: C++ - taille: 23,3 Mo - dernière synchronisation: il y a 5 jours - enregistré: il y a environ un an - étoiles: 3 - forks: 0
grame-cncm/faustdoc
The Faust Online Documentation
langage: TeX - taille: 373 Mo - dernière synchronisation: il y a 5 jours - enregistré: il y a 6 jours - étoiles: 11 - forks: 14
Deducteam/Deducteam.github.io
Webpage for Dedukti and related tools
langage: HTML - taille: 137 Mo - dernière synchronisation: il y a 1 jour - enregistré: il y a environ un an - étoiles: 2 - forks: 4
Deducteam/Sukerujo
Syntactic sugar for Dedukti
langage: OCaml - taille: 3,95 Mo - dernière synchronisation: il y a 1 jour - enregistré: il y a plus de 2 ans - étoiles: 3 - forks: 3
lutece-secteur-public/gru-module-ticketing-gru
langage: Java - taille: 47,9 ko - dernière synchronisation: il y a 5 jours - enregistré: il y a environ 2 mois - étoiles: 0 - forks: 0
Ville-Eurometropole-Strasbourg/Controles_LIDAR_avec_PDAL
Processus de contrôles du LIDAR avec la librairie PDAL
taille: 646 ko - dernière synchronisation: il y a 5 jours - enregistré: il y a plus de 5 ans - étoiles: 1 - forks: 0
aphp/Cohort360-FrontEnd
A web application to find patients, build cohorts and visualize health records
langage: TypeScript - taille: 115 Mo - dernière synchronisation: il y a 4 jours - enregistré: il y a 6 jours - étoiles: 54 - forks: 9
metwork-framework/mfdata
metwork/mfdata module
langage: Python - taille: 3,12 Mo - dernière synchronisation: il y a 5 jours - enregistré: il y a 5 jours - étoiles: 6 - forks: 4
lutece-platform/lutece-search-plugin-solr
Plugin SolR
langage: Java - taille: 671 ko - dernière synchronisation: il y a 1 jour - enregistré: il y a 5 jours - étoiles: 0 - forks: 16
Deducteam/resystance
Rewrite system stats n' count
langage: OCaml - taille: 104 ko - dernière synchronisation: il y a 1 jour - enregistré: il y a plus de 3 ans - étoiles: 3 - forks: 3
DFIR-ORC/orc-decrypt
Tools to decrypt DFIR-Orc archives
langage: Python - taille: 86,9 ko - dernière synchronisation: il y a 5 jours - enregistré: il y a plus d'un an - étoiles: 2 - forks: 2
datagouv/assets
taille: 61,3 Mo - dernière synchronisation: il y a 5 jours - enregistré: il y a environ un mois - étoiles: 0 - forks: 0
MTES-MCT/dossierfacile-ocr-extractor 📦
langage: Python - taille: 83 ko - dernière synchronisation: il y a 4 jours - enregistré: il y a environ un mois - étoiles: 0 - forks: 0
datalab-mi/ridoc
langage: Python - taille: 3,96 Mo - dernière synchronisation: il y a 5 jours - enregistré: il y a plus d'un an - étoiles: 3 - forks: 1
openalea/deploy
OpenAlea.Deploy support the installation of OpenAlea packages via the network and manage their dependencies.
langage: Python - taille: 630 ko - dernière synchronisation: il y a 4 jours - enregistré: il y a 12 mois - étoiles: 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).
taille: 1,95 ko - dernière synchronisation: il y a 3 jours - enregistré: il y a environ 2 mois - étoiles: 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
langage: Rocq Prover - taille: 114 ko - dernière synchronisation: il y a 1 jour - enregistré: il y a environ un mois - étoiles: 2 - forks: 5
JMMC-OpenDev/oiexplorer
langage: Java - taille: 53,6 Mo - dernière synchronisation: il y a 4 jours - enregistré: il y a 6 mois - étoiles: 1 - forks: 1
DISIC/panorama
Panorama des grands projets SI de l'Etat
langage: HTML - taille: 30,3 Mo - dernière synchronisation: il y a 5 jours - enregistré: il y a 3 mois - étoiles: 7 - forks: 4
opendatateam/udata-ckan
CKAN integration for udata
langage: Python - taille: 195 ko - dernière synchronisation: il y a 5 jours - enregistré: il y a 7 mois - étoiles: 2 - forks: 2
lutece-platform/lutece-wf-module-workflow-mappings
Module Workflow Mappings
langage: Java - taille: 69,3 ko - dernière synchronisation: il y a 1 jour - enregistré: il y a environ 2 mois - étoiles: 0 - forks: 0
lutece-platform/test-webhook
répertoire de test pour intégration avec Jenkins
langage: Java - taille: 3,31 Mo - dernière synchronisation: il y a 1 jour - enregistré: il y a environ 2 mois - étoiles: 0 - forks: 1
nantesmetropole/analyse_mobilite_rp2018 Fork de 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
taille: 4,67 Mo - dernière synchronisation: il y a 5 jours - enregistré: il y a environ 3 ans - étoiles: 1 - forks: 0
radiofrance/image-registry-metrics-exporter
Image Registry Metrics Exporter provides metrics about creation and uploading time of images on OCI registry.
langage: Go - taille: 304 ko - dernière synchronisation: il y a 4 jours - enregistré: il y a 7 jours - étoiles: 1 - forks: 0
aphp/IG-fhir-formbuilder
The FHIR Implementation Guide of the FormBuilder is available:
langage: GLSL - taille: 3,18 Mo - dernière synchronisation: il y a 4 jours - enregistré: il y a environ 2 mois - étoiles: 3 - forks: 0
iTowns/itowns-governance
taille: 41 ko - dernière synchronisation: il y a 5 jours - enregistré: il y a 21 jours - étoiles: 0 - forks: 3
entrepreneur-interet-general/outils-coachs-6
Des outils pour les coachs de la promotion 6
langage: Ruby - taille: 7,97 Mo - dernière synchronisation: il y a 5 jours - enregistré: il y a plus de 2 ans - étoiles: 0 - forks: 0
Universite-Gustave-Eiffel/ROADS
taille: 72,9 Mo - dernière synchronisation: il y a 5 jours - enregistré: il y a presque 4 ans - étoiles: 0 - forks: 1
grame-cncm/guidoeditorweb
An online Guido editor
langage: TypeScript - taille: 8,13 Mo - dernière synchronisation: il y a 5 jours - enregistré: il y a 5 mois - étoiles: 14 - forks: 2
JMMC-OpenDev/oidb
langage: XQuery - taille: 1,78 Mo - dernière synchronisation: il y a 4 jours - enregistré: il y a 4 mois - étoiles: 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"
langage: R - taille: 3,54 Mo - dernière synchronisation: il y a 5 jours - enregistré: il y a 11 mois - étoiles: 0 - forks: 0
lutece-platform/lutece-auth-module-mylutece-openid
Module MyLutece OpenID
langage: Java - taille: 48,8 ko - dernière synchronisation: il y a 1 jour - enregistré: il y a environ 2 mois - étoiles: 0 - forks: 0
lutece-platform/tools-maven-library-pom
Lutece Library parent POM
taille: 16,6 ko - dernière synchronisation: il y a 1 jour - enregistré: il y a environ 2 mois - étoiles: 0 - forks: 0
wookey-project/manifest
The WooKey project manifest repository, use repo init -u https://github.com/wookey-project/manifest.git
taille: 38,1 ko - dernière synchronisation: il y a 5 jours - enregistré: il y a plus de 4 ans - étoiles: 17 - forks: 3
openfisca/openfisca-france-data
France-Data module of OpenFisca
langage: Python - taille: 5,11 Mo - dernière synchronisation: il y a 5 jours - enregistré: il y a environ 2 mois - étoiles: 14 - forks: 16
tchapgouv/synapse-email-account-validity Fork de matrix-org/synapse-email-account-validity
Account validity plugin for Synapse using email
langage: Python - taille: 182 ko - dernière synchronisation: il y a 5 jours - enregistré: il y a 2 mois - étoiles: 0 - forks: 0
anct-carto/engagement-citoyen
Carte des territoires bénéficiant d'un accompagement pour l'engagement citoyen
langage: JavaScript - taille: 18,2 Mo - dernière synchronisation: il y a 4 jours - enregistré: il y a environ un an - étoiles: 0 - forks: 0
demarches-simplifiees/email-butler Fork de Serendipity-AI/email-butler
taille: 483 ko - dernière synchronisation: il y a 6 jours - enregistré: il y a plus d'un an - étoiles: 0 - forks: 0
1024pix/goauth Fork de grokify/goauth
Utility libraries for Go (aka Golang) API auth including OAuth 2, JWT, TLS Client Authentication and Basic Auth.
langage: Go - taille: 737 ko - dernière synchronisation: il y a 1 jour - enregistré: il y a plus d'un an - étoiles: 0 - forks: 0
lutece-platform/lutece-wf-module-workflow-formstopdf
langage: Java - taille: 134 ko - dernière synchronisation: il y a 1 jour - enregistré: il y a environ 2 mois - étoiles: 0 - forks: 5
lutece-platform/lutece-system-plugin-jmx
Plugin JMX
langage: Java - taille: 50,8 ko - dernière synchronisation: il y a 1 jour - enregistré: il y a environ 2 mois - étoiles: 0 - forks: 0
metwork-framework/pystatsd Fork de thefab/pystatsd
A Python client for statsd
langage: Python - taille: 152 ko - dernière synchronisation: il y a 1 jour - enregistré: il y a 5 mois - étoiles: 0 - forks: 0
meteofrance/mfai
Météo-France's AI Python package
langage: Python - taille: 1,48 Mo - dernière synchronisation: il y a 4 jours - enregistré: il y a 12 jours - étoiles: 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
langage: Scala - taille: 339 Mo - dernière synchronisation: il y a 5 jours - enregistré: il y a plus de 10 ans - étoiles: 0 - forks: 0
GIP-RECIA/karuta-csv-processing
Scripts de traitement des csv fourni par les université à destination des batch Karuta
langage: Perl - taille: 172 ko - dernière synchronisation: il y a 4 jours - enregistré: il y a environ 2 mois - étoiles: 0 - forks: 0
Spirals-Team/benchmark-containers
A repository of benchmarks packaged as Docker containers
langage: Shell - taille: 32,2 ko - dernière synchronisation: il y a 4 jours - enregistré: il y a plus de 8 ans - étoiles: 19 - forks: 9
lutece-platform/lutece-tech-plugin-qrcode
taille: 0 octet - dernière synchronisation: il y a 4 jours - enregistré: il y a 9 mois - étoiles: 0 - forks: 1
riatelab/nuts
langage: R - taille: 4,74 Mo - dernière synchronisation: il y a 4 jours - enregistré: il y a environ 7 ans - étoiles: 0 - forks: 0
fluiddyn/fluidsimfoam
Python framework for OpenFOAM (publish-only mirror). For issues and merge requests, https://foss.heptapod.net/fluiddyn/fluidsimfoam
langage: Python - taille: 1,53 Mo - dernière synchronisation: il y a 2 jours - enregistré: il y a presque 2 ans - étoiles: 5 - forks: 1
lutece-platform/lutece-form-module-forms-poll
langage: Java - taille: 365 ko - dernière synchronisation: il y a 1 jour - enregistré: il y a environ 2 mois - étoiles: 0 - forks: 0
lutece-platform/lutece-auth-module-mylutece-cas
langage: Java - taille: 91,8 ko - dernière synchronisation: il y a 1 jour - enregistré: il y a environ 2 mois - étoiles: 0 - forks: 2
openfun/arnold
:construction_worker_woman: Deploy your applications to Kubernetes with Ansible
langage: Jinja - taille: 1,86 Mo - dernière synchronisation: il y a 5 jours - enregistré: il y a 9 jours - étoiles: 40 - forks: 10
cea-hpc/clustershell
Scalable cluster administration Python framework — Manage node sets, node groups and execute commands on cluster nodes in parallel.
langage: Python - taille: 9,22 Mo - dernière synchronisation: il y a 5 jours - enregistré: il y a 3 mois - étoiles: 447 - forks: 86
radiofrance/gitlab-ci-pipelines-exporter
Rewrite of https://github.com/mvisonneau/gitlab-ci-pipelines-exporter without Gitlab API requests
langage: Go - taille: 554 ko - dernière synchronisation: il y a 4 jours - enregistré: il y a 5 jours - étoiles: 8 - forks: 1
numerique-gouv/helm-gh-pages Fork de stefanprodan/helm-gh-pages
A GitHub Action for publishing Helm charts to Github Pages
taille: 43,9 ko - dernière synchronisation: il y a 5 jours - enregistré: il y a 10 mois - étoiles: 0 - forks: 0
IGNF/geoportal-extensions
French Geoportal Extensions for well-known javascript mapping libraries (Leaflet and OpenLayers)
langage: JavaScript - taille: 1,34 Go - dernière synchronisation: il y a 6 jours - enregistré: il y a 5 mois - étoiles: 65 - forks: 33
Bibliome/alvis-metadata
langage: XSLT - taille: 18,6 ko - dernière synchronisation: il y a 5 jours - enregistré: il y a plus de 8 ans - étoiles: 0 - forks: 0
lutece-platform/lutece-cms-plugin-whatsnew
Plugin WhatsNew
langage: Java - taille: 115 ko - dernière synchronisation: il y a 1 jour - enregistré: il y a environ 2 mois - étoiles: 0 - forks: 0
numerique-gouv/action-trivy-cache
taille: 2,93 ko - dernière synchronisation: il y a 5 jours - enregistré: il y a 11 mois - étoiles: 0 - forks: 2
GIP-RECIA/no-project-management
Management des projets: création d'issues/tâches uniquement sans repository présent sur github
taille: 0 octet - dernière synchronisation: il y a 4 jours - enregistré: il y a 4 mois - étoiles: 0 - forks: 0
clipos-archive/src_platform_clip-emblem
CLIP emblem library
langage: C++ - taille: 19,5 ko - dernière synchronisation: il y a 5 jours - enregistré: il y a environ 7 ans - étoiles: 0 - forks: 0
OpenEdition/lodel-doc-user Fork de ValentinGeorgesDubost/Doc-Lodel-Utilisateur
Documentation Utilisateur Lodel
taille: 1,64 Mo - dernière synchronisation: il y a 5 jours - enregistré: il y a plus de 3 ans - étoiles: 0 - forks: 0
betagouv/redux-react-modals
React lib displaying a layer of modals through redux actions
langage: JavaScript - taille: 1,39 Mo - dernière synchronisation: il y a 5 jours - enregistré: il y a presque 3 ans - étoiles: 0 - forks: 1
afimb/compliance 📦
documentation helper to produce pages for validation tests descriptions
langage: Ruby - taille: 145 ko - dernière synchronisation: il y a 5 jours - enregistré: il y a plus de 11 ans - étoiles: 1 - forks: 0
elabftw/elabapi-python
eLabFTW REST API v2 Python library
langage: Shell - taille: 95,7 ko - dernière synchronisation: il y a 5 jours - enregistré: il y a 6 jours - étoiles: 38 - forks: 6
GIP-RECIA/textAngular Fork de 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!
langage: JavaScript - taille: 3,8 Mo - dernière synchronisation: il y a 4 jours - enregistré: il y a plus de 8 ans - étoiles: 0 - forks: 0
riatelab/.github
taille: 284 ko - dernière synchronisation: il y a 4 jours - enregistré: il y a 2 mois - étoiles: 0 - forks: 0
OpenEdition/idref-plugin
IdRef Lodel 1 Plugin
langage: PHP - taille: 83 ko - dernière synchronisation: il y a 2 jours - enregistré: il y a 4 mois - étoiles: 0 - forks: 0
OpenEdition/lodel2-python 📦
langage: Python - taille: 2,78 Mo - dernière synchronisation: il y a 1 jour - enregistré: il y a presque 8 ans - étoiles: 3 - forks: 1
betagouv/monstage-swagger-troisieme
langage: JavaScript - taille: 4,2 Mo - dernière synchronisation: il y a 5 jours - enregistré: il y a plus d'un an - étoiles: 0 - forks: 0
betagouv/eva
Évaluer en ligne les compétences transversales à travers des mises en situation professionnelles
langage: JavaScript - taille: 212 Mo - dernière synchronisation: il y a 5 jours - enregistré: il y a 28 jours - étoiles: 16 - forks: 4
France-Travail/AI_frameworks
Old https://github.com/OSS-Pole-Emploi/gabarit Repo
taille: 0 octet - dernière synchronisation: il y a 6 jours - enregistré: il y a plus de 3 ans - étoiles: 1 - forks: 0
messagerie-melanie2/Courrielleur-Quicktext
Basé sur https://addons.thunderbird.net/fr/thunderbird/addon/quicktext/versions/?page=1#version-1.5
langage: JavaScript - taille: 74,2 ko - dernière synchronisation: il y a 5 jours - enregistré: il y a plus de 2 ans - étoiles: 0 - forks: 0
grame-cncm/faustlive
Advanced self-contained prototyping environment for the Faust programming language
langage: C++ - taille: 220 Mo - dernière synchronisation: il y a 5 jours - enregistré: il y a 8 mois - étoiles: 88 - forks: 19
OpenFLUID/ropenfluid
R package for OpenFLUID
langage: R - taille: 246 ko - dernière synchronisation: il y a 5 jours - enregistré: il y a 8 mois - étoiles: 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
langage: C++ - taille: 346 ko - dernière synchronisation: il y a 4 jours - enregistré: il y a environ un mois - étoiles: 273 - forks: 30
lutece-platform/lutece-apps-module-elasticdata-appcenter
⛔️ DEPRECATED - Module ElasticData for Appcenter
langage: Java - taille: 32,2 ko - dernière synchronisation: il y a 1 jour - enregistré: il y a environ 2 mois - étoiles: 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.
langage: Java - taille: 192 ko - dernière synchronisation: il y a 1 jour - enregistré: il y a 7 jours - étoiles: 0 - forks: 3
IGNF/inca-addins-for-arcgis
ArcGIS Pro addin to automate maplex configuration and manage/browse lists of features
taille: 8,21 Mo - dernière synchronisation: il y a 6 jours - enregistré: il y a presque 3 ans - étoiles: 1 - forks: 0
DUT-Info-Montreuil/BUT2_SAEWEB_BENJEBARA_TRI_SIMAO
langage: PHP - taille: 188 ko - dernière synchronisation: il y a 8 mois - enregistré: il y a 10 mois - étoiles: 0 - forks: 0
GIP-RECIA/DocENT
Documentation ENT et services ENT
langage: HTML - taille: 20 Mo - dernière synchronisation: il y a 4 jours - enregistré: il y a 2 mois - étoiles: 0 - forks: 0
MTES-MCT/parcours_r_socle_preparation_des_donnees
Support de formation du module 2 du parcours R MTES
langage: TeX - taille: 43,9 Mo - dernière synchronisation: il y a 4 jours - enregistré: il y a 8 mois - étoiles: 3 - forks: 3
DUT-Info-Montreuil/genio-backend
GenioService - Application java Backend
langage: Java - taille: 6,66 Mo - dernière synchronisation: il y a 4 mois - enregistré: il y a 5 mois - étoiles: 0 - forks: 0
lutece-platform/lutece-system-library-jmx-api
langage: Java - taille: 5,86 ko - dernière synchronisation: il y a 1 jour - enregistré: il y a environ 2 mois - étoiles: 0 - forks: 0
IGNF-Ma-carte/mceditor
Macarte editor app
langage: JavaScript - taille: 58,6 Mo - dernière synchronisation: il y a 5 jours - enregistré: il y a 20 jours - étoiles: 0 - forks: 1
anct-carto/mission_coworking 📦
taille: 1,72 Mo - dernière synchronisation: il y a 4 jours - enregistré: il y a plus de 6 ans - étoiles: 17 - forks: 8
lutece-platform/lutece-search-module-solrserver-directory
⛔️ DEPRECATED
langage: Java - taille: 20,5 ko - dernière synchronisation: il y a 1 jour - enregistré: il y a environ 2 mois - étoiles: 0 - forks: 0
assurance-maladie-digital/api-droits-fs-doc 📦
Documentation de l'API des droits assurés
taille: 24,4 ko - dernière synchronisation: il y a 5 jours - enregistré: il y a plus de 6 ans - étoiles: 0 - forks: 0
atlanmod/org.eclipse.atl.reactive.haskell_semantics
langage: Haskell - taille: 43,9 ko - dernière synchronisation: il y a 5 jours - enregistré: il y a plus de 9 ans - étoiles: 1 - forks: 0
lutece-secteur-public/gru-library-grubusiness
Provides a Model to be used in GRU plugins
langage: Java - taille: 254 ko - dernière synchronisation: il y a 5 jours - enregistré: il y a 12 jours - étoiles: 0 - forks: 2
SocialGouv/dila2sql Fork de Legilibre/legi.py 📦
Outils pour générer des bases SQL à partir des jeux de données légales de la DILA
langage: Python - taille: 15,5 Mo - dernière synchronisation: il y a 4 jours - enregistré: il y a presque 6 ans - étoiles: 6 - forks: 1
IGNF/circe
Circé is a computer program whose purpose is the transformation of 4D+1 point coordinates between Coordinate Reference Systems.
langage: Python - taille: 99,7 Mo - dernière synchronisation: il y a 6 jours - enregistré: il y a plus d'un an - étoiles: 3 - forks: 1
e-PSHAD/pad-infra
Scripts pour l'infrastructure PAD+
langage: PHP - taille: 744 ko - dernière synchronisation: il y a 5 jours - enregistré: il y a plus de 3 ans - étoiles: 0 - forks: 0
DNUM-SocialGouv/anais_helios
langage: Python - taille: 24,9 Mo - dernière synchronisation: il y a 3 jours - enregistré: il y a 9 jours - étoiles: 0 - forks: 0
SocialGouv/ragga 📦
llama index + ChatGPT + internal documention demo
langage: Python - taille: 215 ko - dernière synchronisation: il y a 4 jours - enregistré: il y a 5 mois - étoiles: 1 - forks: 1