トピック · logic-programming

logic-programming

logic-programming がタグ付けされた追跡中のオープンソースリポジトリを、スター数順に表示します。

リポジトリ

総スター数

12,403

平均スター数

954

0.00%

logic-programming と同じリポジトリに頻繁に登場するトピック。

最近の急上昇

直近 90 日以内に作成され、logic-programming がタグ付けされたリポジトリ。

直近 90 日以内に、このトピックがタグ付けされた新しいリポジトリはありません。

#1
logica ↗@EvgSkvJupyter Notebook
LogicaはSQLにコンパイルされる論理プログラミング言語です。DuckDB、Google BigQuery、PostgreSQL、SQLite上で動作します。
★ 2,132+2直近 7 日のスター増減
#2
the-power-of-prolog ↗@triskaHTML
The Power of Prolog：現代的なPrologの入門
★ 1,402+1直近 7 日のスター増減
#3
swipl-devel ↗@SWI-PrologC
SWI-Prolog のメイン開発リポジトリ。
★ 1,278+1直近 7 日のスター増減
#4
souffle ↗@souffle-langC++
Soufflé は、ホーン節で解析を作成するツール設計者向けの Datalog のバリアントです。論理仕様からネイティブな並列 C++ プログラムを合成します。
★ 1,155+3直近 7 日のスター増減
#5
atomspace ↗@opencogC++
OpenCog（ハイパー）グラフデータベースおよびグラフ書き換えシステム
★ 995+3直近 7 日のスター増減
#6
streamly ↗@composewellHaskell
Haskell による高性能、ストリーミング、並行関数型プログラミング
★ 923+1直近 7 日のスター増減
#7
clingo ↗@potasscoC++
🦉 論理プログラム用グラウンダーおよびソルバー。
★ 829+1直近 7 日のスター増減
#8
Nucleoid ↗@NucleoidAIRust
LLMのための論理言語 🌱🐋 ワールドモデルを構築 🌍
★ 769+1直近 7 日のスター増減
#9
prolog ↗@ichibanGo
Go 言語向けの唯一まともなスクリプトエンジン。
★ 729+1直近 7 日のスター増減
#10
ascent ↗@s-arashRust
Rust による論理プログラミング
★ 578+3直近 7 日のスター増減
#11
pyswip ↗@yucePython
PySwip は、Python プログラムから SWI-Prolog へのクエリ実行を可能にする Python-Prolog インターフェースです。
★ 550+0直近 7 日のスター増減
#12
z3.rs ↗@prove-rsRust
Z3 ソルバー用の Rust バインディング
★ 533+1直近 7 日のスター増減
#13
crepe ↗@ekzhangRust
プロシージャルマクロとしてRustに組み込まれたDatalogコンパイラ
★ 530+1直近 7 日のスター増減

← トピック一覧に戻る

関連トピック

最近の急上昇