トピック · smt

smt

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

リポジトリ

9

総スター数

10,082

平均スター数

1,120

シェア

0.00%

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

最近の急上昇

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

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

#1
FStar ↗@FStarLangF*
証明指向プログラミング言語
★ 3,103+4直近 7 日のスター増減
#2
liquidhaskell ↗@ucsd-progsysHaskell
Haskellのためのリキッド型付けシステム
★ 1,334+1直近 7 日のスター増減
#3
py2many ↗@py2manyPython
Python をさまざまな言語に変換するトランスパイラ
★ 1,308+0直近 7 日のスター増減
#4
alive2 ↗@AliveToolkitC++
LLVM 最適化の自動検証
★ 1,163+2直近 7 日のスター増減
#5
jlcparts ↗@yaqwsxPython
JLC PCB実装で利用可能な部品の優れたパラメトリック検索
★ 823+6直近 7 日のスター増減
#6
pysmt ↗@pysmtPython
pySMT: SMT 数式の操作および解決のためのライブラリ
★ 638+0直近 7 日のスター増減
#7
apalache ↗@apalache-mcScala
APALACHE: TLA+ および Quint 用のシンボリックモデルチェッカー
★ 596+3直近 7 日のスター増減
#8
stp ↗@stpC++
ビットベクター、浮動小数点数、配列に対応した効率的な SMT ソルバー「Simple Theorem Prover」
★ 588+1直近 7 日のスター増減
#9
z3.rs ↗@prove-rsRust
Z3 ソルバー用の Rust バインディング
★ 533+1直近 7 日のスター増減

← トピック一覧に戻る