Skip to content
@cosyverif

CosyVerif

Extensible Modeling and Verification Platform

Popular repositories Loading

  1. paquito paquito Public

    Packager for various distros

    PHP 2 1

  2. library library Public

    Lua 6

  3. rest-server rest-server Public

    PHP

  4. deb-snow deb-snow Public

    C++

  5. deb-greatspn deb-greatspn Public

    C

  6. deb-spot-greatspn deb-spot-greatspn Public

Repositories

Showing 10 of 29 repositories
  • paquito Public

    Packager for various distros

    cosyverif/paquito’s past year of commit activity
    PHP 2 MIT 1 5 0 Updated Aug 27, 2017
  • client Public
    cosyverif/client’s past year of commit activity
    0 MIT 0 0 0 Updated Mar 30, 2017
  • formalisms Public

    Standard Formalisms Library for CosyVerif

    cosyverif/formalisms’s past year of commit activity
    0 MIT 5 12 1 Updated Feb 7, 2017
  • editor Public
    cosyverif/editor’s past year of commit activity
    0 MIT 0 1 0 Updated Dec 8, 2016
  • mini Public
    cosyverif/mini’s past year of commit activity
    Lua 0 MIT 0 0 0 Updated Dec 7, 2016
  • webclient Public
    cosyverif/webclient’s past year of commit activity
    JavaScript 0 MIT 0 9 0 Updated Dec 6, 2016
  • server Public
    cosyverif/server’s past year of commit activity
    0 MIT 2 4 1 Updated Dec 6, 2016
  • instance Public

    Instatiation of cosyverif platform

    cosyverif/instance’s past year of commit activity
    Lua 0 MIT 0 0 0 Updated Dec 6, 2016
  • docker-images Public

    Dockerfiles for various containers

    cosyverif/docker-images’s past year of commit activity
    Shell 0 MIT 0 1 0 Updated Nov 23, 2016
  • cosyverif.github.io Public

    CosyVerif website

    cosyverif/cosyverif.github.io’s past year of commit activity
    0 0 0 0 Updated Nov 15, 2016
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…