• 1
• 0
• 1

Hardware/VitisHLS-Vivado-IP-Example forked from fsfzp888/VitisHLS-Vivado-IP-Example

• 1
• 0
• 1

Hardware/DDR4_controller forked from fsfzp888/DDR4_controller

• 1
• 0
• 0

Hardware/gecode

构建约束满足问题（Constraint Satisfaction Problems, CSP）。核心是约束求解器，包括回溯搜索、约束传播和启发式搜索等 调度问题：如任务调度、课程安排等。 组合优化问题：如背包问题、旅行商问题（TSP）等。 资源分配问题：如分配机器到任务、人员到项目等。 逻辑推理问题：如逻辑谜题、数独等. Gecode 的通用性和高性能使其在学术研究和工业应用中都有广泛的应用

• 1
• 0
• 25

Hardware/EpicFV forked from ZVision/EpicFV

业界首款开源形式验证工具

• 1
• 0
• 1

Hardware/gpu_graph_algorithms forked from fsfzp888/gpu_graph_algorithms

• 1
• 0
• 1

Hardware/OpenFPGA-NoC forked from fsfzp888/OpenFPGA-NoC

• 1
• 0
• 0

Hardware/DDR-DFI

DFI DDR PHY接口协议的多个版本规范文档 3.0, 3.1, 4.0, 5.1

• 1
• 0
• 1

Hardware/OpenFPGA forked from fsfzp888/OpenFPGA

• 1
• 0
• 1

Hardware/DDR4MemoryController forked from fsfzp888/DDR4MemoryController

• 1
• 0
• 1

Hardware/axi forked from fsfzp888/axi

• 1
• 0
• 1

Hardware/ShashankOV_noc forked from fsfzp888/ShashankOV_noc

• 1
• 0
• 0

UI/glfw

OpenSrc multi-platform library for OpenGL, OpenGL ES and Vulkan. platform-independent API for creating windows, contexts and surfaces, reading input, handling events.

• 1
• 0
• 0

scott/imgui

GUI framework

• 1
• 0
• 0

scott/implot

Immediate Mode Plotting

• 1
• 0
• 0

CellBiology/torch-molecule

torch-molecule 是分子发现机器学习项目，提供了预测模型、生成模型和表示模型的完整工具集

• 1
• 0
• 0

Hardware/RKDocs

https://github.com/rockchip-android/RKDocs/tree/rk3328-box-7.1

• 1
• 0
• 0

Hardware/rkbin

https://github.com/rockchip-linux/rkbin

• 1
• 0
• 0

Hardware/mpp

Media Process Platform (MPP) module fork https://github.com/stevechan1993/mpp. https://github.com/rockchip-linux/mpp Repository unavailable due to DMCA takedown.

• 1
• 0
• 1

Hardware/edk2-rk3588 forked from 飞翔的猫/edk2-rk3588

edk2-rk3588 镜像

• 1
• 0
• 0

Hardware/XiangShan-doc

https://github.com/OpenXiangShan/XiangShan-doc