##souffle

  1. treeedb

    从 tree-sitter 解析树生成 Datalog 事实

    v0.1.0-rc.5 #datalog #parse-tree #ast #programming-language #souffle #parser #parsing
  2. tree-sitter-souffle

    Soufflé 语法用于 tree-sitter 解析库

    v0.4.0 #parser #datalog #incremental #souffle
  3. treeedbgen-souffle-souffle

    从 Soufflé tree-sitter 语法生成 Soufflé 类型和相关关系

    v0.1.0-rc.5 #datalog #java #souffle #programming-language #parser #parsers
  4. treeedb-souffle

    从 Soufflé 源代码生成 Datalog 事实

    v0.1.0-rc.5 #datalog #souffle #programming-language #rules #parser #parsing
  5. treeedbgen-souffle-c

    从 C tree-sitter 语法生成 Soufflé 类型和相关关系

    v0.1.0-rc.5 #datalog #programming-language #c #souffle #parser #parsing
  6. treeedbgen-souffle-csharp

    从 C# tree-sitter 语法生成 Soufflé 类型和相关关系

    v0.1.0-rc.5 #datalog #c-sharp #programming-language #souffle #parser #parsing
  7. treeedb-csharp

    从 C# 源代码生成 Datalog 事实

    v0.1.0-rc.5 #datalog #programming-language #c-sharp #souffle #rules #parser #parsing
  8. treeedb-javascript

    从 JavaScript 源代码生成 Datalog 事实

    v0.1.0-rc.5 #datalog #javascript #javascript-parser #souffle #programming-language #parser #parsing
  9. treeedbgen-souffle-javascript

    从 JavaScript tree-sitter 语法生成 Soufflé 类型和相关关系

    v0.1.0-rc.5 #javascript #datalog #javascript-parser #souffle #programming-language #parser #parsing
  10. treeedbgen-souffle

    从 tree-sitter 语法生成 Soufflé 类型和相关关系

    v0.1.0-rc.5 #datalog #programming-language #souffle #parser #parsing
  11. treeedbgen-souffle-rust

    从 Rust tree-sitter 语法生成 Soufflé 类型和相关关系

    v0.1.0-rc.5 #datalog #programming-language #souffle #parser #rust #parsing
  12. souffle-lint

    Soufflé Datalog 检查器

    v0.4.0 #datalog #linter #souffle
  13. treeedb-c

    从C源代码生成Datalog事实

    v0.1.0-rc.5 #datalog #programming-language #c #souffle #parser #parsers
  14. treeedb-swift

    从Swift源代码生成Datalog事实

    v0.1.0-rc.5 #datalog #swift #programming-language #souffle #parser
  15. treeedb-rust

    从Rust源代码生成Datalog事实

    v0.1.0-rc.5 #datalog #souffle #programming-language #rust #parser #parsing
  16. 尝试使用DuckDuckGo搜索

  17. treereduce-souffle

    Soufflé的快速、并行、语法感知程序缩减器

    v0.3.0 #test-cases #minimization #test-case-reduction #souffle #program-reducer #data-source