Chủ đề · datalog

datalog

Các kho mã nguồn mở đang theo dõi được gắn thẻ datalog, sắp xếp theo số sao.

Kho mã

Tổng số sao

11.538

Số sao trung bình

1.442

Tỷ trọng

0,00%

Những chủ đề thường xuất hiện cùng datalog trên cùng một kho mã.

Mới nổi gần đây

Các kho mã tạo trong 90 ngày qua và được gắn thẻ datalog.

#1
lemmalog ↗@JordyZomerRust
A Datalog engine for LLM agent memory: stratified rules, provenance-tracked facts, incremental derivation, and an MCP server that lets your harness use it as a shared brain.
★ 257

#1
cozo ↗@cozodbRust
Một cơ sở dữ liệu giao dịch, đồ thị quan hệ và vector sử dụng Datalog để truy vấn. Phần hồi hải mã cho AI!
★ 4.102+7Thay đổi số sao trong 7 ngày qua
#2
logica ↗@EvgSkvJupyter Notebook
Logica là một ngôn ngữ lập trình logic biên dịch thành SQL. Nó chạy trên DuckDB, Google BigQuery, PostgreSQL và SQLite.
★ 2.132+0Thay đổi số sao trong 7 ngày qua
#3
datahike ↗@replikativClojure
Công cụ Datalog phân tán, nhanh và có phiên bản dành cho mọi người.
★ 1.868+2Thay đổi số sao trong 7 ngày qua
#4
souffle ↗@souffle-langC++
Soufflé là một biến thể của Datalog dành cho các nhà thiết kế công cụ tạo ra các phân tích bằng mệnh đề Horn. Soufflé tổng hợp một chương trình C++ song song gốc từ đặc tả logic.
★ 1.155+3Thay đổi số sao trong 7 ngày qua
#5
securify2 ↗@eth-sriSolidity
Securify v2.0
★ 634+0Thay đổi số sao trong 7 ngày qua
#6
ascent ↗@s-arashRust
Lập trình logic bằng Rust
★ 578+2Thay đổi số sao trong 7 ngày qua
#7
semantic-python-overview ↗@pysemtec
Tổng quan (chủ quan) về các dự án liên quan đến cả Python và công nghệ ngữ nghĩa (RDF, OWL, Reasoning, ...).
★ 550+0Thay đổi số sao trong 7 ngày qua
#8
crepe ↗@ekzhangRust
Trình biên dịch Datalog được nhúng trong Rust dưới dạng macro thủ tục
★ 530+1Thay đổi số sao trong 7 ngày qua