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.).
☆7Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for osc
- TeLLer is a collection of tools that explore the use of linear logic applied to narrative generation and story telling.☆17Updated 9 years ago
- Computer Science In Real Life☆26Updated 7 years ago
- Programmer's Learning Machine☆63Updated last year
- Système simple, libre, léger et adaptable de quantification et de bilan écologique pour ressourcerie☆18Updated last year
- Ressources autour du logiciel libre dans l'enseignement supérieur et la recherche☆28Updated 3 years ago
- ODN Repo☆12Updated 7 years ago
- 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
- Système de recommandation minimal sur Movielens (pour Girls Can Code! 2016)☆17Updated last year
- A language for data modeling and incremental computing of derived values☆11Updated 6 months ago
- Un simulateur global des prestations sociales françaises pour les jeunes.☆79Updated this week
- https://code.google.com/p/graph-theory-algorithms-book/☆20Updated 9 years ago
- ☆40Updated 10 years ago
- Library-based Language Extensibility☆39Updated 10 years ago
- Bulletins is a simple weekly retrospective tool for multiple projects or teams☆12Updated last year
- Cocorico is an open online voting platform powered by the blockchain.☆89Updated 7 years ago
- Extension Chrome et Firefox pour chercher un livre sur Amazon et l'acheter dans une vraie librairie.☆107Updated last year
- Fab-Manager is the FabLab management solution. It provides a comprehensive, web-based, open-source tool to simplify your administrative …☆227Updated 3 weeks ago
- Dépôt général contenant des ressources sur les approches collaboratives, pour l'instant non triées.☆12Updated 5 months ago
- eclipse-to-maven mavenises the existing Eclipse based workspace.☆28Updated last month
- OBSOLETE : DO NOT USE IT (migrated to gitlab.com)☆24Updated 7 years ago
- Pure Histoire de la Loi française – Git + Markdown☆101Updated 5 years ago
- Langage et environnements dédiés à l’algorithmique.☆13Updated 4 years ago
- Site Jekyll pour les crapauds fous.☆12Updated last year
- Java <-> XSB Prolog bridge library☆12Updated 4 years ago
- Foundational Verification of Hybrid Systems☆15Updated 7 years ago
- Linux learning game☆37Updated 3 months ago
- Experimental C++11 backend for Idris☆14Updated 9 years ago
- Optimizing Abstract Abstract Machines☆30Updated 7 years ago
- A mechanized proof of type safety for Featherweight Java using Coq☆16Updated 6 years ago
- An implementation of Hoare and He's Unifying Theories of Programming in Isabelle☆34Updated 9 months ago