Topik · logic-programming

logic-programming

Repositori open source terpantau bertanda logic-programming, diurutkan berdasarkan bintang.

Repositori

Total bintang

12.389

Rata-rata bintang

953

Porsi

0,00%

Topik yang sering muncul berdampingan dengan logic-programming di repositori yang sama.

Yang sedang naik

Repositori yang dibuat dalam 90 hari terakhir dan bertanda logic-programming.

Tidak ada repositori baru bertanda topik ini dalam 90 hari terakhir.

#1
logica ↗@EvgSkvJupyter Notebook
Logica adalah bahasa pemrograman logika yang dikompilasi ke SQL. Berjalan di DuckDB, Google BigQuery, PostgreSQL, dan SQLite.
★ 2.132+0Perubahan bintang dalam 7 hari terakhir
#2
the-power-of-prolog ↗@triskaHTML
Kekuatan Prolog: Pengantar Prolog modern
★ 1.402+2Perubahan bintang dalam 7 hari terakhir
#3
swipl-devel ↗@SWI-PrologC
Repositori pengembangan utama SWI-Prolog
★ 1.278+4Perubahan bintang dalam 7 hari terakhir
#4
souffle ↗@souffle-langC++
Soufflé adalah varian dari Datalog untuk perancang alat yang membuat analisis dalam klausa Horn. Soufflé mensintesis program C++ paralel asli dari spesifikasi logika.
★ 1.155+3Perubahan bintang dalam 7 hari terakhir
#5
atomspace ↗@opencogC++
Basis data (hyper-)graph dan sistem penulisan ulang graf OpenCog
★ 995+2Perubahan bintang dalam 7 hari terakhir
#6
streamly ↗@composewellHaskell
Pemrograman fungsional berkinerja tinggi, streaming, dan konkuren dalam Haskell
★ 923+0Perubahan bintang dalam 7 hari terakhir
#7
clingo ↗@potasscoC++
Penyusun dan pemecah masalah untuk program logika.
★ 828+4Perubahan bintang dalam 7 hari terakhir
#8
Nucleoid ↗@NucleoidAIRust
Bahasa Logika untuk LLM 🌱🐋 Bangun Model Dunia 🌍
★ 769+1Perubahan bintang dalam 7 hari terakhir
#9
prolog ↗@ichibanGo
Satu-satunya mesin skrip yang masuk akal untuk Go.
★ 729+0Perubahan bintang dalam 7 hari terakhir
#10
ascent ↗@s-arashRust
Pemrograman logika di Rust
★ 578+2Perubahan bintang dalam 7 hari terakhir
#11
pyswip ↗@yucePython
PySwip adalah antarmuka Python-Prolog yang memungkinkan kueri SWI-Prolog dalam program Python Anda.
★ 550+1Perubahan bintang dalam 7 hari terakhir
#12
z3.rs ↗@prove-rsRust
Binding Rust untuk solver Z3.
★ 532+0Perubahan bintang dalam 7 hari terakhir
#13
crepe ↗@ekzhangRust
Kompiler Datalog yang disematkan dalam Rust sebagai makro prosedural.
★ 530+1Perubahan bintang dalam 7 hari terakhir

← Kembali ke topik

Topik terkait

Yang sedang naik