Pinned Loading

1. logical-foundations-2018 logical-foundations-2018 Public

   Forked from kolya-vasiliev/logical-foundations-2018

   My solutions to exercises in "Logical Foundations" (2018-2019)

   Coq

2. bwapi bwapi Public

   Forked from bwapi/bwapi

   Brood War API

   C++

3. FreeCAD FreeCAD Public

   Forked from FreeCAD/FreeCAD

   This is the official source code of FreeCAD, a free and opensource multiplatform 3D parametric modeler.

   C++

4. ICStudio ICStudio Public

   Forked from yanghui-9/ICStudio

   基于Qt的工控行业组态软件ICStudio

   C++

5. Device_Studio Device_Studio Public

   Forked from ybjx1987/Device_Studio

   致力于使用Qt开发一款可以在多个平台运行的组态软件。

   C++