INRIA / 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.).
☆8Updated 2 years ago
Alternatives and similar repositories for osc
Users that are interested in osc are comparing it to the libraries listed below
Sorting:
- Docker Machine driver for the Grid'5000 testbed infrastructure.☆13Updated 2 weeks ago
- ☆14Updated last month
- Scripts to clean Open-Data.☆40Updated 6 years ago
- JVM Abstracting Abstract Machine☆25Updated 6 years ago
- Giraph Docker image☆12Updated 9 years ago
- (Abstract) Abstract Machine Experiments using Scala☆34Updated 4 years ago
- Fab-Manager is the FabLab management solution. It provides a comprehensive, web-based, open-source tool to simplify your administrative …☆238Updated 2 weeks ago
- Docker containers to build an Hadoop infrastructure and experiment feedback control loops atop of it.☆9Updated 7 years ago
- A PLT Redex implementation of Featherweight Java☆16Updated 12 years ago
- ☆13Updated 5 years ago
- Source code for the Naturalize project☆56Updated 9 years ago
- The semantics of Java in K☆19Updated 3 years ago
- A recursive ascent/descent parser generator for Scala☆33Updated 2 years ago
- APISENSE® Android client☆10Updated 7 years ago
- NaDeA (Natural Deduction Assistant) - With a Formalization in Isabelle☆16Updated 2 years ago
- TeLLer is a collection of tools that explore the use of linear logic applied to narrative generation and story telling.☆18Updated 9 years ago
- Web plateforme for collaborative text analytics☆30Updated 2 years ago
- Nantes Machine Learning Meetup☆55Updated 3 years ago
- Library-based Language Extensibility☆39Updated 10 years ago
- Luck -- A Language for Property-Based Generators☆34Updated 2 months ago
- An implementation of wxAsteroids in javascript using UHC (Utrecht Haskell Compiler)☆12Updated 10 years ago
- A Hello World program in Coq.☆17Updated 2 years ago
- An abstract-interpretation based static analyzer written in Scala.☆33Updated 3 years ago
- Interactive documentation and programming with Scala, iPython notebook style.☆19Updated 9 years ago
- A termination checker for higher-order rewriting with dependent types☆10Updated 4 years ago
- A curated list of tools and websites to get more from your Media☆11Updated 6 years ago
- Eclipse plugin that synthesizes real Java code☆26Updated 10 years ago
- A scala library for IBM ILOG CPLEX☆19Updated 5 years ago
- The Kevoree Modeling Framework☆42Updated 8 years ago
- Computer Science In Real Life☆26Updated 8 years ago