GitHub | Ecosyste.ms: Repos

erasme/website_griotte 📦

Griotte website files

langage: JavaScript - taille: 1,65 Mo - dernière synchronisation: il y a environ 7 heures - enregistré: il y a plus de 12 ans - étoiles: 1 - forks: 0

ANSSI-FR/caml-crush 📦

Caml Crush: an OCaml PKCS#11 filtering proxy

taille: 2,62 Mo - dernière synchronisation: il y a 3 mois - enregistré: il y a presque 9 ans - étoiles: 3 - forks: 1

Deducteam/dk2agda

A tool to convert files written in Dedukti to Agda

langage: OCaml - taille: 65,4 ko - dernière synchronisation: il y a 3 mois - enregistré: il y a environ 6 ans - étoiles: 3 - forks: 1

GeotrekCE/Leaflet.Snap Fork de makinacorpus/Leaflet.Snap 📦

Enables snapping of draggable markers to polylines and other layers

langage: JavaScript - taille: 894 ko - dernière synchronisation: il y a environ 7 heures - enregistré: il y a presque 8 ans - étoiles: 0 - forks: 0

GIP-RECIA/moodle_local_theme_esco

Theme esco local à Moodle

langage: PHP - taille: 22,5 ko - dernière synchronisation: il y a 3 mois - enregistré: il y a environ 4 ans - étoiles: 0 - forks: 0

ANSSI-FR/cornetto 📦

Outil de gestion de version statique de site web

langage: JavaScript - taille: 2,76 Mo - dernière synchronisation: il y a 3 mois - enregistré: il y a environ un an - étoiles: 11 - forks: 2

dataregion/superset-oidc

langage: Python - taille: 72,3 ko - dernière synchronisation: il y a environ 7 heures - enregistré: il y a 4 mois - étoiles: 2 - forks: 1

GIP-RECIA/esco-moodle-ent 📦

Projet abandonné : Vue des cours Moodle dans la WebProxyPortlet du portail ENT

langage: PHP - taille: 192 ko - dernière synchronisation: il y a 3 mois - enregistré: il y a presque 10 ans - étoiles: 0 - forks: 0

ANSSI-FR/usb_authentication

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

langage: C - taille: 86,9 ko - dernière synchronisation: il y a 3 mois - enregistré: il y a 5 mois - étoiles: 5 - forks: 0

ANSSI-FR/parsifal 📦

Parsifal : an OCaml-based parsing engine

taille: 5,66 Mo - dernière synchronisation: il y a 3 mois - enregistré: il y a environ 8 ans - étoiles: 0 - forks: 0

ANSSI-FR/caradoc 📦

A PDF parser and validator

taille: 463 ko - dernière synchronisation: il y a 3 mois - enregistré: il y a presque 8 ans - étoiles: 8 - forks: 3

Inria-Empenn/fmri_feature_model

Model the fMRI analytic space as feature model (FM)

langage: Jupyter Notebook - taille: 47,4 Mo - dernière synchronisation: il y a environ 7 heures - enregistré: il y a 21 jours - étoiles: 0 - forks: 0

Deducteam/Dedukti

Type-checker for the λΠ-calculus modulo rewriting

langage: OCaml - taille: 9,71 Mo - dernière synchronisation: il y a 3 mois - enregistré: il y a 5 mois - étoiles: 237 - forks: 28

ANSSI-FR/scantru 📦

Non-Profiled Side Channel Analysis on NTRU

langage: Jupyter Notebook - taille: 316 ko - dernière synchronisation: il y a 3 mois - enregistré: il y a presque 4 ans - étoiles: 1 - forks: 0

ANSSI-FR/libdrbg 📦

A portable library implementing NIST SP 800-90A DRBGs

langage: C - taille: 21,2 Mo - dernière synchronisation: il y a 3 mois - enregistré: il y a 10 mois - étoiles: 18 - forks: 10

cea-hpc/gct Fork de gridcf/gct

Grid Community Toolkit

langage: C - taille: 279 Mo - dernière synchronisation: il y a 3 mois - enregistré: il y a plus de 7 ans - étoiles: 0 - forks: 0

GIP-RECIA/scalelite Fork de blindsidenetworks/scalelite

Scalable load balancer for BigBlueButton.

langage: Ruby - taille: 817 ko - dernière synchronisation: il y a 3 mois - enregistré: il y a 6 mois - étoiles: 0 - forks: 0

Cour-de-cassation/CPi-job-judilibre

Ce repos contient les jobs d'administration sur judilibre

langage: Smarty - taille: 17,6 ko - dernière synchronisation: il y a 3 mois - enregistré: il y a plus d'un an - étoiles: 0 - forks: 0

JMMC-OpenDev/training-docs

Sources of documentation provided by the JMMC training team

taille: 1,95 ko - dernière synchronisation: il y a environ 7 heures - enregistré: il y a environ 4 ans - étoiles: 0 - forks: 0

Deducteam/rocq-hollight-logic-unif

Translation in Rocq of HOL-Light's Logic library until unify using hol2dk

langage: Rocq Prover - taille: 774 ko - dernière synchronisation: il y a 3 mois - enregistré: il y a 9 mois - étoiles: 0 - forks: 2

Ville-Eurometropole-Strasbourg/qfield-ban-locator

Plugin de recherche d'adresse BAN pour Qfield

langage: QML - taille: 12,7 ko - dernière synchronisation: il y a 3 mois - enregistré: il y a 7 mois - étoiles: 0 - forks: 0

ansforge/interop-conversion-smt-csv-fhir

taille: 0 octet - dernière synchronisation: il y a 3 mois - enregistré: il y a 5 mois - étoiles: 0 - forks: 0

BaseAdresseNationale/api-fantoir

API pour naviguer dans FANTOIR

langage: JavaScript - taille: 383 ko - dernière synchronisation: il y a 3 mois - enregistré: il y a plus d'un an - étoiles: 11 - forks: 1

Deducteam/Construkti

A double negation translator for higher-order Dedukti proofs

langage: OCaml - taille: 1,13 Mo - dernière synchronisation: il y a 3 mois - enregistré: il y a 4 mois - étoiles: 3 - forks: 1

metwork-framework/configobj Fork de DiffSK/configobj

Python 3+ compatible port of the configobj library

langage: Python - taille: 2,03 Mo - dernière synchronisation: il y a 3 mois - enregistré: il y a 4 mois - étoiles: 0 - forks: 0

GIP-RECIA/moodle_local_myplugin

langage: PHP - taille: 6,84 ko - dernière synchronisation: il y a 3 mois - enregistré: il y a presque 3 ans - étoiles: 0 - forks: 0

datagouv/datagouvfr_data_pipelines

data.gouv.fr team Airflow pipelines

langage: Python - taille: 6,44 Mo - dernière synchronisation: il y a 3 mois - enregistré: il y a 3 mois - étoiles: 17 - forks: 6

139bercy/first-ghpages-by-travis

First GitHub pages by Travis CI

taille: 209 ko - dernière synchronisation: il y a 3 mois - enregistré: il y a environ 7 ans - étoiles: 0 - forks: 0

ANSSI-FR/opkcs11-tool 📦

opkcs11-tool: managing and operating PKCS #11 security tokens in OCaml

taille: 110 ko - dernière synchronisation: il y a 3 mois - enregistré: il y a presque 9 ans - étoiles: 1 - forks: 0

cloud-gouv/securix-infra-reference-implementation

Reference Infra for Securix (provided "as is")

langage: Nix - taille: 104 ko - dernière synchronisation: il y a 3 mois - enregistré: il y a 5 mois - étoiles: 1 - forks: 0

lutece-platform/lutece-tech-plugin-importexport

langage: Java - taille: 188 ko - dernière synchronisation: il y a 3 mois - enregistré: il y a environ un an - étoiles: 0 - forks: 1

GIP-RECIA/NotificationPortlet Fork de uPortal-Project/NotificationPortlet

langage: Java - taille: 1020 ko - dernière synchronisation: il y a 3 mois - enregistré: il y a environ 10 ans - étoiles: 0 - forks: 0

GIP-RECIA/karuta-backend Fork de karutaproject/karuta-backend_legacy

Data repository for Karuta. Can write into MySQL and Oracle databases.

langage: Java - taille: 21,1 Mo - dernière synchronisation: il y a 3 mois - enregistré: il y a 9 mois - étoiles: 0 - forks: 0

signaux-faibles/wekan-alerter

wekan-alerter

langage: Go - taille: 44,9 ko - dernière synchronisation: il y a 3 mois - enregistré: il y a plus de 3 ans - étoiles: 1 - forks: 0

signaux-faibles/gorncs-api Fork de chrnin/gorncs-api 📦

API pour le Registre National du Commerce et des Sociétés

langage: Go - taille: 5,1 Mo - dernière synchronisation: il y a 3 mois - enregistré: il y a presque 3 ans - étoiles: 3 - forks: 1

lutece-secteur-public/gru-module-appointment-management

langage: Java - taille: 113 ko - dernière synchronisation: il y a environ 7 heures - enregistré: il y a 16 jours - étoiles: 0 - forks: 6

IGNF-Ma-carte/mcteams

Gestion des équipes

langage: JavaScript - taille: 26,3 Mo - dernière synchronisation: il y a environ 7 heures - enregistré: il y a environ un an - étoiles: 0 - forks: 0

MTES-MCT/Keycloak-FranceConnect

Plugin France connect pour Keycloak

langage: Java - taille: 1,02 Mo - dernière synchronisation: il y a 3 mois - enregistré: il y a 3 mois - étoiles: 0 - forks: 0

medialab/trajectories-of-engagement-2025

Website for Trajectories of Engagement

langage: Svelte - taille: 72,1 Mo - dernière synchronisation: il y a 3 mois - enregistré: il y a 6 mois - étoiles: 0 - forks: 0

ANSSI-FR/coq-prelude 📦

General-purpose monad typeclass hierarchy for Coq

langage: Coq - taille: 220 ko - dernière synchronisation: il y a 3 mois - enregistré: il y a environ 6 ans - étoiles: 8 - forks: 5

lutece-platform/lutece-collab-plugin-chat

langage: Java - taille: 58,6 ko - dernière synchronisation: il y a 3 mois - enregistré: il y a environ un an - étoiles: 0 - forks: 0

grame-cncm/faustbrowser-mcp

Faust browser MCP

langage: JavaScript - taille: 368 ko - dernière synchronisation: il y a 3 mois - enregistré: il y a 7 mois - étoiles: 20 - forks: 2

lutece-platform/lutece-tech-library-image

langage: Java - taille: 75,2 ko - dernière synchronisation: il y a 3 mois - enregistré: il y a environ un an - étoiles: 0 - forks: 1

ansforge/interop-outil-fhir-sas-test-kit

langage: Ruby - taille: 1,22 Mo - dernière synchronisation: il y a 3 mois - enregistré: il y a 3 mois - étoiles: 2 - forks: 0

lutece-platform/lutece-tech-plugin-gis

plugin GIS

langage: JavaScript - taille: 742 ko - dernière synchronisation: il y a 3 mois - enregistré: il y a environ un an - étoiles: 0 - forks: 0

Deducteam/lambdapi-zenon

Lambdapi library for Zenon

langage: Lambdapi - taille: 30,3 ko - dernière synchronisation: il y a 3 mois - enregistré: il y a 3 mois - étoiles: 1 - forks: 2

ansforge/interop-outil-nrc-validateur-batch

Validateur d'imports batch dans l'édition française SNOMED CT

langage: Python - taille: 45,9 ko - dernière synchronisation: il y a 3 mois - enregistré: il y a 4 mois - étoiles: 0 - forks: 2

Deducteam/sublime-lambdapi

Grammar of the Lambdapi language

taille: 1,95 ko - dernière synchronisation: il y a 3 mois - enregistré: il y a environ un an - étoiles: 0 - forks: 0

GIP-RECIA/tldraw-webcomponent 📦

Tldraw singleplayer and mutliplayer WebComponent

langage: TypeScript - taille: 6,63 Mo - dernière synchronisation: il y a 3 mois - enregistré: il y a environ 2 ans - étoiles: 3 - forks: 0

DISIC/rgaa_bibliotheques-javascript

Une étude de l'accessibilité des principales bibliothèques JavaScript a donné lieu à un état des lieux du niveau d'accessibilité des différents composants actuels

langage: HTML - taille: 9,05 Mo - dernière synchronisation: il y a environ 7 heures - enregistré: il y a plus de 8 ans - étoiles: 12 - forks: 4

cea-hpc/MaHyCo

langage: C++ - taille: 472 Mo - dernière synchronisation: il y a 3 mois - enregistré: il y a 4 mois - étoiles: 6 - forks: 5

cea-hpc/mpi_stream

Benchmark for memory bandwidth

langage: C - taille: 50,8 ko - dernière synchronisation: il y a 3 mois - enregistré: il y a plus de 3 ans - étoiles: 5 - forks: 1

Deducteam/rocq-hollight

Translation of HOL-Light libraries in Rocq

langage: Rocq Prover - taille: 1,33 Mo - dernière synchronisation: il y a 3 mois - enregistré: il y a 6 mois - étoiles: 0 - forks: 3

cea-hpc/pattern4gpu

GPU loop patterns test bench for code over Arcane

langage: C++ - taille: 465 ko - dernière synchronisation: il y a 3 mois - enregistré: il y a presque 3 ans - étoiles: 2 - forks: 1

cea-hpc/rbh-find 📦

langage: C - taille: 771 ko - dernière synchronisation: il y a 3 mois - enregistré: il y a plus de 3 ans - étoiles: 3 - forks: 0

cea-hpc/milkcheck

Highly parallel and flexible service manager.

langage: Python - taille: 579 ko - dernière synchronisation: il y a 3 mois - enregistré: il y a environ un an - étoiles: 25 - forks: 6

cea-hpc/kpatch Fork de dynup/kpatch

kpatch - live kernel patching

langage: C - taille: 2,24 Mo - dernière synchronisation: il y a 3 mois - enregistré: il y a plus de 6 ans - étoiles: 0 - forks: 0

ANSSI-FR/pciemem

Linux kernel module for driving an USB3380 board, exposing a /dev/pciemem device node on the analysis machine representing the physical memory of the machine under test

langage: C - taille: 31,3 ko - dernière synchronisation: il y a 3 mois - enregistré: il y a 10 mois - étoiles: 15 - forks: 5

MTES-MCT/boris

La plateforme d'information et de simulation du Bail Réel Solidaire

langage: TypeScript - taille: 12,1 Mo - dernière synchronisation: il y a 3 mois - enregistré: il y a 3 mois - étoiles: 4 - forks: 0

Deducteam/hol-light Fork de jrh13/hol-light

The HOL Light theorem prover

langage: OCaml - taille: 34,3 Mo - dernière synchronisation: il y a 3 mois - enregistré: il y a 4 mois - étoiles: 0 - forks: 0

cea-hpc/kerberos-docker Fork de criteo/kerberos-docker

Run kerberos environment in docker containers

taille: 15,2 Mo - dernière synchronisation: il y a 3 mois - enregistré: il y a presque 3 ans - étoiles: 1 - forks: 0

MTES-MCT/qualicharge-geoviz-public

langage: Python - taille: 70,3 ko - dernière synchronisation: il y a 3 mois - enregistré: il y a presque 3 ans - étoiles: 1 - forks: 0

mnfst/manifest-lego Fork de mnfst/manifest

Portable backend to ship fast.

taille: 18,8 Mo - dernière synchronisation: il y a 9 mois - enregistré: il y a 11 mois - étoiles: 0 - forks: 0

gemoc/SiriusAnimator Fork de SiriusLab/ModelDebugging

Runtime and tools to bring execution and simulation in your domain specific tooling built with Sirius and/or Eclipse Modeling Framework.

langage: Java - taille: 113 Mo - dernière synchronisation: il y a environ 8 heures - enregistré: il y a plus de 10 ans - étoiles: 1 - forks: 0

GIP-RECIA/moodle_local_additionalhtmlfooter

langage: PHP - taille: 8,79 ko - dernière synchronisation: il y a 3 mois - enregistré: il y a presque 3 ans - étoiles: 0 - forks: 0

cea-hpc/mercurio

langage: Python - taille: 26,4 ko - dernière synchronisation: il y a 3 mois - enregistré: il y a presque 7 ans - étoiles: 1 - forks: 0

lutece-platform/lutece-apps-plugin-appstore

Plugin AppStore

langage: Java - taille: 187 ko - dernière synchronisation: il y a 3 mois - enregistré: il y a environ un an - étoiles: 0 - forks: 0

ANSSI-FR/DroidWorks 📦

langage: Rust - taille: 1,36 Mo - dernière synchronisation: il y a 3 mois - enregistré: il y a environ 3 ans - étoiles: 5 - forks: 0

MTES-MCT/resorption-bidonvilles

Résorption des bidonvilles

langage: TypeScript - taille: 1,19 Go - dernière synchronisation: il y a 3 mois - enregistré: il y a 3 mois - étoiles: 6 - forks: 4

cea-hpc/pcocc

Run VMs on an HPC cluster

langage: Python - taille: 2,7 Mo - dernière synchronisation: il y a 3 mois - enregistré: il y a 3 mois - étoiles: 52 - forks: 15

GIP-RECIA/Roundcube-esco_theme

Customized RWD Theme for roundcube

langage: HTML - taille: 22,5 ko - dernière synchronisation: il y a 3 mois - enregistré: il y a environ un an - étoiles: 1 - forks: 0

Deducteam/hol2dk

HOL-Light to Dedukti/Lambdapi translator

langage: Rocq Prover - taille: 713 ko - dernière synchronisation: il y a 3 mois - enregistré: il y a 6 mois - étoiles: 9 - forks: 6

SocialGouv/eMJPM-doc 📦

documentation

langage: JavaScript - taille: 17,3 Mo - dernière synchronisation: il y a 3 mois - enregistré: il y a plus de 6 ans - étoiles: 0 - forks: 1

mnfst/manifest-starter-image

Docker image of a Manifest starter project

taille: 167 ko - dernière synchronisation: il y a 9 mois - enregistré: il y a 12 mois - étoiles: 0 - forks: 0

InseeFr/Pogues-Model

Classes and converters for the Pogues data model

langage: Java - taille: 6,22 Mo - dernière synchronisation: il y a 3 mois - enregistré: il y a 4 mois - étoiles: 3 - forks: 9

SciQLop/SciQLop_VM

Some Vagrant scripts to build VMs that can build SciQLop

taille: 2,93 ko - dernière synchronisation: il y a 3 mois - enregistré: il y a environ 5 ans - étoiles: 0 - forks: 0

Deducteam/HOLLightToDk

langage: OCaml - taille: 20,3 Mo - dernière synchronisation: il y a 3 mois - enregistré: il y a presque 7 ans - étoiles: 3 - forks: 1

lutece-secteur-public/gru-library-suitenumerique-meet

Intergation La suite numérique / meet

langage: Java - taille: 22,5 ko - dernière synchronisation: il y a environ 7 heures - enregistré: il y a 3 jours - étoiles: 0 - forks: 1

MTES-MCT/partaj

L'outil unique de gestion, de pilotage et de valorisation des affaires juridiques

langage: Python - taille: 155 Mo - dernière synchronisation: il y a 3 mois - enregistré: il y a 3 mois - étoiles: 3 - forks: 4

cea-hpc/shine

Lustre administration tool

langage: Python - taille: 1,32 Mo - dernière synchronisation: il y a 3 mois - enregistré: il y a environ un an - étoiles: 24 - forks: 8

pass-culture/strapi-provider-upload-google-cloud-storage Fork de strapi-community/strapi-provider-upload-google-cloud-storage

Google Cloud Storage Upload Provider for Strapi

langage: JavaScript - taille: 391 ko - dernière synchronisation: il y a environ 7 heures - enregistré: il y a presque 2 ans - étoiles: 0 - forks: 0

betagouv/e-controle 📦

Outil permettant de simplifier la relation entre un organisme de contrôle et des structures contrôlés

langage: CSS - taille: 44 Mo - dernière synchronisation: il y a 3 mois - enregistré: il y a plus de 3 ans - étoiles: 9 - forks: 9

sofa-framework/issofa-merge 📦

Work on merging ISSofa features into SOFA

langage: C++ - taille: 278 Mo - dernière synchronisation: il y a 3 mois - enregistré: il y a environ 5 ans - étoiles: 2 - forks: 0

aphp/ig-template-aphp-v2

langage: CSS - taille: 1,01 Mo - dernière synchronisation: il y a 3 mois - enregistré: il y a 5 mois - étoiles: 0 - forks: 2

Deducteam/opam-lambdapi-repository

Opam repository of Lambdapi libraries

langage: Shell - taille: 27,3 ko - dernière synchronisation: il y a 3 mois - enregistré: il y a 3 mois - étoiles: 1 - forks: 4

ANSSI-FR/x509-parser 📦

a RTE-free X.509 parser

langage: C - taille: 413 ko - dernière synchronisation: il y a 3 mois - enregistré: il y a presque 4 ans - étoiles: 64 - forks: 18

SocialGouv/chiffrement-sandbox 📦

Test de l'API Sodium pour le chiffrement de bout en bout

langage: TypeScript - taille: 426 ko - dernière synchronisation: il y a 3 mois - enregistré: il y a plus de 3 ans - étoiles: 2 - forks: 0

sigrennesmetropole/geor_MapstoreExtension

langage: HTML - taille: 4,81 Mo - dernière synchronisation: il y a environ 7 heures - enregistré: il y a 4 jours - étoiles: 0 - forks: 0

openmole/graph-se

langage: Java - taille: 47,8 Mo - dernière synchronisation: il y a 3 mois - enregistré: il y a 5 mois - étoiles: 0 - forks: 0

etalab-ia/albert-data-collections

langage: Python - taille: 16,6 ko - dernière synchronisation: il y a 3 mois - enregistré: il y a 6 mois - étoiles: 2 - forks: 2

betagouv/svair-mock-deprecated 📦

langage: HTML - taille: 258 ko - dernière synchronisation: il y a 3 mois - enregistré: il y a plus de 6 ans - étoiles: 0 - forks: 13

cea-hpc/fleet Fork de coreos/fleet

fleet ties together systemd and etcd into a distributed init system

langage: Go - taille: 13,5 Mo - dernière synchronisation: il y a 3 mois - enregistré: il y a presque 6 ans - étoiles: 5 - forks: 0

ANSSI-FR/nogaxeh 📦

Tools for analyzing hexagon code

langage: C++ - taille: 63,5 ko - dernière synchronisation: il y a 3 mois - enregistré: il y a environ 10 ans - étoiles: 39 - forks: 9

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: 440 ko - dernière synchronisation: il y a 3 mois - enregistré: il y a 8 mois - étoiles: 283 - forks: 32

ANSSI-FR/SysvolExplorer 📦

Active Directory Group Policy analyzer

langage: C++ - taille: 500 ko - dernière synchronisation: il y a 3 mois - enregistré: il y a plus de 12 ans - étoiles: 109 - forks: 30