基于OpenCV3与GTK3+的车辆辅助驾驶系统 用于标准路面的偏移制导（带人物交通标志识别），可用于自动驾驶计算机视觉的入门学习和具体项目的二次开发 克隆之前请确认好自己机子上面已经安装好下列...

SDETools A Matlab Toolbox for the Numerical Solution of Stochastic Differential Equations (SDEs). Version 1.2, 9-21-13 Download Repository: ZIP Archive How to install (and uninstal...

camera_calibration_API A repository containing the camera calibration API Repository Overview: camera_calibration.py:contains an API which tries to minic the MATLAB's camera c...

MScSim 是一个使用 C++ 开发的实时飞行动力学模拟软件。

Hardware里面是控制器的PCB文件，包括昇腾A200模组载板的参考方案。MCU基于ESP32，搭载MPU6050，通过CAN总线连接驱动器。 Structure里面是车身结构设计文件，step是Fusion导出的可能有些BUG，建...

ImplicitCAD 是一个开源的可编程的 CAD 软件。采用 Haskell 语言开发。 示例代码： /* This creates a twisted extrusion of 5 unioned circles ...

Z3 是来自微软研究院的的一个定理验证工具。 使用Visual Studio命令提示符在Windows上构建Z3 32位版本 python scripts/mk_make.py 或者，对于64位版本： python scripts/mk_make.py -x 然后： c...

ScalarArithmetic 使用隐式转换进行更好的 32 位和 64 位的数值类型转换。 示例： let myHeight = 34.5let myWidth = 100.23 let sizeOfWindow = ...

openboxes 是一个库存和供应链管理系统，旨在管理医疗机构的库存和跟踪库存变动。该系统通过采用 FEFO（先过期先出）策略来减少浪费，采用 Eclipse 公共许可证发布。 现有功能包括库存跟踪、批...

probabilistic_robotics I am working on detailed solutions of exercises of the book "probabilistic robotics". This is a work in progress, any helpful feedback is welcomed....