Skip to content

@INRIA Inria

Change the repository type filter

All

    Repositories list

    25 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
      •383•1.9k•347•24•Updated Apr 20, 2026Apr 20, 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
      •0•0•0•0•Updated Apr 14, 2026Apr 14, 2026

    • zelus

      Public
      A synchronous language with ODEs
      ocamlhybrid-systemssynchronous-language
      ocamlhybrid-systemssynchronous-languageodeszelus
      OCaml
      •
      Other
      •14•60•0•0•Updated Apr 12, 2026Apr 12, 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

    • 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
      •598•1.4k•43•5•Updated Mar 20, 2026Mar 20, 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
      •15•56•36•7•Updated Mar 16, 2026Mar 16, 2026

    • ocaml-ortools

      Public
      OCaml interface to (parts of) Google OR-Tools
      ocamlconstraint-programmingsat-solver
      ocamlconstraint-programmingsat-solver
      C++
      •
      Apache License 2.0
      •2•6•0•0•Updated Mar 16, 2026Mar 16, 2026

    • velus

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

    • .github

      Public
      Inria presentation
      0•1•0•0•Updated Oct 15, 2025Oct 15, 2025

    • 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
      •0•0•0•0•Updated May 14, 2025May 14, 2025

    • 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 Dec 15, 2024Dec 15, 2024

    • IFIPSpecifications

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

    • 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
      •7•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
      •0•1•0•2•Updated Jun 2, 2021Jun 2, 2021

    • mooc-accessibility-static

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

    • libpointing-homebrew

      Public
      :beers: Core formulae for the Homebrew package manager
      Ruby
      •
      Other
      •13k•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
      •56•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.