yanntm

yanntm's Stars

• greatspn/SOURCES

  Main repository of the GreatSPN framework

  Language:C++4213

• yanntm/YoBot

  A bot to compete in Starcraft 2 AI tournaments

  Language:C++63

• kelseyhightower/nocode

  The best way to write secure and reliable applications. Write nothing; deploy nowhere.

  Language:Dockerfile60.6k4.7k

• travis-ci/travis-ci

  Free continuous integration platform for GitHub projects.

  8.4k722

• eclipse/xtext-core

  xtext-core

  Language:Java11796

• ahamez/libsdd

  A generic C++14 library for Hierarchical Set Decision Diagrams.

  Language:C++62

• lip6/ITS-CTL

  CTL symbolic model-checker based on libDDD and libITS

  Language:C73

• lip6/libITS

  Core Guarded Action Language and Instantiable Transition System semantics using libDDD.

  Language:C++85

• lip6/Coloane

  Maintained components of Coloane editor.

  Language:Java2