c-programming-language - C 语言专家级系统工程C 语言系统编程嵌入式内存安全★ 1 · 更新于 2026-09-30设计、实现、审查、调试、测试、优化、模糊测试、移植和加固 C 软件及原生系统接口。⚙ 编写 C 代码⚙ 审查 C 实现⚙ 调试内存错误
ffi-bindings - 创建 Lean 4 与 C 的 FFI 绑定FFIC 互操作Lean 4原生绑定★ 650 · 更新于 2026-03-10在 Lean 4 和 C 之间创建外部函数接口绑定，用于原生库和系统 API⚙ 定义不透明类型⚙ 声明外部函数⚙ 实现 C 函数
