토픽 · 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을 위한 Liquid Types
★ 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+2최근 7일 스타 변화
#8
stp ↗@stpC++
비트벡터, 부동 소수점 및 배열을 위한 효율적인 SMT 솔버인 Simple Theorem Prover
★ 588+1최근 7일 스타 변화
#9
z3.rs ↗@prove-rsRust
Z3 솔버를 위한 Rust 바인딩입니다.
★ 533+1최근 7일 스타 변화

← 토픽 목록으로