Deducteam/Logipedia

An encyclopedia of proofs

Language: OCaml - Size: 61.2 MB - Last synced at: about 1 month ago - Pushed at: almost 2 years ago - Stars: 67 - Forks: 12

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 1 month ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

InseeFrLab/rapidsai

a jupyter rapidsai image to work with our datalab

Language: Dockerfile - Size: 24.4 KB - Last synced at: about 1 month ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

Universite-Gustave-Eiffel/CleanTiPy

An open-source implementation of CLEAN-T acoustic imaging technique

Language: Python - Size: 4.12 MB - Last synced at: about 1 month ago - Pushed at: about 1 year ago - Stars: 5 - Forks: 0

grame-cncm/faustide-llm Fork of grame-cncm/faustide 📦

Faust IDE (Integrated Development Environment)

Language: TypeScript - Size: 245 MB - Last synced at: about 1 month ago - Pushed at: 4 months ago - Stars: 0 - Forks: 2

CNRS-DSI-Dev/user_files_restore

Owncloud 7 app that allows a user to request files restoration.

Language: PHP - Size: 82 KB - Last synced at: 5 months ago - Pushed at: almost 9 years ago - Stars: 0 - Forks: 3

icy-imaging/track-processor-roi-gate

Language: Java - Size: 27.3 KB - Last synced at: 27 days ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

betagouv/aides-simplifiees-docs

Size: 148 KB - Last synced at: about 1 month ago - Pushed at: about 2 months ago - Stars: 1 - Forks: 0

Ville-Eurometropole-Strasbourg/qfield-ban-locator

Plugin de recherche d'adresse BAN pour Qfield

Language: QML - Size: 12.7 KB - Last synced at: about 1 month ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0

DNUM-SocialGouv/mes-aides-analytics

Analyse de données sur les usages de Mes Aides

Language: JavaScript - Size: 18.8 MB - Last synced at: 27 days ago - Pushed at: 28 days ago - Stars: 1 - Forks: 2

betagouv/pass-culture-datascience

Size: 0 Bytes - Last synced at: about 1 month ago - Pushed at: almost 8 years ago - Stars: 0 - Forks: 0

betagouv/aggregate-values-action 📦

Language: TypeScript - Size: 374 KB - Last synced at: about 1 month ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

betagouv/communs-de-la-transition-ecologique-des-collectivites

Communs de la transition écologique des collectivités

Language: TypeScript - Size: 13.4 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 1 - Forks: 2

ANSSI-FR/AD-control-paths 📦

Active Directory Control Paths auditing and graphing tools

Language: C - Size: 1.15 MB - Last synced at: about 1 month ago - Pushed at: almost 6 years ago - Stars: 675 - Forks: 100

Ville-Eurometropole-Strasbourg/equerre-compensee-plugin

[MIRROR] Plugin QGIS permettant de saisir des points provenant d'un plan de géomètre

Language: Python - Size: 48.8 KB - Last synced at: about 1 month ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0

AC-Rennes-OpenSource/alambic

An ETL product to perform numerous and various operations for system administration

Language: Java - Size: 2.11 MB - Last synced at: about 1 month ago - Pushed at: 4 months ago - Stars: 5 - Forks: 0

powerapi-ng/hwpc-sensor

Hardware Performance Counters monitoring agent for containers.

Language: C - Size: 603 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 15 - Forks: 16

sofa-framework/Flexible 📦

A SOFA plugin for the modular modeling of deformable material (including continuum mechanics)

Language: C++ - Size: 7.2 MB - Last synced at: about 1 month ago - Pushed at: almost 4 years ago - Stars: 1 - Forks: 2

ANSSI-FR/libapn 📦

libapn is a header-based C++ library developed to study vectorial Boolean functions, including but not limited to APN functions.

Language: C++ - Size: 56.6 KB - Last synced at: about 1 month ago - Pushed at: over 7 years ago - Stars: 6 - Forks: 2

sofa-framework/automation-scripts

Set of scripts automating processes around the SOFA open-source project

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

tchapgouv/compound-ios Fork of element-hq/compound-ios

SwiftUI implementation of the Compound design system

Language: Swift - Size: 944 KB - Last synced at: about 1 month ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 1

gemoc/gemoc-studio-gallery-ci

Test of the GEMOC gallery consistency and other gallery CI helper jobs

Language: Java - Size: 44.9 KB - Last synced at: about 1 month ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

ANSSI-FR/concerto 📦

Toolset to analyse TLS datasets

Size: 322 KB - Last synced at: about 1 month ago - Pushed at: about 8 years ago - Stars: 1 - Forks: 0

lutece-platform/lutece-cms-module-document-export

Language: Java - Size: 40 KB - Last synced at: about 1 month ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

lutece-platform/lutece-tech-library-flexmark

Flexmark implementation for lutece IMDParser interface

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

ANSSI-FR/cardstalker 📦

CardStalker provides a UART-driven smartcard reader at the T=1 (see ISO7816-3) level (link and physical layer), where most of the smartcard reader devices on the market are only providing an APDU interface (application layer).

Language: C - Size: 187 KB - Last synced at: about 1 month ago - Pushed at: over 4 years ago - Stars: 24 - Forks: 6

1024pix/userstyles

Language: CSS - Size: 2.93 KB - Last synced at: about 1 month ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

InseeFr/BPM

Metadata parser

Language: Java - Size: 1.24 MB - Last synced at: about 1 month ago - Pushed at: about 2 months ago - Stars: 1 - Forks: 1

metwork-framework/mfextaddon_template

template repository for building mfext addons

Language: Shell - Size: 172 KB - Last synced at: about 1 month ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0

ansforge/IG-fhir-repertoire-offre-ressources-sante-me24 📦

Spécifications de l'API FHIR pour consommer le modèle d'exposition 2.4 du ROR

Language: GLSL - Size: 33.5 MB - Last synced at: about 1 month ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 1

numerique-gouv/audioconf

Des audio conférences pour les agents de l'Etat.

Language: JavaScript - Size: 1.21 MB - Last synced at: about 1 month ago - Pushed at: almost 2 years ago - Stars: 6 - Forks: 12

numerique-gouv/revealmd-template

Language: HTML - Size: 391 KB - Last synced at: about 1 month ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 0

dnum-mi/alert-opsdroid

Language: Python - Size: 5.86 KB - Last synced at: about 1 month ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

diverse-project/SAT-DSLmorphic

A language to resolve SAT problems with a family of SAT solvers (experiments with master SIF)

Language: Jupyter Notebook - Size: 124 MB - Last synced at: about 1 month ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 5

GIP-RECIA/template-webcomponent-vue3 📦

Modèle pour créer des composants web en vue 3

Language: TypeScript - Size: 3.45 MB - Last synced at: about 1 month ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

suitenumerique/ci

WIP

Language: Python - Size: 56.6 KB - Last synced at: 28 days ago - Pushed at: 28 days ago - Stars: 0 - Forks: 0

ANSSI-FR/audit-radius 📦

A RADIUS authentication server audit tool

Language: Python - Size: 23.4 KB - Last synced at: about 1 month ago - Pushed at: about 8 years ago - Stars: 81 - Forks: 21

dataesr/Horizon-2020-version-2

Language: R - Size: 43.9 KB - Last synced at: about 1 month ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

plantnet/pm2-logrotate Fork of keymetrics/pm2-logrotate

Automatically rotate all applications logs managed by PM2

Language: JavaScript - Size: 98.6 KB - Last synced at: about 1 month ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0

signaux-faibles/libwekan 📦

Language: Go - Size: 218 KB - Last synced at: 5 months ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

LaboratoryOfPlasmaPhysics/thermomix

Size: 1.74 MB - Last synced at: about 1 month ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0

atlanmod/algae

Language: Java - Size: 8.34 MB - Last synced at: about 1 month ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

openfun/openedx-comments-docker

:whale: A handcrafted Docker image for the Open edX comment service

Language: Dockerfile - Size: 41 KB - Last synced at: about 1 month ago - Pushed at: about 8 years ago - Stars: 1 - Forks: 0

DNUM-SocialGouv/1j1s-etl

Dépôt qui consomme différents flux de données pour les servir sur site 1j1s

Language: TypeScript - Size: 12.6 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 5 - Forks: 1

centreborelli/ransac

Python wrapper for Enric Meinhardt's imscript RANSAC C implementation

Language: C - Size: 52.7 KB - Last synced at: about 1 month ago - Pushed at: about 5 years ago - Stars: 5 - Forks: 4

suitenumerique/planka Fork of plankanban/planka 📦

The realtime kanban board for workgroups built with React and Redux.

Size: 46.1 MB - Last synced at: about 1 month ago - Pushed at: almost 2 years ago - Stars: 14 - Forks: 2

pass-culture/terraform-google-kubernetes-engine Fork of terraform-google-modules/terraform-google-kubernetes-engine 📦

A Terraform module for configuring GKE clusters.

Size: 3.11 MB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

datagouv/regalgo

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

proconnect-gouv/proconnect-test-client

This is a minimal, nodeJS-based ProConnect client, to be used for end-to-end testing.

Language: EJS - Size: 1.34 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 4 - Forks: 2

gammapy/gamma-sky

Portal to the gamma-ray sky

Language: JavaScript - Size: 85 MB - Last synced at: about 1 month ago - Pushed at: over 8 years ago - Stars: 6 - Forks: 2

strasbourg/velhop-api

Language: CoffeeScript - Size: 105 KB - Last synced at: about 1 month ago - Pushed at: over 13 years ago - Stars: 3 - Forks: 0

DNUM-SocialGouv/1j1s-front

Language: TypeScript - Size: 103 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 9 - Forks: 7

ANSSI-FR/caml-crush 📦

Caml Crush: an OCaml PKCS#11 filtering proxy

Size: 2.62 MB - Last synced at: about 1 month ago - Pushed at: almost 9 years ago - Stars: 3 - Forks: 1

strasbourg/curieux

Size: 0 Bytes - Last synced at: about 1 month ago - Pushed at: almost 13 years ago - Stars: 0 - Forks: 0

lias-laboratory/5g-open-lab

L'objectif de ce dépôt est de capitaliser les retours d'expérience liés au déploiement d'un réseau 5G privé. Il couvre l'ensemble du cycle, depuis la station de base jusqu'au cœur de réseau, en passant par l'équipement utilisateur.

Size: 729 KB - Last synced at: about 1 month ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 0

ANSSI-FR/usb_authentication

Home of the USB Authentication project. USB authentication allows for a USB Host to authenticate a USB device.

Language: C - Size: 86.9 KB - Last synced at: about 1 month ago - Pushed at: 7 months ago - Stars: 5 - Forks: 0

icy-imaging/track-processor-time-clip

Language: Java - Size: 33.2 KB - Last synced at: 27 days ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

metwork-framework/mfextaddon_mapserver

mfext addon layer to provide mapserver softwares

Language: HTML - Size: 645 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 1 - Forks: 2

lutece-platform/lutece-system-library-shorturl

Language: Java - Size: 16.6 KB - Last synced at: about 1 month ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

AtelierCartographie/Khartis

Khartis - thematic mapping

Language: JavaScript - Size: 184 MB - Last synced at: about 1 month ago - Pushed at: about 3 years ago - Stars: 77 - Forks: 37

lutece-platform/lutece-form-module-form-compare-validators

⛔️ DEPRECATED

Language: Java - Size: 62.5 KB - Last synced at: about 1 month ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

numerique-gouv/ami-app-ios

iOS app for the AMI project

Language: Swift - Size: 3.45 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

metwork-framework/mapserverapi

tiny C library to invoke mapserver engine as a library

Language: C - Size: 240 KB - Last synced at: about 1 month ago - Pushed at: 4 months ago - Stars: 2 - Forks: 5

betagouv/react-dsfr-chart

Portage de dsfr-chart sur React

Language: TypeScript - Size: 362 KB - Last synced at: 28 days ago - Pushed at: 30 days ago - Stars: 1 - Forks: 0

metwork-framework/mfutil_lua

Some utility functions for lua/openresty

Language: Lua - Size: 25.4 KB - Last synced at: about 1 month ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0

metwork-framework/lua-resty-statsd Fork of bakins/lua-resty-statsd

Statsd client for OpenResty

Language: Lua - Size: 38.1 KB - Last synced at: about 1 month ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0

metwork-framework/acquisition

This a python module for managing incoming files in Metwork framework

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

metwork-framework/alwaysup

experiment to replace circus

Language: JavaScript - Size: 535 KB - Last synced at: about 1 month ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

metwork-framework/mfextaddon_soprano

Language: Shell - Size: 200 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

CEA-LIST/sprofile

A program to print consumed resources at the end of a slurm job.

Language: Python - Size: 18.6 KB - Last synced at: about 1 month ago - Pushed at: over 1 year ago - Stars: 10 - Forks: 3

metwork-framework/testrepo

test repo (do not use)

Size: 105 KB - Last synced at: about 1 month ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 2

metwork-framework/requests-unixsocket Fork of mupuf/requests-unixsocket 📦

Use requests to talk HTTP via a UNIX domain socket

Language: Python - Size: 80.1 KB - Last synced at: about 1 month ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

metwork-framework/auto-changelog Fork of KeNaCo/auto-changelog 📦

A small program that will generate a changelog from git repos using "conventional style" commit messages

Language: Python - Size: 135 KB - Last synced at: about 1 month ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

metwork-framework/mfcom 📦

NOT USED ANYMORE

Language: Python - Size: 437 KB - Last synced at: about 1 month ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 4

metwork-framework/docker-centos6

Just a basic centos6 docker image with fixed yum default configuration (broken after centos6 EOL)

Language: Shell - Size: 9.77 KB - Last synced at: about 1 month ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

metwork-framework/docker-mfcom-centos7-buildimage

NOT USED ANYMORE

Language: Dockerfile - Size: 43.9 KB - Last synced at: about 1 month ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 1

metwork-framework/docker-mfcom-centos6-buildimage 📦

NOT USED ANYMORE

Language: Dockerfile - Size: 51.8 KB - Last synced at: about 1 month ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 1

metwork-framework/xattrfile

This is a python module for dealing with files with tags stored in a redis instance.

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

icy-imaging/elevation-map

Language: Java - Size: 31.3 KB - Last synced at: 28 days ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

metwork-framework/mfserv_python2_tests

We run python2 integration tests for mfserv in this repository

Size: 46.9 KB - Last synced at: about 1 month ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0

metwork-framework/mfdata_python2_tests

We run python2 integration tests for mfdata in this repository

Size: 36.1 KB - Last synced at: about 1 month ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0

metwork-framework/circus Fork of thefab/circus

A Process & Socket Manager built with zmq

Language: Python - Size: 6.66 MB - Last synced at: about 1 month ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

metwork-framework/pystatsd Fork of thefab/pystatsd

A Python client for statsd

Language: Python - Size: 154 KB - Last synced at: about 1 month ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

metwork-framework/mfextaddon_python2 📦

python2 addon for metwork/mfext

Language: Makefile - Size: 202 KB - Last synced at: about 1 month ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

icy-imaging/rotation-3d

Language: Java - Size: 43.9 KB - Last synced at: 28 days ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

metwork-framework/docker-mfxxx-centos7-testimage

centos7 based docker image to execute integration tests for metwork/mfxxx modules (mfdata, mfserv, mfbase...)

Language: Shell - Size: 44.9 KB - Last synced at: about 1 month ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

INRIA/datalake

Ce github créé par Inria héberge des scripts utiles dans l'exploitation des données XML-TEI de HAL (hal.science)

Language: Jupyter Notebook - Size: 50.3 MB - Last synced at: about 1 month ago - Pushed at: 5 months ago - Stars: 0 - Forks: 1

Inist-CNRS/node-xml-writer

Javascript implementation of the classic XMLWriter class

Language: JavaScript - Size: 52.7 KB - Last synced at: about 1 month ago - Pushed at: about 5 years ago - Stars: 59 - Forks: 27

clipos-archive/src_platform_smartcard-monitor

Smartcard events monitor

Language: C - Size: 22.5 KB - Last synced at: about 1 month ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0

CEREMA/quadogeo

Qualité des données géographiques selon la norme ISO-19157

Language: HTML - Size: 45.2 MB - Last synced at: about 1 month ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 2

metwork-framework/mfplugin

the metwork plugin api and tools in a dedicated repository

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

powerapi-ng/pyRAPL

a library to measure the python energy consumption of python code

Language: Python - Size: 135 KB - Last synced at: about 1 month ago - Pushed at: over 1 year ago - Stars: 116 - Forks: 11

sipf/discovery-service

Discovery for spring cloud discovery service (POC only). Of course, you can contribute, you just need to fork and PR your feature. The docker hub links : https://hub.docker.com/r/sipf/discovery-service

Language: Shell - Size: 46.9 KB - Last synced at: about 1 month ago - Pushed at: about 9 years ago - Stars: 0 - Forks: 0

ANSSI-FR/actionnable-linux

Ansible role implementing GNU/Linux guide v2—for illustration purposes only

Size: 12.7 KB - Last synced at: about 1 month ago - Pushed at: 8 months ago - Stars: 12 - Forks: 1

plantnet/ai-taxonomist

Build an identification engine from a GBIF query

Language: Python - Size: 114 KB - Last synced at: about 1 month ago - Pushed at: about 4 years ago - Stars: 10 - Forks: 2

numerique-gouv/dockerfiles

Language: Dockerfile - Size: 297 KB - Last synced at: about 1 month ago - Pushed at: 3 months ago - Stars: 1 - Forks: 4

messagerie-melanie2/wekan Fork of wekan/wekan

The Open Source kanban (built with Meteor). Keep variable/table/field names camelCase. For translations, only add Pull Request changes to wekan/i18n/en.i18n.json , other translations are done at https://transifex.com/wekan/wekan only.

Language: JavaScript - Size: 27.9 MB - Last synced at: about 1 month ago - Pushed at: almost 6 years ago - Stars: 0 - Forks: 0

istex/ezmaster-redis Fork of CamilleBarge/ezmaster-redis

Ezmasterization of redis

Language: Shell - Size: 199 KB - Last synced at: about 1 month ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 0

cea-hpc/sigmund

A framework to ease filesystem's non-regression tests

Language: Shell - Size: 158 KB - Last synced at: about 1 month ago - Pushed at: over 8 years ago - Stars: 0 - Forks: 0

sofa-framework/SofaGLFW

Quick and simple GUI for SOFA, based on GLFW and optionally Dear ImGui

Language: C - Size: 3.54 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 15 - Forks: 18