askcode - 代码索引和导航工具
代码分析代码导航代码索引 Python
★ 0 · 更新于 2026-03-20
使用 tree-sitter 索引 Python/C/C++ 代码库并通过 SQL 查询
⚙ 索引代码仓库 ⚙ 查询代码数据库 ⚙ 按名称查找函数
ffi-bindings - 在 Lean 4 和 C 之间创建 FFI 绑定
FFI Lean 4 C 语言原生库
★ 18 · 更新于 2026-03-11
在 Lean 4 和 C 代码之间创建外部函数接口绑定
⚙ 定义不透明类型 ⚙ 声明外部函数 ⚙ 实现 C 函数