camera_calibration_API-卡核

camera_calibration_API

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...
d4m Dynamic Distributed Dimensional Data Model-卡核
XUAN-Bike 自行车自动驾驶方案-卡核

XUAN-Bike 自行车自动驾驶方案

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

ImplicitCAD 可编程的 CAD 软件

ImplicitCAD 是一个开源的可编程的 CAD 软件。采用 Haskell 语言开发。 示例代码: /* This creates a twisted extrusion of 5 unioned circles ...
Computer-Vision-and-AI-卡核
Z3 定理验证工具-卡核

Z3 定理验证工具

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

ScalarArithmetic 32/64 位数值转换

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

probabilistic_robotics

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....
deck.gl 基于 WebGL 的可视化图层-卡核

deck.gl 基于 WebGL 的可视化图层

deck.gl,是由 Uber 开源的基于 WebGL 的可视化图层。 用于React 的 WebGL 遮罩套件,提供了一组高性能的数据可视化叠加层。为数据可视化用例提供测试、高性能的图层,如 2 维和 3 维的散点图、...
OpenBoxes 库存和供应链管理系统-卡核

OpenBoxes 库存和供应链管理系统

openboxes 是一个库存和供应链管理系统,旨在管理医疗机构的库存和跟踪库存变动。该系统通过采用 FEFO(先过期先出)策略来减少浪费,采用 Eclipse 公共许可证发布。 现有功能包括库存跟踪、批...
IMES 开源制造执行系统-卡核

IMES 开源制造执行系统

IMES 是一个为中小型 JobShop 制造商设计的开源制造执行系统应用程序,基于 Apache-2.0 许可发布。不过有些可惜的是,自 2019 年起该项目就没有更新记录了,作者表示受新冠疫情影响,暂停...
Tao3D 实时 3D 应用编程语言-卡核

Tao3D 实时 3D 应用编程语言

Tao3D 是一个编程语言用于实时的交互式 3D 操作。你可以轻松创建动态、交互、丰富数据展示的 3D 应用。