토픽 · datalog

datalog

datalog 태그가 달린 추적 중인 오픈소스 리포지토리를 스타 수 순으로 보여줘요.

리포지토리

8

총 스타

11,552

평균 스타

1,444

비중

0.00%

같은 리포지토리에 datalog 태그와 자주 함께 쓰이는 토픽이에요.

최근 라이징

최근 90일 안에 만들어지고 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.
★ 267

#1
cozo ↗@cozodbRust
Datalog을 쿼리에 사용하는 트랜잭셔널 관계형 그래프 벡터 데이터베이스. AI를 위한 해마!
★ 4,104+5최근 7일 스타 변화
#2
logica ↗@EvgSkvJupyter Notebook
Logica는 SQL로 컴파일되는 로직 프로그래밍 언어입니다. DuckDB, Google BigQuery, PostgreSQL 및 SQLite에서 실행됩니다.
★ 2,132+1최근 7일 스타 변화
#3
datahike ↗@replikativClojure
모두를 위한 버전 관리 지원, 고성능 분산 Datalog 엔진
★ 1,869+5최근 7일 스타 변화
#4
souffle ↗@souffle-langC++
Soufflé는 Horn 절에서 분석을 만드는 도구 설계자를 위한 Datalog의 변형입니다. Soufflé는 논리 사양에서 네이티브 병렬 C++ 프로그램을 생성합니다.
★ 1,155+3최근 7일 스타 변화
#5
securify2 ↗@eth-sriSolidity
Securify v2.0
★ 633-3최근 7일 스타 변화
#6
ascent ↗@s-arashRust
Rust로 구현된 논리 프로그래밍
★ 579+3최근 7일 스타 변화
#7
semantic-python-overview ↗@pysemtec
Python 및 시맨틱 기술(RDF, OWL, 추론 등)과 관련된 프로젝트에 대한 (주관적인) 개요입니다.
★ 550+0최근 7일 스타 변화
#8
crepe ↗@ekzhangRust
Rust의 절차적 매크로로 구현된 Datalog 컴파일러
★ 530+0최근 7일 스타 변화

← 토픽 목록으로