Skip to content
@cui-unige

Centre Universitaire d'Informatique - Université de Genève

Popular repositories Loading

  1. outils-formels-modelisation outils-formels-modelisation Public

    Cours de Bachelor : Outils Formels de Modélisation

    Swift 20 44

  2. outils-formels-modelisation-2018 outils-formels-modelisation-2018 Public

    Cours de Bachelor : Outils Formels de Modélisation

    Swift 9 52

  3. semantique semantique Public

    Cours de Bachelor : Sémantique des Langages Informatiques

    Prolog 6 1

  4. mcc4mcc mcc4mcc Public

    Model Checker Collection for the Model Checking Contest @ Petri nets

    Python 4

  5. drone-control drone-control Public

    4 2

  6. swift-exercises swift-exercises Public

    Exercises and Homework on Swift

    Swift 2 12

Repositories

Showing 10 of 19 repositories
  • team-smv Public

    Team "Semantics, Modeling & Verification"

    cui-unige/team-smv’s past year of commit activity
    HTML 0 1 4 0 Updated Jul 16, 2024
  • drone-control Public
    cui-unige/drone-control’s past year of commit activity
    4 2 3 (1 issue needs help) 0 Updated Nov 9, 2021
  • outils-formels-ex9 Public
    cui-unige/outils-formels-ex9’s past year of commit activity
    Swift 0 0 0 0 Updated Nov 13, 2020
  • bash Public
    cui-unige/bash’s past year of commit activity
    Shell 0 0 0 0 Updated Nov 4, 2019
  • modelisation-verification-2018 Public

    Cours de Master: Modélisation et Vérification

    cui-unige/modelisation-verification-2018’s past year of commit activity
    Swift 0 2 16 (1 issue needs help) 0 Updated Sep 20, 2019
  • BSc-educative-gaming-2019 Public

    educative-gaming BSc Project

    cui-unige/BSc-educative-gaming-2019’s past year of commit activity
    Python 2 1 0 0 Updated Jun 30, 2019
  • BSc-sensor-machine-learning Public

    Bachelor project for machine learning in the plant system

    cui-unige/BSc-sensor-machine-learning’s past year of commit activity
    Jupyter Notebook 2 0 0 0 Updated Jun 24, 2019
  • outils-formels-modelisation-2018 Public

    Cours de Bachelor : Outils Formels de Modélisation

    cui-unige/outils-formels-modelisation-2018’s past year of commit activity
    Swift 9 52 3 1 Updated Jan 23, 2019
  • mcc4mcc Public

    Model Checker Collection for the Model Checking Contest @ Petri nets

    cui-unige/mcc4mcc’s past year of commit activity
    Python 4 MIT 0 6 0 Updated Oct 31, 2018
  • outils-formels-modelisation Public

    Cours de Bachelor : Outils Formels de Modélisation

    cui-unige/outils-formels-modelisation’s past year of commit activity
    Swift 20 44 5 (1 issue needs help) 0 Updated Sep 24, 2018
View all repositories

Top languages

Loading…

Most used topics

Loading…