Topik · smt

smt

Repositori open source terpantau bertanda smt, diurutkan berdasarkan bintang.

Repositori

9

Total bintang

10.082

Rata-rata bintang

1.120

Porsi

0,00%

Topik yang sering muncul berdampingan dengan smt di repositori yang sama.

Yang sedang naik

Repositori yang dibuat dalam 90 hari terakhir dan bertanda smt.

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

#1
FStar ↗@FStarLangF*
Bahasa pemrograman yang berorientasi pada pembuktian
★ 3.103+4Perubahan bintang dalam 7 hari terakhir
#2
liquidhaskell ↗@ucsd-progsysHaskell
Tipe Liquid untuk Haskell
★ 1.334+1Perubahan bintang dalam 7 hari terakhir
#3
py2many ↗@py2manyPython
Transpiler Python ke berbagai bahasa lain
★ 1.308+0Perubahan bintang dalam 7 hari terakhir
#4
alive2 ↗@AliveToolkitC++
Verifikasi otomatis dari optimasi LLVM
★ 1.163+2Perubahan bintang dalam 7 hari terakhir
#5
jlcparts ↗@yaqwsxPython
Pencarian parametrik yang lebih baik untuk komponen yang tersedia di perakitan PCB JLC.
★ 825+6Perubahan bintang dalam 7 hari terakhir
#6
pysmt ↗@pysmtPython
pySMT: Pustaka untuk manipulasi dan pemecahan rumus SMT
★ 638+0Perubahan bintang dalam 7 hari terakhir
#7
apalache ↗@apalache-mcScala
APALACHE: pemeriksa model simbolik untuk TLA+ dan Quint
★ 596+3Perubahan bintang dalam 7 hari terakhir
#8
stp ↗@stpC++
Simple Theorem Prover, pemecah SMT yang efisien untuk bitvector, floating-point, dan array.
★ 588+1Perubahan bintang dalam 7 hari terakhir
#9
z3.rs ↗@prove-rsRust
Binding Rust untuk solver Z3.
★ 533+1Perubahan bintang dalam 7 hari terakhir

← Kembali ke topik