Skip to content

@INRIA Inria

Change the repository type filter

All

    Repositories list

    30 repositories

    • spoon

      Public
      Spoon is a metaprogramming library to analyze and transform Java source code. :spoon: is made with :heart:, :beers: and :sparkles:. It parses source files to bu…
      javaparserstatic-analysis
      javaparserstatic-analysismetaprogrammingcode-analysisastspooncode-generationjava9hacktoberfest
      Java
      •
      Other
      •388•2k•351•24•Updated Aug 16, 2026Aug 16, 2026

    • geoarches

      Public
      A package to train machine learning models on geospatial data, mainly for weather and climate. Used to run ArchesWeather and ArchesWeatherGen
      Python
      •
      BSD 3-Clause "New" or "Revised" License
      •20•78•30•8•Updated Aug 15, 2026Aug 15, 2026

    • scikit-learn-mooc

      Public
      Machine learning in Python with scikit-learn MOOC
      pythonmachine-learningmooc
      pythonmachine-learningmoocscikit-learn
      Jupyter Notebook
      •
      Creative Commons Attribution 4.0 International
      •601•1.4k•42•3•Updated Aug 14, 2026Aug 14, 2026

    • IFIPSpecifications

      Public
      Specifications for the HAL-based IFIP library
      XSLT
      •1•1•0•1•Updated Aug 12, 2026Aug 12, 2026

    • inocs-sum-odp-webapp

      Public
      Web application for the new version of the SUM Open Data Platform, a first-of-its-kind Pan-European Open Data Platform tracking the impact of push/pull measures…
      TypeScript
      •
      GNU General Public License v3.0
      •1•0•0•2•Updated Aug 11, 2026Aug 11, 2026

    • libpointing

      Public
      An open-source cross-platform library to get raw events from pointing devices and master transfer functions.
      transfer-functionssubpixelpointing-device
      transfer-functionssubpixelpointing-deviceraw-input
      C++
      •
      Other
      •14•54•8•0•Updated Aug 9, 2026Aug 9, 2026

    • ocaml-ortools

      Public
      OCaml interface to (parts of) Google OR-Tools
      ocamlconstraint-programmingsat-solver
      ocamlconstraint-programmingsat-solver
      C++
      •
      Apache License 2.0
      •3•7•0•0•Updated Aug 5, 2026Aug 5, 2026

    • sum-impact-assessment-models

      Public
      Different services to analyse living labs' policy measures and KPIs. The analysis provide data-driven results about the impact of the measures implemented in th…
      sumprojectteam
      sumprojectteaminocs
      Python
      •
      MIT License
      •0•0•0•0•Updated Jul 30, 2026Jul 30, 2026

    • zelus

      Public
      A synchronous language with ODEs
      ocamlhybrid-systemssynchronous-language
      ocamlhybrid-systemssynchronous-languageodeszelus
      OCaml
      •
      Other
      •15•61•0•0•Updated Jul 28, 2026Jul 28, 2026

    • zrun

      Public
      A Coiteration-based Executable Synchronous Semantics.
      OCaml
      •
      Other
      •0•1•0•0•Updated Jul 9, 2026Jul 9, 2026

    • .github

      Public
      Inria presentation
      0•0•0•0•Updated Jul 1, 2026Jul 1, 2026

    • datalake

      Public template
      Ce github créé par Inria héberge des scripts utiles dans l'exploitation des données XML-TEI de HAL (hal.science)
      Jupyter Notebook
      •1•0•0•0•Updated Jun 24, 2026Jun 24, 2026

    • VizKit

      Public
      VisKit: A Constructive Visualization Workshop
      HTML
      •0•1•0•0•Updated Jun 11, 2026Jun 11, 2026

    • inocs-sum-pricing-demand-nudging

      Public
      Dynamic pricing setting for NSM+PT demand nudging optimization model. Reseach by Mesut Can Koseoglu within INRIA INOCS team, for EU project SUM.
      Jupyter Notebook
      •0•0•0•0•Updated Jun 9, 2026Jun 9, 2026

    • inocs-sum-pt-nsm-optimization-demo

      Public
      Demonstration resources for research and development tools within INOCS team, in the context of SUM project. INOCS team develops optimization models for dynamic…
      TypeScript
      •0•0•0•0•Updated Apr 7, 2026Apr 7, 2026

    • velus

      Public
      A Lustre compiler in Coq
      coq-formalizationlustrecompcert
      coq-formalizationlustrecompcertsynchronous-language
      Coq
      •
      Other
      •8•71•1•0•Updated Jan 6, 2026Jan 6, 2026

    • sum-network-design-bike-sharing

      Public
      Demo for Designing Service Regions for Bike Sharing Systems: Integration with Public Transport Networks. Developed within INOCS team at INRIA
      teaminriainocs
      teaminriainocssum-project
      Jupyter Notebook
      •1•0•0•0•Updated May 14, 2025May 14, 2025

    • intertrace

      Public
      Interaction Trace Logger and Browser
      JavaScript
      •
      MIT License
      •3•4•0•0•Updated Apr 21, 2023Apr 21, 2023

    • osc

      Public
      Outil de suivi des Contrats / Outil de suivi des Budgets : Application Ruby On Rails permettant le Suivi des Contrats et des budgets correspondant dans le conte…
      Ruby
      •
      GNU Affero General Public License v3.0
      •9•8•0•8•Updated Jul 21, 2022Jul 21, 2022

    • aiana-player

      Public
      Media player focusing on cognitive impairments. Formerly known as the "Aiana Project".
      a11ymedia-playerweb-accessibility
      a11ymedia-playerweb-accessibilitymooc-player
      TypeScript
      •0•6•15•2•Updated Jan 15, 2022Jan 15, 2022

    • mooc-accessibility-api

      Public
      Inria MOOC Accessibilité Numérique API
      apiflaskpython36
      apiflaskpython36
      Python
      •1•1•0•2•Updated Jun 2, 2021Jun 2, 2021

    • mooc-accessibility-static

      Public
      MOOC Accessibility course static website
      coursemoochugo
      coursemoochugoa11y
      HTML
      •1•3•0•0•Updated Dec 13, 2019Dec 13, 2019

    • libpointing-homebrew

      Public
      :beers: Core formulae for the Homebrew package manager
      Ruby
      •
      Other
      •14k•1•0•0•Updated Feb 25, 2019Feb 25, 2019

    • hybridvis

      Public
      A tool to create visualizations using the hybrid image method
      Emacs Lisp
      •
      GNU General Public License v3.0
      •2•5•0•0•Updated May 18, 2017May 18, 2017

    • atable

      Public
      Making better ranking tables since 2014
      JavaScript
      •
      BSD 3-Clause "New" or "Revised" License
      •4•40•1•1•Updated Sep 9, 2016Sep 9, 2016

    • interstices

      Public
      Outils pour déposer automatiquements les articles de interstices.info dans HAL
      XSLT
      •0•0•0•0•Updated Sep 5, 2016Sep 5, 2016

    • frobel-open-gifts

      Public
      Frobel Open Gift is an open source version of the Friedrich Fröbel pedagogical material. This material is originally toy design to teach numeracy and math in Ki…
      3•6•0•1•Updated Mar 23, 2016Mar 23, 2016

    • sparklificator

      Public
      JavaScript
      •
      MIT License
      •1•14•0•0•Updated Dec 2, 2014Dec 2, 2014

    • Visualization-Literacy-101

      Public
      Visualization Literacy 101 is an initial attempt at designing calibrated visualization literacy tests for line graphs, bar charts, and scatterplots.
      JavaScript
      •4•6•0•0•Updated Jun 27, 2014Jun 27, 2014

    • VisualSedimentation

      Public
      Visual sedimentation is a novel design metaphor that progressively generates and updates visualizations of streaming data, inspired by the process of physical s…
      JavaScript
      •57•244•0•0•Updated Apr 14, 2014Apr 14, 2014
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.