विषय · datalog

datalog

datalog टैग वाली ट्रैक की गई ओपन सोर्स रिपॉजिटरी, स्टार के हिसाब से क्रमबद्ध।

रिपॉजिटरी

कुल स्टार

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é, हॉर्न क्लॉज़ में विश्लेषण तैयार करने वाले टूल डिज़ाइनरों के लिए Datalog का एक वेरिएंट है। Soufflé एक लॉजिक स्पेसिफिकेशन से एक नेटिव पैरेलल C++ प्रोग्राम तैयार करता है।
★ 1,155+3पिछले 7 दिनों में स्टार का बदलाव
#5
securify2 ↗@eth-sriSolidity
Securify v2.0
★ 633-3पिछले 7 दिनों में स्टार का बदलाव
#6
ascent ↗@s-arashRust
Rust में लॉजिक प्रोग्रामिंग
★ 580+3पिछले 7 दिनों में स्टार का बदलाव
#7
semantic-python-overview ↗@pysemtec
(व्यक्तिपरक) उन प्रोजेक्ट्स का अवलोकन जो पायथन और सिमेंटिक टेक्नोलॉजीज (RDF, OWL, रीजनिंग, ...) दोनों से संबंधित हैं
★ 550+0पिछले 7 दिनों में स्टार का बदलाव
#8
crepe ↗@ekzhangRust
Rust में प्रोसीजरल मैक्रो के रूप में एम्बेडेड Datalog कंपाइलर
★ 530+0पिछले 7 दिनों में स्टार का बदलाव

← विषयों पर वापस

मिलते-जुलते विषय

हाल में उभरे