@scotth
scott 暂无简介
一个自用的软件离线授权的工具,参考了许多大佬的代码。
很厉害的wxdump工具
构建约束满足问题(Constraint Satisfaction Problems, CSP)。核心是约束求解器,包括回溯搜索、约束传播和启发式搜索等 调度问题:如任务调度、课程安排等。 组合优化问题:如背包问题、旅行商问题(TSP)等。 资源分配问题:如分配机器到任务、人员到项目等。 逻辑推理问题:如逻辑谜题、数独等. Gecode 的通用性和高性能使其在学术研究和工业应用中都有广泛的应用
业界首款开源形式验证工具
DFI DDR PHY接口协议的多个版本规范文档 3.0, 3.1, 4.0, 5.1
OpenSrc multi-platform library for OpenGL, OpenGL ES and Vulkan. platform-independent API for creating windows, contexts and surfaces, reading input, handling events.
GUI framework
Immediate Mode Plotting
torch-molecule 是分子发现机器学习项目,提供了预测模型、生成模型和表示模型的完整工具集
https://github.com/rockchip-android/RKDocs/tree/rk3328-box-7.1
https://github.com/rockchip-linux/rkbin