GitHub
LemonLDAPNG/puppet-lemonldap-ng
Puppet module for LemonLDAP::NG
langage: Puppet - taille: 32,2 ko - dernière synchronisation: il y a 5 jours - enregistré: il y a environ 7 ans - étoiles: 2 - forks: 7
LemonLDAPNG/Apache-Session-Browseable
Apache::Session::Browseable Perl module
langage: Perl - taille: 257 ko - dernière synchronisation: il y a 5 jours - enregistré: il y a 2 mois - étoiles: 3 - forks: 6
gemoc/gemoc-studio-commons Fork de eclipse-gemoc/gemoc-studio-commons
langage: Java - taille: 3,31 Mo - dernière synchronisation: il y a 6 jours - enregistré: il y a plus de 3 ans - étoiles: 0 - forks: 0
SGMAP-AGD/Tools
Useful functions to work with data.
langage: Python - taille: 88,9 ko - dernière synchronisation: il y a 5 jours - enregistré: il y a presque 10 ans - étoiles: 9 - forks: 1
geovistory/juedisches-milieu-basel
Das jüdische Milieus Basels vom 19. Jahrhundert bis heute. Ein Spiel mit Data Stories.
langage: TypeScript - taille: 15,9 Mo - dernière synchronisation: il y a 4 jours - enregistré: il y a 7 mois - étoiles: 1 - forks: 3
EsupPortail/orioai-nuxeo
ori-oai plugin for nuxeo
langage: Java - taille: 4,89 Mo - dernière synchronisation: il y a 4 jours - enregistré: il y a plus de 12 ans - étoiles: 0 - forks: 0
Universite-Gustave-Eiffel/sonoreze
Website storage for sonoreze.fr
langage: HTML - taille: 623 Mo - dernière synchronisation: il y a 5 jours - enregistré: il y a 3 mois - étoiles: 0 - forks: 0
MTES-MCT/dialog
Intégration de la réglementation de circulation dans les solutions numériques
langage: PHP - taille: 19,8 Mo - dernière synchronisation: il y a 5 jours - enregistré: il y a 7 jours - étoiles: 12 - forks: 1
rusticata/tls-parser
TLS parser written in rust with nom
langage: Rust - taille: 537 ko - dernière synchronisation: il y a 5 jours - enregistré: il y a 25 jours - étoiles: 118 - forks: 30
Renater/simplesamlphp Fork de simplesamlphp/simplesamlphp
SimpleSAMLphp is an award-winning application written in native PHP that deals with authentication.
langage: PHP - taille: 45,8 Mo - dernière synchronisation: il y a 5 jours - enregistré: il y a environ 2 ans - étoiles: 0 - forks: 0
Renater/SimpleScaleVM
A service oriented virtual machine scaler
langage: Python - taille: 1,81 Mo - dernière synchronisation: il y a 5 jours - enregistré: il y a environ 3 ans - étoiles: 6 - forks: 0
tchapgouv/synapse-freeze-room Fork de matrix-org/synapse-freeze-room
Third-party rules module for Synapse to automatically freeze a room when the last admin leaves it and allow other members to unfreeze them and become the new admin
taille: 64,5 ko - dernière synchronisation: il y a 5 jours - enregistré: il y a environ 4 ans - étoiles: 0 - forks: 1
gemoc/gemoc-studio-eclipse-integration
Integration via git modules of GEMOC components @Eclipse for use by continuous integration server
taille: 207 ko - dernière synchronisation: il y a 6 jours - enregistré: il y a 10 mois - étoiles: 0 - forks: 1
DGAC/MattermostModule
Mattermost Module for Zend Framework and Bootstrap
langage: JavaScript - taille: 2,1 Mo - dernière synchronisation: il y a 4 jours - enregistré: il y a plus de 2 ans - étoiles: 0 - forks: 0
EsupPortail/cas-client-test 📦
langage: JavaScript - taille: 15,6 ko - dernière synchronisation: il y a 4 jours - enregistré: il y a presque 8 ans - étoiles: 0 - forks: 0
metwork-framework/cookiecutter_hooks
cookiecutter hooks used in MetWork Framework
langage: Python - taille: 34,2 ko - dernière synchronisation: il y a 5 jours - enregistré: il y a 7 mois - étoiles: 0 - forks: 0
openmole/gama-zombies-rouen
for the gama simulation model about zombies in Rouen (PSE method and visualisation)
langage: R - taille: 362 ko - dernière synchronisation: il y a 3 jours - enregistré: il y a presque 9 ans - étoiles: 2 - forks: 0
OKDP/hive-metastore
Hive metastore helm chart and custom docker image
langage: Shell - taille: 101 ko - dernière synchronisation: il y a 5 jours - enregistré: il y a 10 jours - étoiles: 3 - forks: 7
tchapgouv/synapse-sso-proconnect
langage: Python - taille: 37,1 ko - dernière synchronisation: il y a 5 jours - enregistré: il y a 8 mois - étoiles: 0 - forks: 1
polewebmaedi/natural-earth-vector Fork de nvkelso/natural-earth-vector
A global, public domain map dataset available at three scales and featuring tightly integrated vector and raster data.
langage: Makefile - taille: 9,7 Go - dernière synchronisation: il y a 5 jours - enregistré: il y a presque 11 ans - étoiles: 0 - forks: 0
wookey-project/hard-wookey-jtag
WooKey Secure Mass Storage JTAG / SWD Flasher PCB
langage: Shell - taille: 530 ko - dernière synchronisation: il y a 5 jours - enregistré: il y a plus de 6 ans - étoiles: 1 - forks: 0
entrepreneur-interet-general/OpenScraper
An open source webapp for scraping: towards a public service for webscraping
langage: Python - taille: 16,7 Mo - dernière synchronisation: il y a 5 jours - enregistré: il y a environ 3 ans - étoiles: 94 - forks: 23
Spirals-Team/CloudLexicon
CloudLex
langage: Python - taille: 769 Mo - dernière synchronisation: il y a 4 jours - enregistré: il y a plus de 8 ans - étoiles: 4 - forks: 2
MTES-MCT/acceslibre
La plateforme collaborative pour l’accessibilité
langage: Python - taille: 66,3 Mo - dernière synchronisation: il y a 5 jours - enregistré: il y a 8 jours - étoiles: 18 - forks: 6
betagouv/etabli
Allow searching for public french digital initiatives across a directory or by talking to an assistant
langage: TypeScript - taille: 6,99 Mo - dernière synchronisation: il y a 5 jours - enregistré: il y a environ 2 mois - étoiles: 10 - forks: 2
MTES-MCT/parcours_r_module_analyse_multi_dimensionnelles
langage: R - taille: 7,76 Mo - dernière synchronisation: il y a 5 jours - enregistré: il y a plus d'un an - étoiles: 1 - forks: 2
ISCPIF/tina
website for TINA team
langage: CSS - taille: 10,9 Mo - dernière synchronisation: il y a 5 jours - enregistré: il y a plus de 10 ans - étoiles: 0 - forks: 0
riatelab/geoviz
d3-based javascript library for thematic maps
langage: JavaScript - taille: 273 Mo - dernière synchronisation: il y a 5 jours - enregistré: il y a 9 jours - étoiles: 62 - forks: 0
Spirals-Team/codEnergy
Gather all information and charts about software energy distribution per method inside a website.
langage: JavaScript - taille: 99,1 Mo - dernière synchronisation: il y a 4 jours - enregistré: il y a environ 9 ans - étoiles: 4 - forks: 0
UMR-CNRM/EPyGrAM-doc
EPyGrAM documentation, generated from EPyGrAM internal sources
langage: HTML - taille: 40 Mo - dernière synchronisation: il y a 4 jours - enregistré: il y a 6 mois - étoiles: 0 - forks: 1
EsupPortail/esup-webengine-intranets
langage: Java - taille: 148 ko - dernière synchronisation: il y a 4 jours - enregistré: il y a environ 13 ans - étoiles: 0 - forks: 0
sofa-framework/SofaHighOrder
langage: Objective-C - taille: 30 Mo - dernière synchronisation: il y a 2 jours - enregistré: il y a plus de 2 ans - étoiles: 0 - forks: 3
grame-cncm/faustregistry
The Faust Registry acts as a centralized repository where Faust libraries are stored, shared, and managed.
taille: 2,57 Mo - dernière synchronisation: il y a 5 jours - enregistré: il y a plus d'un an - étoiles: 7 - forks: 3
ina-foss/amalia.js
Metadata enriched HTML5 video player
langage: JavaScript - taille: 28,3 Mo - dernière synchronisation: il y a 5 jours - enregistré: il y a plus de 2 ans - étoiles: 193 - forks: 37
IRSN/flood.R
helpers for flooding simulations
langage: R - taille: 38,1 ko - dernière synchronisation: il y a 5 jours - enregistré: il y a plus de 3 ans - étoiles: 0 - forks: 0
DNUM-SocialGouv/SIReclamations
langage: Java - taille: 306 ko - dernière synchronisation: il y a 5 jours - enregistré: il y a 9 mois - étoiles: 1 - forks: 0
DNUM-SocialGouv/SocialDataHub
Documentation et standards de la plateforme Social Data Hub
langage: Python - taille: 35,2 ko - dernière synchronisation: il y a 5 jours - enregistré: il y a 10 mois - étoiles: 0 - forks: 0
InseeFrLab/cours-nouvelles-donnees-slides
Slides du cours de l'Ensai sur les nouvelles sources de données pour la statistique publique
langage: JavaScript - taille: 6,68 Mo - dernière synchronisation: il y a 5 jours - enregistré: il y a 11 mois - étoiles: 1 - forks: 0
gemoc/mini-expression-server Fork de dvojtise/mini-expression-server
langage: Java - taille: 190 ko - dernière synchronisation: il y a 6 jours - enregistré: il y a presque 8 ans - étoiles: 1 - forks: 0
anct-cnum/api-conseiller-numerique
API utilisé par le portail conseiller et le portail candidat
langage: JavaScript - taille: 8,88 Mo - dernière synchronisation: il y a 5 jours - enregistré: il y a 11 jours - étoiles: 1 - forks: 0
clipos-archive/clipos4_portage-overlay-dev
clip-int/portage-overlay-dev from CLIP OS 4
langage: Roff - taille: 1,95 Mo - dernière synchronisation: il y a 5 jours - enregistré: il y a plus de 6 ans - étoiles: 0 - forks: 0
BaseAdresseNationale/api-fantoir
API pour naviguer dans FANTOIR
langage: JavaScript - taille: 383 ko - dernière synchronisation: il y a 4 jours - enregistré: il y a 10 mois - étoiles: 11 - forks: 1
anct-carto/acces-au-droit 📦
Carte interactive des associations de l'accès au droit
langage: JavaScript - taille: 3,82 Mo - dernière synchronisation: il y a 4 jours - enregistré: il y a plus de 6 ans - étoiles: 3 - forks: 3
OpenEdition/NormAFE
langage: Python - taille: 214 ko - dernière synchronisation: il y a 5 jours - enregistré: il y a plus de 7 ans - étoiles: 1 - forks: 1
metwork-framework/generate_changelogs 📦
mfserv plugin for managing changelogs for metwork-framework organization
langage: Shell - taille: 24,4 ko - dernière synchronisation: il y a 5 jours - enregistré: il y a plus de 5 ans - étoiles: 0 - forks: 0
INRIA/sum-project-optimisation-demo
Monstration tool to run and view results of models developped within INRIA INOCS team, for the European SUM project for new shared mobility.
taille: 0 octet - dernière synchronisation: il y a 5 mois - enregistré: il y a 9 mois - étoiles: 0 - forks: 0
Inist-CNRS/ezs
NodeJS streaming processing system. Repository containing all @ezs packages (monorepo)
langage: JavaScript - taille: 75,9 Mo - dernière synchronisation: il y a 5 jours - enregistré: il y a 7 jours - étoiles: 8 - forks: 2
EsupPortail/esup-otp-push
Also called "Esup Auth" on Google Play Store
langage: JavaScript - taille: 92,1 Mo - dernière synchronisation: il y a 4 jours - enregistré: il y a 23 jours - étoiles: 7 - forks: 7
SGMAP-AGD/extraction_prudhommes
Extraction d'éléments significatif issus de décisions prud'homales
langage: Python - taille: 19,5 ko - dernière synchronisation: il y a 5 jours - enregistré: il y a plus de 8 ans - étoiles: 0 - forks: 1
metwork-framework/docker-mfxxx-centos6-testimage
centos6 based docker image to execute integration tests for metwork/mfxxx modules (mfdata, mfserv, mfbase...)
langage: Shell - taille: 50,8 ko - dernière synchronisation: il y a 5 jours - enregistré: il y a plus d'un an - étoiles: 0 - forks: 0
cloud-gouv/securix
Sécurix is a NixOS-based secure operating system tailored for small to medium-sized teams. It provides a minimal, hardened environment with strong isolation, reproducibility, and policy-driven configurations to ensure operational security and compliance.
langage: Nix - taille: 1,24 Mo - dernière synchronisation: il y a 3 jours - enregistré: il y a 4 jours - étoiles: 83 - forks: 3
cloud-pi-native/krakend-base-image
Docker image to build for krakend service
langage: Dockerfile - taille: 0 octet - dernière synchronisation: il y a 1 jour - enregistré: il y a plus d'un an - étoiles: 0 - forks: 0
InseeFrLab/cours-nouvelles-donnees-site
Site du cours de l'Ensai sur les nouvelles sources de données pour la statistique publique
langage: Lua - taille: 17,1 Mo - dernière synchronisation: il y a 5 jours - enregistré: il y a 14 jours - étoiles: 0 - forks: 0
tchapgouv/synapse-bind-sydent Fork de 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.
taille: 18,6 ko - dernière synchronisation: il y a 5 jours - enregistré: il y a plus de 2 ans - étoiles: 0 - forks: 1
AgenceBio/schemas
taille: 5,86 ko - dernière synchronisation: il y a 5 jours - enregistré: il y a environ 4 ans - étoiles: 0 - forks: 0
entrepreneur-interet-general/sedatif
Vérification de conformité SEDA
langage: Makefile - taille: 2,08 Mo - dernière synchronisation: il y a 5 jours - enregistré: il y a plus de 7 ans - étoiles: 0 - forks: 0
entrepreneur-interet-general/eig-link
Liste d'outils pour faciliter les interactions entre EIG
langage: JavaScript - taille: 15,8 Mo - dernière synchronisation: il y a 5 jours - enregistré: il y a presque 3 ans - étoiles: 17 - forks: 28
entrepreneur-interet-general/solidata_backend
first draft for solidata_backend API
langage: Jupyter Notebook - taille: 47,8 Mo - dernière synchronisation: il y a 5 jours - enregistré: il y a environ 3 ans - étoiles: 9 - forks: 1
BaseAdresseNationale/shared-data
Données partagées par plusieurs modules en lien avec la Base Adresse Nationale
langage: JavaScript - taille: 38,1 ko - dernière synchronisation: il y a 4 jours - enregistré: il y a 6 mois - étoiles: 2 - forks: 0
LETG/CompareMNTWPS
Compare two given WPS
langage: Java - taille: 109 ko - dernière synchronisation: il y a 5 jours - enregistré: il y a 7 mois - étoiles: 0 - forks: 1
gemoc/lipvm
langage: JavaScript - taille: 866 ko - dernière synchronisation: il y a environ 8 heures - enregistré: il y a environ un an - étoiles: 0 - forks: 1
grame-cncm/guidolib
Guido project - music score layout engine - music description language
langage: C++ - taille: 88 Mo - dernière synchronisation: il y a 5 jours - enregistré: il y a 7 jours - étoiles: 174 - forks: 37
AutoriteDeLaConcurrence/publication_sen-codex_networkgraph
Open source code relating to the publication (complex network graph ) developped by the Digital economy Unit
langage: Python - taille: 826 ko - dernière synchronisation: il y a 5 jours - enregistré: il y a presque 3 ans - étoiles: 1 - forks: 1
InseeFrLab/InspaCy Fork de Mardelor/InspaCy
SpaCy NER pipeline generating rules from entity labels.
langage: Python - taille: 95,7 ko - dernière synchronisation: il y a 5 jours - enregistré: il y a plus d'un an - étoiles: 1 - forks: 2
gemoc/gemoc-rc-day18
GEMOC RC Day 2018
taille: 5,86 ko - dernière synchronisation: il y a 6 jours - enregistré: il y a plus de 7 ans - étoiles: 0 - forks: 1
clipos-archive/src_platform_clip-buildbot
CLIP hardened build bot
langage: C - taille: 29,3 ko - dernière synchronisation: il y a 5 jours - enregistré: il y a environ 7 ans - étoiles: 0 - forks: 0
cea-hpc/st2 Fork de StackStorm/st2
StackStorm (aka "IFTTT for Ops") is event-driven automation for auto-remediation, incident responses, troubleshooting, deployments, and more for DevOps and SREs. Includes rules engine, workflow, 160 integration packs with 6000+ actions (see https://exchange.stackstorm.org) and ChatOps. Installer at https://docs.stackstorm.com/install/index.html
taille: 37,3 Mo - dernière synchronisation: il y a 5 jours - enregistré: il y a presque 3 ans - étoiles: 0 - forks: 0
metwork-framework/docker-mfdataplugins-centos8-buildimage
centos8 based docker image to build metwork/mfdata plugins
langage: Dockerfile - taille: 48,8 ko - dernière synchronisation: il y a 5 jours - enregistré: il y a 16 jours - étoiles: 0 - forks: 0
metwork-framework/docker-mfxxx-centos6-buildimage
centos6 based docker image to build metwork/mfxxx modules (mfdata, mfserv, mfbase...)
langage: Shell - taille: 94,7 ko - dernière synchronisation: il y a 5 jours - enregistré: il y a plus d'un an - étoiles: 0 - forks: 1
InseeFrLab/Product-Maintenance
Maintenance page for a survey product
langage: TypeScript - taille: 1,38 Mo - dernière synchronisation: il y a 5 jours - enregistré: il y a environ 2 ans - étoiles: 0 - forks: 0
ifremer-bioinformatics/BLAST-PLAST-bench
Scripts to run benchmarks of BLAST and PLAST on a supercomputer
langage: Shell - taille: 144 ko - dernière synchronisation: il y a 5 jours - enregistré: il y a presque 8 ans - étoiles: 0 - forks: 0
imagesdesmaths/idm
The template and plugins of the "Images des Mathématiques" CNRS website
langage: PHP - taille: 78 Mo - dernière synchronisation: il y a 5 jours - enregistré: il y a plus de 4 ans - étoiles: 4 - forks: 3
lias-laboratory/stableunstable_electricitypriceforecasting
AI Approaches for Electricity Price Forecasting in Stable/Unstable Markets: EU Improvement Project
langage: Jupyter Notebook - taille: 3,78 Mo - dernière synchronisation: il y a 5 jours - enregistré: il y a plus de 2 ans - étoiles: 3 - forks: 0
gemoc/gemoc-studio-ale-execution Fork de fcoulon/shiny-guide 📦
langage: Java - taille: 537 ko - dernière synchronisation: il y a 6 jours - enregistré: il y a environ 7 ans - étoiles: 0 - forks: 2
gemoc/resist
Inria/Simula team RESIST_EA about Intelligent Systems
langage: CSS - taille: 23,5 Mo - dernière synchronisation: il y a 6 jours - enregistré: il y a 3 mois - étoiles: 0 - forks: 4
gemoc/studio-execution-truffle
GEMOC studio support for Truffle based languages
langage: Java - taille: 49,8 ko - dernière synchronisation: il y a 6 jours - enregistré: il y a plus de 4 ans - étoiles: 0 - forks: 0
GIP-RECIA/grr-specifique
Adaptation de l'application GRR (V3.4.0) en mode mono établissement, pour les installations spécifiques de l'ENT
langage: PHP - taille: 5,38 Mo - dernière synchronisation: il y a 5 jours - enregistré: il y a 3 mois - étoiles: 0 - forks: 0
gip-inclusion/offre-inclusion
Visualiser les données de l'offre de l'inclusion par territoire
langage: Vue - taille: 102 Mo - dernière synchronisation: il y a 5 jours - enregistré: il y a 8 mois - étoiles: 0 - forks: 1
CEA-LIST/AD-RobustnessEval Fork de dotchen/LearningByCheating
Robustness benchmark evaluation in case of incorrect high level driving instruction in Carla simulator.
langage: Python - taille: 95,2 Mo - dernière synchronisation: il y a 5 jours - enregistré: il y a plus de 4 ans - étoiles: 7 - forks: 0
clipos/src_portage_clipos
CLIP OS portage overlay
langage: Shell - taille: 454 ko - dernière synchronisation: il y a 5 jours - enregistré: il y a environ 5 ans - étoiles: 6 - forks: 5
abes-esr/item-client
Interface de Traitement des Exemplaires en Masse dans le Sudoc (partie client)
langage: Vue - taille: 4,01 Mo - dernière synchronisation: il y a 5 jours - enregistré: il y a environ 2 mois - étoiles: 2 - forks: 0
InseeFrLab/datacollection-ui
langage: JavaScript - taille: 1,52 Mo - dernière synchronisation: il y a 5 jours - enregistré: il y a environ 2 ans - étoiles: 1 - forks: 2
gemoc/demos
Material for presenters of demos based on GEMOC
taille: 0 octet - dernière synchronisation: il y a 6 jours - enregistré: il y a environ 9 ans - étoiles: 0 - forks: 0
ArchivesNationalesFR/Sparnatural_prototype_data
taille: 195 Mo - dernière synchronisation: il y a 5 jours - enregistré: il y a presque 3 ans - étoiles: 3 - forks: 1
clipos-archive/src_platform_clip-usb-keys
USB keys management tools
langage: Shell - taille: 123 ko - dernière synchronisation: il y a 5 jours - enregistré: il y a environ 7 ans - étoiles: 0 - forks: 0
datalocale/ijba-es
ijba dataviz equipement sportifs
taille: 1,9 Mo - dernière synchronisation: il y a 5 jours - enregistré: il y a presque 13 ans - étoiles: 0 - forks: 0
France-Travail/fairlens_pe Fork de synthesized-io/fairlens
Identify bias and measure fairness of your data
langage: Python - taille: 6,17 Mo - dernière synchronisation: il y a 6 jours - enregistré: il y a plus d'un an - étoiles: 3 - forks: 1
suitenumerique/st-deploycenter
App management for operators of La Suite territoriale
langage: Python - taille: 2,26 Mo - dernière synchronisation: il y a 5 jours - enregistré: il y a 7 jours - étoiles: 2 - forks: 2
metwork-framework/auto-changelog Fork de KeNaCo/auto-changelog 📦
A small program that will generate a changelog from git repos using "conventional style" commit messages
langage: Python - taille: 135 ko - dernière synchronisation: il y a 5 jours - enregistré: il y a presque 5 ans - étoiles: 0 - forks: 0
betagouv/grist-previsionnel 📦
Ce dépôt contient des custom widgets de Grist pour outiller la gestion budgétaire de la Ruche Numérique.
taille: 1,95 Mo - dernière synchronisation: il y a 6 jours - enregistré: il y a 7 mois - étoiles: 0 - forks: 0
betagouv/pass-culture-shared
Tous les objets javascript partagés entre l'application découverte et l'application pro
langage: JavaScript - taille: 1,31 Mo - dernière synchronisation: il y a 5 jours - enregistré: il y a environ 3 ans - étoiles: 0 - forks: 0
InseeFrLab/disiz
Insee collecting system DS
langage: TypeScript - taille: 6,1 Mo - dernière synchronisation: il y a 5 jours - enregistré: il y a environ 2 ans - étoiles: 1 - forks: 0
InseeFrLab/DoReMIFaSolData
Données associées au package DoReMIFaSol
langage: R - taille: 19,3 Mo - dernière synchronisation: il y a 5 jours - enregistré: il y a environ 2 ans - étoiles: 3 - forks: 2
PnCevennes/app_recrutement_client
langage: HTML - taille: 473 ko - dernière synchronisation: il y a 5 jours - enregistré: il y a presque 8 ans - étoiles: 0 - forks: 0
CCSDForge/episciences-front-next
langage: TypeScript - taille: 13,9 Mo - dernière synchronisation: il y a 6 jours - enregistré: il y a environ un mois - étoiles: 0 - forks: 0
Inist-CNRS/roadmapjs
A nodejs/reactjs application parsing Trello roadmap boards and displaying a nice project roadmap as a visual vertical timeline.
langage: JavaScript - taille: 688 ko - dernière synchronisation: il y a 5 jours - enregistré: il y a presque 10 ans - étoiles: 5 - forks: 0
atlanmod/arduinomodeling
langage: Java - taille: 803 ko - dernière synchronisation: il y a 5 jours - enregistré: il y a environ 6 ans - étoiles: 1 - forks: 1
communaute-cimi/mnt_france_srtm_90 Fork de eric-pommereau/mnt_france_srtm_90
Modèle numérique de terrain (SRTM 90) sur la france (DOM et COM)
taille: 54,7 ko - dernière synchronisation: il y a 5 jours - enregistré: il y a environ 10 ans - étoiles: 0 - forks: 0
metwork-framework/index
index and introduction to MetWork Framework repositories on this github organization
taille: 65,4 ko - dernière synchronisation: il y a 5 jours - enregistré: il y a 7 mois - étoiles: 6 - forks: 0
Deducteam/nubo
Nubo is a repository of interoperable formal proofs written in Dedukti.
langage: Makefile - taille: 124 ko - dernière synchronisation: il y a 1 jour - enregistré: il y a plus de 2 ans - étoiles: 4 - forks: 1