GitHub
lutece-platform/lutece-auth-plugin-myluteceaccessrules
Language: Java - Size: 93.8 KB - Last synced at: 15 days ago - Pushed at: 5 months ago - Stars: 0 - Forks: 3
gemoc/ModelingCrashCourse
GEMOC Modeling crash course slides and material
Language: Java - Size: 31.6 MB - Last synced at: 9 days ago - Pushed at: over 9 years ago - Stars: 0 - Forks: 0
PyMoDAQ/pymodaq_plugins_iumi
Language: Python - Size: 68.4 KB - Last synced at: 8 days ago - Pushed at: 28 days ago - Stars: 0 - Forks: 1
centreborelli/video-MIMO-ROSO
Language: HTML - Size: 36.2 MB - Last synced at: 8 days ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
betagouv/domain-scan Fork of 18F/domain-scan 📦
A standard pipeline for running open source scanning tools on domains to measure things like speed, accessibiity, and HTTPS.
Language: Python - Size: 201 KB - Last synced at: 7 days ago - Pushed at: almost 10 years ago - Stars: 0 - Forks: 0
Deducteam/lean2dk
WIP translation from Lean to Dedukti
Language: Lean - Size: 212 KB - Last synced at: 15 days ago - Pushed at: 18 days ago - Stars: 9 - Forks: 3
ansforge/IG-fhir-cahier-de-liaison
[WIP] Cahier de liaison du patient pour partage entre les différents acteurs de sa santé
Language: GLSL - Size: 374 MB - Last synced at: 15 days ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
lutece-secteur-public/gru-library-account-management
RHSSO account and IdentityStore Identity creation / deletion
Size: 52.7 KB - Last synced at: 8 days ago - Pushed at: 10 months ago - Stars: 0 - Forks: 1
lutece-secteur-public/gru-module-identitystore-smscertifier
Language: Java - Size: 11.7 KB - Last synced at: 8 days ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0
cea-hpc/kvsns
Implements a POSIX Name Space using the services of a Key-Value Store
Language: Perl - Size: 282 KB - Last synced at: 8 days ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0
ArchivesNationalesFR/editionTestamentsDePoilus
The TEI files that form the 'Testaments de Poilus' digital edition
Size: 1.67 MB - Last synced at: 8 days ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 0
atlanmod/Mogwai
Automatic translation from OCL to Gremlin
Language: Java - Size: 59.5 MB - Last synced at: 8 days ago - Pushed at: over 7 years ago - Stars: 10 - Forks: 6
eole/documentation Fork of lizardfs/documentation
LizardFS documentation
Size: 743 KB - Last synced at: 8 days ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0
Deducteam/isabelle_dedukti
Isabelle component generating Dedukti proofs
Language: Scala - Size: 377 KB - Last synced at: 15 days ago - Pushed at: 4 months ago - Stars: 6 - Forks: 7
OpenFLUID/pyopenfluid-old 📦
Python module for OpenFLUID
Language: C++ - Size: 602 KB - Last synced at: 8 days ago - Pushed at: almost 13 years ago - Stars: 1 - Forks: 1
Renater/SimpleScaleVM
A service oriented virtual machine scaler
Language: Python - Size: 1.81 MB - Last synced at: 8 days ago - Pushed at: over 3 years ago - Stars: 6 - Forks: 0
cea-hpc/auks
Kerberos credential support for batch environments
Language: C - Size: 812 KB - Last synced at: 8 days ago - Pushed at: almost 2 years ago - Stars: 16 - Forks: 7
DUT-Info-Montreuil/PleaseSaveMeClaude_SINT
Language: Java - Size: 23.4 KB - Last synced at: 8 days ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0
betagouv/domibus-buildpack
Buildpack for Domibus
Language: Shell - Size: 14.6 KB - Last synced at: 7 days ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0
PnEcrins/FollowDem-admin
Backoffice de FollowDem
Language: PLpgSQL - Size: 274 KB - Last synced at: 15 days ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 3
cea-hpc/vbridge Fork of ovh/vbridge
X11 cloud desktop software
Language: C - Size: 109 KB - Last synced at: 8 days ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 0
Deducteam/Krajono Fork of LPCIC/matita
Matita (proof assistant) with embedded elpi
Language: OCaml - Size: 28.6 MB - Last synced at: 15 days ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0
DUT-Info-Montreuil/SAE_DEV_DUPUIS_ZAPOI_CAI
Language: PHP - Size: 11.7 MB - Last synced at: 14 days ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0
sigrennesmetropole/matomo_RM
Version Rennes MĂ©tropole de Matomo
Language: Shell - Size: 5.86 KB - Last synced at: 15 days ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0
tchapgouv/tchap-bot-mte
Language: TypeScript - Size: 4.55 MB - Last synced at: 8 days ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 1
PyMoDAQ/pymodaq_plugins_optical_2D_shaping
PyMoDAQ plugin dealing with spatial optical shaping and propagation
Language: Python - Size: 421 KB - Last synced at: 13 days ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0
SocialGouv/consommables Fork of SocialGouv/maintenance
landing page
Language: HTML - Size: 46.9 KB - Last synced at: 8 days ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
betagouv/mes-aides-changent
Language: JavaScript - Size: 1.41 MB - Last synced at: 7 days ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 1
cea-hpc/parablox
Language: Python - Size: 40 KB - Last synced at: 8 days ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0
DSI-Universite-Rennes2/moodle-mod_otopo Fork of E-learningTouch/moodle-mod_otopo
Moodle activity that allows students to self-assess and track their progress in a course. Mirror of : https://gitlab.univ-nantes.fr/boiteux-c/moodle-mod_otopo
Size: 528 KB - Last synced at: 14 days ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0
cloud-pi-native/aws-js-s3-explorer Fork of awslabs/aws-js-s3-explorer
AWS JavaScript S3 Explorer is a JavaScript application that uses AWS's JavaScript SDK and S3 APIs to make the contents of an S3 bucket easy to browse via a web browser.
Size: 1.9 MB - Last synced at: 10 days ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0
grame-cncm/Folia-in-Faust
Language: Faust - Size: 116 KB - Last synced at: 8 days ago - Pushed at: 9 months ago - Stars: 1 - Forks: 0
SocialGouv/pass-emploi-auth 📦
Pass Emploi
Language: HCL - Size: 8.7 MB - Last synced at: 8 days ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
betagouv/matrix-js-sdk-fork Fork of matrix-org/matrix-js-sdk 📦
Matrix Client-Server SDK for JavaScript
Size: 135 MB - Last synced at: 7 days ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0
tchapgouv/matrix-rust-components-kotlin Fork of matrix-org/matrix-rust-components-kotlin
Language: Kotlin - Size: 30.4 MB - Last synced at: 8 days ago - Pushed at: 24 days ago - Stars: 0 - Forks: 1
tchapgouv/synapse-bind-sydent Fork of matrix-org/synapse-bind-sydent
A Synapse module that uses Sydent's internal bind APIs to automatically record 3PIDs association on an IS upon registration.
Size: 18.6 KB - Last synced at: 8 days ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 1
betagouv/agreste-paquet-facile
Agreste, la statistique agricole - https://agreste.agriculture.gouv.fr/
Language: Python - Size: 32.2 KB - Last synced at: 13 days ago - Pushed at: 3 months ago - Stars: 1 - Forks: 0
Deducteam/Holide
A translator from OpenTheory to Dedukti
Language: OCaml - Size: 5.05 MB - Last synced at: 15 days ago - Pushed at: over 6 years ago - Stars: 6 - Forks: 3
gip-inclusion/inclusion-connect
Inclusion Connect est une solution de connexion unique Ă plusieurs services publics pour les professionnels de l'inclusion.
Language: Python - Size: 7.46 MB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 3 - Forks: 2
IGNF/librjmcmc
librjmcmc is a library for stochastic optimization based on reversible jump monte carlo markov chains coupled with simulated annealing.
Language: C++ - Size: 6.86 MB - Last synced at: 3 months ago - Pushed at: over 9 years ago - Stars: 19 - Forks: 11
cloud-pi-native/test-chain
Language: Smarty - Size: 2.93 KB - Last synced at: 10 days ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
tchapgouv/synapse-3pid-checker Fork of matrix-org/synapse-3pid-checker
A module that checks whether a 3PID (email address, phone number) can be allowed to register by querying a remote backend.
Size: 42 KB - Last synced at: 8 days ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 1
Deducteam/SKonverto
A tool to transform proofs containing Skolem symbol in first order logic.
Language: OCaml - Size: 272 KB - Last synced at: 15 days ago - Pushed at: about 4 years ago - Stars: 3 - Forks: 5
biblissima/mirador Fork of ProjectMirador/mirador
An open-source, web-based 'multi-up' viewer that supports zoom-pan-rotate functionality, ability to display/compare simple images, and images with annotations.
Language: JavaScript - Size: 32 MB - Last synced at: 9 days ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0
ANSSI-FR/eurydice
A user-friendly solution to transfer files through a physical diode using the Lidi utility, complete with data retention, file history, user accounts and admin management. Provides a scriptable API and a web interface.
Language: Python - Size: 4.57 MB - Last synced at: 15 days ago - Pushed at: 5 months ago - Stars: 155 - Forks: 10
geobretagne/geocms-v0 Fork of dotgee/geocms-v0
Geocms: link between Geoserver and Geornetwork with additional information
Language: JavaScript - Size: 8.01 MB - Last synced at: 8 days ago - Pushed at: almost 12 years ago - Stars: 0 - Forks: 0
DIVERSIFY-project/Diversim
Pure Java simulation environment to study the diversification of software architectures
Language: Java - Size: 16.2 MB - Last synced at: 9 days ago - Pushed at: over 12 years ago - Stars: 3 - Forks: 0
DIVERSIFY-project/maven_build_sys
Language: Java - Size: 19.5 KB - Last synced at: 9 days ago - Pushed at: almost 10 years ago - Stars: 0 - Forks: 1
medialab/mango_iat
Layer on top of Limesurvey's backend, based on jsPsych, to conduct IAT experiments on this legacy infrastructure.
Language: JavaScript - Size: 237 KB - Last synced at: 8 days ago - Pushed at: over 10 years ago - Stars: 0 - Forks: 0
betagouv/nodejs-buildpack Fork of Scalingo/nodejs-buildpack 📦
Buildpack for Node.js and Meteor apps.
Language: Shell - Size: 120 MB - Last synced at: 7 days ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 1
Deducteam/Libraries
A collection of hand-written files for Dedukti
Language: Makefile - Size: 93.8 KB - Last synced at: 15 days ago - Pushed at: over 5 years ago - Stars: 7 - Forks: 2
openfun/renovate-configuration
Renovate presets shared between openfun projects
Size: 7.81 KB - Last synced at: 8 days ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0
erasme/erajs 📦
WebApp library
Language: JavaScript - Size: 34.6 MB - Last synced at: 8 days ago - Pushed at: over 9 years ago - Stars: 6 - Forks: 0
medInria/medInria-public
Open-source part of the medInria software
Language: C++ - Size: 37.3 MB - Last synced at: 8 days ago - Pushed at: 7 months ago - Stars: 99 - Forks: 75
atlanmod/zoo
Atlanmod Zoo
Language: Shell - Size: 3.7 MB - Last synced at: 8 days ago - Pushed at: over 4 years ago - Stars: 7 - Forks: 2
eole/salt-formula Fork of saltstack-formulas/salt-formula
Yes, Salt can Salt itself!
Size: 1.42 MB - Last synced at: 8 days ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
tchapgouv/matrix-content-scanner-python Fork of element-hq/matrix-content-scanner-python
A web service for scanning media hosted by a Matrix media repository
Language: Python - Size: 405 KB - Last synced at: 8 days ago - Pushed at: 9 days ago - Stars: 0 - Forks: 2
medialab/resin-api
API pour le site de l'annuaire des expertises du RĂ©seau d'Ingenieur USPC/SciencesPo
Language: Python - Size: 126 KB - Last synced at: 8 days ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0
Deducteam/sttfaxport
Language: OCaml - Size: 194 KB - Last synced at: 15 days ago - Pushed at: over 3 years ago - Stars: 2 - Forks: 3
openfun/2022-ESupDays-34
:books: Ralph, the ultimate toolbox for your learning analytics
Language: CSS - Size: 19.5 MB - Last synced at: 8 days ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0
Deducteam/matita_lib_in_agda
Language: Agda - Size: 614 KB - Last synced at: 15 days ago - Pushed at: about 2 years ago - Stars: 5 - Forks: 1
IGNF/boite_outils-qgis-plugin
Outil de topologie - sémantique
Language: Python - Size: 441 KB - Last synced at: 8 days ago - Pushed at: 11 days ago - Stars: 0 - Forks: 0
betagouv/aplypro-mock-data
Mock data for Aplypro
Language: Ruby - Size: 174 KB - Last synced at: 7 days ago - Pushed at: 3 months ago - Stars: 1 - Forks: 0
openmole/miniclust
Language: Scala - Size: 366 KB - Last synced at: 8 days ago - Pushed at: 9 days ago - Stars: 21 - Forks: 0
ANSSI-FR/SecAESSTM32 📦
Bibliothèque C et assembleur permettant le chiffrement/déchiffrement AES-128 de messages pour des composants grand public (famille STM32F3/STM32F4)
Language: C - Size: 7.03 MB - Last synced at: 15 days ago - Pushed at: almost 4 years ago - Stars: 70 - Forks: 22
Deducteam/Logipedia
An encyclopedia of proofs
Language: OCaml - Size: 61.2 MB - Last synced at: 15 days ago - Pushed at: over 1 year ago - Stars: 64 - Forks: 11
cea-hpc/rbh-find-iosea
Language: C - Size: 81.1 KB - Last synced at: 8 days ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
IGNF/tabular-data-helpers Fork of livingdata-co/tabular-data-helpers
Helper methods to handle CSV files
Size: 842 KB - Last synced at: 8 days ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0
Deducteam/dkmeta
A tool to rewrite Dedukti terms using rewrite rules
Language: OCaml - Size: 79.1 KB - Last synced at: 15 days ago - Pushed at: over 5 years ago - Stars: 7 - Forks: 2
cea-hpc/wi4mpi
Wrapper interface for MPI
Language: C - Size: 7.21 MB - Last synced at: 5 months ago - Pushed at: 10 months ago - Stars: 99 - Forks: 18
tchapgouv/action-test
Test for a github action that labels issues and assigns them to projects
Size: 8.79 KB - Last synced at: 8 days ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 1
tchapgouv/tchap-android
A matrix client for Android.
Language: Kotlin - Size: 183 MB - Last synced at: 8 days ago - Pushed at: about 1 month ago - Stars: 29 - Forks: 8
EsupPortail/esup-sgc-client
Encodeurs de cartes pour esup-sgc
Language: Java - Size: 2.43 MB - Last synced at: 8 days ago - Pushed at: 11 days ago - Stars: 3 - Forks: 1
meteofrance/sargasses
Exemple sargasses detection project showcasing the capabilities of mfai, our deeplearning library.
Language: Python - Size: 19.9 MB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0
ANSSI-FR/ORADAZ
Outil de récupération automatique des données AZure / Automated tool for dumping Azure configuration data
Language: Rust - Size: 971 KB - Last synced at: 15 days ago - Pushed at: 16 days ago - Stars: 21 - Forks: 3
etalab-ia/ragtime
A modular RAG pipeline (alpha)
Language: Python - Size: 11.9 MB - Last synced at: 8 days ago - Pushed at: 10 days ago - Stars: 6 - Forks: 1
biblissima/collatinus-10-src
Sources of Collatinus software - Latin lemmatizer and morphological analyzer
Language: C++ - Size: 413 KB - Last synced at: 9 days ago - Pushed at: about 10 years ago - Stars: 11 - Forks: 3
tchapgouv/tchap-desktop
Desktop app for Tchap
Language: Rust - Size: 31.9 MB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 38 - Forks: 8
Deducteam/Lean4Less
A translation framework for eliminating definitional equalities in Lean
Language: Lean - Size: 1.1 MB - Last synced at: 14 days ago - Pushed at: 16 days ago - Stars: 14 - Forks: 1
MTES-MCT/parcours_r_module_analyse_multi_dimensionnelles
Language: CSS - Size: 11 MB - Last synced at: 8 days ago - Pushed at: 30 days ago - Stars: 1 - Forks: 2
InseeFrLab/InspaCy-UI
A UI for Inspacy (https://github.com/InseeFrLab/InspaCy)
Language: JavaScript - Size: 2.38 MB - Last synced at: 15 days ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 1
betagouv/fine-grained-proxy Fork of lsagetlethias/fine-grained-proxy
Stateless HTTP proxy that adds fine-grained token scoping to any API. Zero storage — encrypted URL, double key, body filters.
Language: TypeScript - Size: 950 KB - Last synced at: 10 days ago - Pushed at: 11 days ago - Stars: 0 - Forks: 0
Bibliome/bibliome-java-utils
Java boilerplate and useful stuff
Language: Java - Size: 697 KB - Last synced at: 8 days ago - Pushed at: 8 months ago - Stars: 1 - Forks: 1
tchapgouv/matrix-rust-components-swift Fork of element-hq/matrix-rust-components-swift
Swift package providing components from the matrix-rust-sdk used in Element X iOS.
Language: Swift - Size: 491 KB - Last synced at: 8 days ago - Pushed at: 15 days ago - Stars: 0 - Forks: 1
medialab/ecosystem_media_france
Language: HTML - Size: 5.13 MB - Last synced at: 13 days ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0
France-Travail/DragonIframeCompatibilityExtension
Dragon Iframe Compatibility Extension : makes a pop up to allow dragon to work in embedded iframe websites.
Language: JavaScript - Size: 46.9 KB - Last synced at: 8 days ago - Pushed at: 8 months ago - Stars: 2 - Forks: 1
ANSSI-FR/transdep 📦
Discover SPOF in DNS dependency graphs
Language: Go - Size: 58.6 KB - Last synced at: 15 days ago - Pushed at: about 8 years ago - Stars: 65 - Forks: 7
France-Travail/multi-repo-sbom-toolkit
Scripts pour automatiser la génération de SBOMs à partir de plusieurs dépôts Git, en utilisant ORT et ScanCode Toolkit. Permet de produire à la fois des analyses individuelles par projet et une analyse consolidée de l’ensemble.
Language: Python - Size: 4.88 KB - Last synced at: 9 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
betagouv/agreste Fork of numerique-gouv/sites-conformes
La statistique agricole. Basé sur Sites Conformes https://github.com/numerique-gouv/sites-faciles
Language: Python - Size: 18 MB - Last synced at: 10 days ago - Pushed at: 18 days ago - Stars: 0 - Forks: 0
cnigfr/PCRS
Language: Game Maker Language - Size: 7.34 MB - Last synced at: 14 days ago - Pushed at: over 4 years ago - Stars: 6 - Forks: 1
Deducteam/agda Fork of agda/agda
Agda is a dependently typed programming language / interactive theorem prover.
Size: 127 MB - Last synced at: 15 days ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
tchapgouv/python-buildpack Fork of Scalingo/python-buildpack
Python buildpack
Size: 61.2 MB - Last synced at: 8 days ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 1
etalab-ia/ami-ia-crmana
DĂ©pĂ´t de code pour le projet AMI IA 2 de la CRMA NA.
Language: Python - Size: 53.7 KB - Last synced at: 13 days ago - Pushed at: about 4 years ago - Stars: 3 - Forks: 0
betagouv/monstage-backup-manager 📦
monstage-backup-manager
Language: Shell - Size: 23.4 KB - Last synced at: 7 days ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0
betagouv/diagoriente-v5-mobile 📦
Language: TypeScript - Size: 12.5 MB - Last synced at: 7 days ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 1
etalab-ia/ami-ia
Recense les ressources utiles au programme AMI IA
Language: Jupyter Notebook - Size: 36.4 MB - Last synced at: 13 days ago - Pushed at: over 4 years ago - Stars: 3 - Forks: 1
ANSSI-FR/chipsec-check
Tools to generate a Linux distribution booting from a USB key to test hardware requirements
Language: Shell - Size: 2.25 MB - Last synced at: 15 days ago - Pushed at: 28 days ago - Stars: 51 - Forks: 10
PnX-SI/django-flask-authent-backend
A Django authentication backend for authenticating users against external databases with support for custom password hashers including native bcrypt.
Language: Python - Size: 5.86 KB - Last synced at: 13 days ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0
ANSSI-FR/xsvgen 📦
XML Schema Validator Generator
Language: OCaml - Size: 242 KB - Last synced at: 15 days ago - Pushed at: almost 7 years ago - Stars: 11 - Forks: 1
ANSSI-FR/hackropole-hugo
A Hugo theme to host Capture-The-Flag (CTF) challenges as a static website like hackropole.fr.
Language: HTML - Size: 1.43 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 11 - Forks: 4