Explore @cui-unige Open Source projects

Centre Universitaire d'Informatique - Université de Genève (@cui-unige)

cui-unige

Stars
50
Global Org. Rank 79,704 (Top 26 %)
Registered about 8 years ago
Most used languages

Swift
44.4 %

Python
22.2 %

Jupyter Notebook
11.1 %

JavaScript
11.1 %

Prolog
11.1 %
Location 🇨🇭 Switzerland
Country Total Rank 3,115
Country Ranking

Prolog
4

Swift
78

Jupyter Notebook
1,267

Python
2,260

JavaScript
3,277

outils-formels-modelisation

Cours de Bachelor : Outils Formels de Modélisation

outils-formels-modelisation-2018

Cours de Bachelor : Outils Formels de Modélisation

semantique

Cours de Bachelor : Sémantique des Langages Informatiques

drone-control

mcc4mcc

Model Checker Collection for the Model Checking Contest @ Petri nets

BSc-sensor-machine-learning

Bachelor project for machine learning in the plant system

Jupyter Notebook

BSc-educative-gaming-2019

educative-gaming BSc Project

modelisation-verification-2018

Cours de Master: Modélisation et Vérification

petrisport

A tool to compute some characteristics on sport Petri nets

cuso-winter-school

CUSO Winter School in Computer Science

swift-exercises

Exercises and Homework on Swift