最近由ISCAS的Zhang Xindi、Zhu Lingfeng、Cai Shaowei、Li Yongjian开发的开源MC工具。Modelchecker使用名为CaDiCaL的高级增量SAT解算器实现IC3
A recent open-source MC tool developed by Xindi Zhang, Lingfeng Zhu, Shaowei Cai, Yongjian Li, from ISCAS. Modelchecker implements the IC3 with an advanced incremental SAT solver named CaDiCaL (2024-04-28, C++, 0KB, 下载0次)
VisualJS是用于Javascript的文本编辑器的项目。它被设计为一个2d空间,可以根据需要拖动和重新排列“Zones”。它使用SFML进行渲染。
VisualJS is a project for a text editor for Javascript. It is designed to be a 2d space where "Zones" can be dragged and rearranged as needed. It uses SFML for rendering. (2024-03-30, C++, 0KB, 下载0次)
用于在CNC上铣削印刷电路板的G代码的准备程序。您可以将其用作PDF文件的转换器。,
Program for preparing G-code for milling of printed circuit boards on CNC. You can use it as a converter to a PDF file., (2023-07-28, C++, 0KB, 下载0次)
用于3D ACIS Modeler的Python 3包装器模块,
Python 3 wrapper module for 3D ACIS Modeler, (2018-01-21, C++, 0KB, 下载0次)
在虚拟修改的模拟器环境中使用Arduino设计的应用程序,用户可以操纵汽车,并且...
An app designed using Arduino inside a virtually modified emulator environment, where a user can maneuver a car, and allow the car to park in a parking space autonomously. (2023-01-26, C++, 131269KB, 下载0次)
FBX打开速度太慢,所以我制作了一个基于DirectX11的简单查看器
FBX is too slow to open, so I made a simple viewer, based on DirectX11 (2021-12-20, C++, 4815KB, 下载0次)
此包提供对dxFeed市场数据的访问。该库是在dxFe上构建的一个特定于语言的包装器...
This package provides access to dxFeed market data. The library is built as a language-specific wrapper over the dxFeed Graal Native library, which was compiled with GraalVM Native Image and dxFeed Java API (our flagman API). (2023-06-01, C++, 1039KB, 下载0次)
用于激光数控的快速易用DXF到GC代码转换器
Fast and easy to use DXF to GCode converter for laser CNC (2023-03-12, C++, 1924KB, 下载0次)
C++中的快速3D文件格式转换器,支持OBJ、3DS、MA、MB、XSI、LWO、DXF、STL、MAT、DAE。
Fast 3D file format converter in C++ supporting OBJ, 3DS, MA, MB, XSI, LWO, DXF, STL, MAT, DAE. (2014-10-18, C++, 131KB, 下载2次)
PDAS电子元件库及封装库,非常好用的封装库
parts electronic of PADS software (2017-10-23, C++, 1290KB, 下载136次)