Tópico · smt

smt

Repositórios de código aberto acompanhados marcados com smt, ordenados por estrelas.

Repositórios

9

Total de estrelas

10.082

Média de estrelas

1.120

Participação

0,00%

Tópicos que aparecem com frequência ao lado de smt no mesmo repositório.

Em ascensão recentemente

Repositórios criados nos últimos 90 dias e marcados com smt.

Nenhum repositório novo marcado com este tópico nos últimos 90 dias.

#1
FStar ↗@FStarLangF*
Uma linguagem de programação orientada a provas.
★ 3.103+4Variação de estrelas nos últimos 7 dias
#2
liquidhaskell ↗@ucsd-progsysHaskell
Liquid Types para Haskell
★ 1.334+1Variação de estrelas nos últimos 7 dias
#3
py2many ↗@py2manyPython
Transpilador de Python para várias outras linguagens
★ 1.308+0Variação de estrelas nos últimos 7 dias
#4
alive2 ↗@AliveToolkitC++
Verificação automática de otimizações do LLVM
★ 1.163+2Variação de estrelas nos últimos 7 dias
#5
jlcparts ↗@yaqwsxPython
Melhor busca paramétrica para componentes disponíveis para montagem de PCB na JLC
★ 825+6Variação de estrelas nos últimos 7 dias
#6
pysmt ↗@pysmtPython
pySMT: Uma biblioteca para manipulação e resolução de fórmulas SMT
★ 638+0Variação de estrelas nos últimos 7 dias
#7
apalache ↗@apalache-mcScala
APALACHE: verificador de modelo simbólico para TLA+ e Quint.
★ 596+3Variação de estrelas nos últimos 7 dias
#8
stp ↗@stpC++
Simple Theorem Prover, um resolvedor SMT eficiente para vetores de bits, ponto flutuante e matrizes.
★ 588+1Variação de estrelas nos últimos 7 dias
#9
z3.rs ↗@prove-rsRust
Bindings em Rust para o solver Z3.
★ 533+1Variação de estrelas nos últimos 7 dias

← Voltar para os tópicos