Popular repositories Loading

1. ecustshangweiji ecustshangweiji Public

   ecust 上位机

   C# 1

2. QT-SoftwareHardwaretool QT-SoftwareHardwaretool Public

   Makefile 1

3. MathModel MathModel Public

   Forked from zhanwen/MathModel

   研究生数学建模，本科生数学建模、数学建模竞赛优秀论文，数学建模算法，LaTeX论文模板，算法思维导图，参考书籍，Matlab软件教程，PPT

   TeX

4. DAG-scheduling DAG-scheduling Public

   Forked from mive93/DAG-scheduling

   C++ library to handle real-time DAG task and test several implemented schedulability methods from real-time literature

   C++

5. PyUPPAAL PyUPPAAL Public

   Forked from Jack0Chan/PyUPPAAL

   A research tool that can modify and verify UPPAAL models with python. It can also help to parse counter-examples, or find all possible patterns of a UPPAAL property.

   Python