Stars
Making the Model-Kernel Interface Explicit for Reliable CUDA Kernel Verification
LLM dependency attribution experiment results
Run AI harnesses like Claude Code, Codex, Copilot, Antigravity, and Omnigent in disposable workspace forks. Review, merge, or roll back changes with policy enforcement and provenance.
📚 Learn to write an embedded OS in Rust 🦀
mmd_tools is a blender addon for importing Models and Motions of MikuMikuDance.
PowerPoint 任务窗格 AI 助手插件 — 通过 Anthropic 兼容 API 操作演示文稿
北京理工大学 北理工 软件工程大三下 编译原理 操作系统 软件项目管理
Installer Microsoft Office For MacOS
Kernel source tree for Raspberry Pi-provided kernel builds. Issues unrelated to the linux kernel should be posted on the community forum at https://forums.raspberrypi.com/
🐧 一个更完整、更优雅的 Linux Clash / Mihomo 代理运行平台
北京理工大学 北理工 信息科学技术大一下所有课资料 大学物理A Ⅰ 大物 电路分析基础 工科数学分析 II 物理实验B Ⅰ 学术用途英语二级 C语言程序设计
北京理工大学 北理工 软件工程大二上 程序设计方法实践 大学物理A Ⅱ 概率论与数理统计 离散数学 日本历史与文化 软件工程基础训练 数据结构与算法设计 物理实验B Ⅱ
北京理工大学 北理工 信息科学技术大一上所有课资料，大学计算机 大学生心理素质发展 工程制图C 工图 工科数学分析 I 工数 生产生活中的电气控制与可编程控制器 PLC 线性代数B 线代 学术用途英语 I
北京理工大学 北理工 软件工程大三上，强化学习 数据仓库与数据挖掘 计算机组成原理 计算机网络与工程 软件体系结构与设计模式 软件工程综合实践 软件质量与评测技术
北京理工大学 北理工 软件工程大二下 沟通与职业素养 面向对象技术与方法 软件需求工程与UML建模 世界遗产鉴赏 数据库设计与开发 数字逻辑基础 云计算及应用 知识工程
Fixes overexposed hdr screenshot for softwares that using Bitblt api
软考达人 - 最新最全免费的软考题库。 高级：系统架构设计师、系统分析师、信息系统项目管理师、系统规划与管理师、网络规划设计师。 中级：软件设计师、网络工程师、系统集成项目管理工程师、数据库系统工程师、信息安全工程师、信息系统管理工程师、信息系统监理师、软件评测师、嵌入式系统设计师、电子商务设计师、多媒体应用设计师。 初级：信息系统运行管理员、信息处理技术员、网络管理员、程序员。
BIT-RoboDragon是为北京理工大学屠龙智能车挑战赛开发的Arduino智能小车控制系统。该项目实现了多种功能模式，包括蓝牙遥控、红外循迹和超声波避障等，使智能小车能够适应不同的比赛环境和任务要求。