INRIA/zelus INRIA/zelus

  • Stars
    star
    46
  • Rank 595,962 (Top 13 %)
  • Language
    OCaml
  • License
    Other
  • Created almost 4 years ago
  • Updated about 1 month ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
INRIA/zelus
github

INRIA

Reviews

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

Repository Details

A synchronous language with ODEs

More Repositories

1

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.
Java
1,672
star
2

scikit-learn-mooc

Machine learning in Python with scikit-learn MOOC
Jupyter Notebook
995
star
3

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.
JavaScript
242
star
4

awesome-open-science-software

awesome open list of pointers about open science for software and computational science
124
star
5

velus

A Lustre compiler in Coq
Coq
55
star
6

libpointing

An open-source cross-platform library to get raw events from pointing devices and master transfer functions.
C++
51
star
7

atable

Making better ranking tables since 2014
JavaScript
40
star
8

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.).
Ruby
7
star
9

aiana-player

Media player focusing on cognitive impairments. Formerly known as the "Aiana Project".
TypeScript
6
star
10

hybridvis

A tool to create visualizations using the hybrid image method
Emacs Lisp
5
star
11

Visualization-Literacy-101

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

intertrace

Interaction Trace Logger and Browser
JavaScript
3
star
13

mooc-accessibility-static

MOOC Accessibility course static website
HTML
2
star
14

mooc-accessibility-api

Inria MOOC Accessibilité Numérique API
Python
1
star
15

IFIPSpecifications

Specifications for the HAL-based IFIP library
XSLT
1
star