dreossi

dreossi's Stars

• pierg/contracts-web

  web interface for crome-contracts

  Language:CSS8

• pierg/synthesis-web

  web interface for crome-synthesis

  Language:CSS10

• pierg/crome-web

  Language:CSS10

• pierg/crome-synthesis

  Language:Python101

• pierg/crome-logic

  Language:Python101

• pierg/crome-contracts

  Contracts operations tools, based on LTL

  Language:Python101

• pierg/crome-cgg

  Contract-Based Goal Graph Implementation. Combining LTL synthesis and contract-based design to model and analysis complex systems

  Language:Python111

• insitro/redun

  Yet another redundant workflow engine

  Language:Python54045

• mvcisback/py-aiger

  py-aiger: A python library for manipulating sequential and combinatorial circuits encoded using `and` & `inverter` gates (AIGs).

  Language:Python419

• decyphir/breach

  Language:C++5420

• Drona-Org/Drona-DMR

  Drona framework used for build distributed robotics systems

  Language:C61