An open API service providing repository metadata for many open source software ecosystems.

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