C/C++

atomspace

The OpenCog hypergraph database, query system and rule engin...

1.8k

C++

快速查看 比較

研究工具

ACL2系统和社区书籍

由社区维护的 ACL2 系统和书籍。「ACL2 System and Books as Maintained by th...

2k

Common Lisp

快速查看 比較

  1.7k

Rust

LOL HTML

具有基于 CSS 选择器 API 的低输出延迟流式 HTML 解析器/重写器。「Low output latency s...

1.9k

HTML

快速查看 比較