INRIA/velus

Stars
55
Rank 520,652 (Top 11 %)
Language Coq
License
Other
Created over 4 years ago
Updated 8 months ago

INRIA/velus

INRIA

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

A Lustre compiler in Coq

spoon

Spoon is a metaprogramming library to analyze and transform Java source code. 🥄 is made with ❤️, 🍻 and ✨. It parses source files to build a well-designed AST with powerful analysis and transformation API.

scikit-learn-mooc

Machine learning in Python with scikit-learn MOOC

Jupyter Notebook

VisualSedimentation

Visual sedimentation is a novel design metaphor that progressively generates and updates visualizations of streaming data, inspired by the process of physical sedimentation. This process is the result of objects falling due to gravity forces, that aggregate into compact layers over time. The process is well understood since our environment is shaped by sedimentation: mountains, hills or rivers are the visible result of this long process.

awesome-open-science-software

awesome open list of pointers about open science for software and computational science

libpointing

An open-source cross-platform library to get raw events from pointing devices and master transfer functions.

zelus

A synchronous language with ODEs

atable

Making better ranking tables since 2014

osc

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 contexte d'une entité de recherche (EPST, Laboratoire, Université, etc.).

aiana-player

Media player focusing on cognitive impairments. Formerly known as the "Aiana Project".

hybridvis

A tool to create visualizations using the hybrid image method

Visualization-Literacy-101

Visualization Literacy 101 is an initial attempt at designing calibrated visualization literacy tests for line graphs, bar charts, and scatterplots.

intertrace

Interaction Trace Logger and Browser

mooc-accessibility-static

MOOC Accessibility course static website

mooc-accessibility-api

Inria MOOC Accessibilité Numérique API

IFIPSpecifications

Specifications for the HAL-based IFIP library