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
- ☆14Updated 2 weeks ago
- JVM Abstracting Abstract Machine☆25Updated 6 years ago
- Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…☆32Updated last year
- Source code for the Naturalize project☆56Updated 9 years ago
- The Kevoree Modeling Framework☆42Updated 8 years ago
- A PLT Redex implementation of Featherweight Java☆15Updated 12 years ago
- A Scala Wavelet Library☆20Updated 8 years ago
- Eclipse plugin that synthesizes real Java code☆26Updated 10 years ago
- Sireum v3☆10Updated last year
- This is a clone of an SVN repository at svn://svn.forge.objectweb.org/svnroot/sat4j/maven/trunk. It had been cloned by http://svn2github.…☆9Updated 7 years ago
- Library-based Language Extensibility☆39Updated 10 years ago
- Scala utilities for teaching computational linguistics and prototyping algorithms.☆42Updated 12 years ago
- Automate Let's Encrypt certificate issuance, renewal and synchronize with CleverCloud.☆16Updated last year
- A recursive ascent/descent parser generator for Scala☆33Updated 2 years ago
- Visual SPARQL query tool☆10Updated 8 years ago
- An abstract-interpretation based static analyzer written in Scala.☆33Updated 2 years ago
- GPU-accelerated natural language parser☆36Updated 11 years ago
- The semantics of Java in K☆19Updated 3 years ago
- Spde extension library for Processing☆48Updated 12 years ago
- ☆9Updated 7 years ago
- fetchIO is a simple, configurable, fault-tolerant web crawler written in Haskell☆23Updated 7 years ago
- A Prolog Implementation(Internal DSL, External DSL, REPL) in Scala.☆30Updated 14 years ago
- The eclipse plugin for frege, codename fregIDE☆31Updated 5 years ago
- Generic immutable recursive data representation API targeted at source code models and more.☆35Updated 2 weeks ago
- (Abstract) Abstract Machine Experiments using Scala☆34Updated 4 years ago
- Cocorico is an open online voting platform powered by the blockchain.☆89Updated 7 years ago
- ETL orchestration platform with recoverability and process monitoring features☆9Updated 7 years ago
- Playground for instrumenting `scalac` using AspectJ.☆43Updated 10 years ago
- Livret de bienvenue destiné aux membres d’Etalab.☆26Updated 11 months ago
- JSONiq Specification☆15Updated 8 years ago