Tema · smt

smt

Repositorios de código abierto monitorizados etiquetados con smt, ordenados por estrellas.

Repositorios

9

Estrellas totales

10.082

Estrellas de media

1120

Proporción

0,00%

Temas que aparecen con frecuencia junto a smt en un mismo repositorio.

Emergentes recientes

Repositorios creados en los últimos 90 días, etiquetados con smt.

No hay repositorios nuevos con este tema en los últimos 90 días.

#1
FStar ↗@FStarLangF*
Un lenguaje de programación orientado a pruebas
★ 3103+4Variación de estrellas de los últimos 7 días
#2
liquidhaskell ↗@ucsd-progsysHaskell
Tipos líquidos para Haskell.
★ 1334+1Variación de estrellas de los últimos 7 días
#3
py2many ↗@py2manyPython
Transpilador de Python a muchos otros lenguajes.
★ 1308+0Variación de estrellas de los últimos 7 días
#4
alive2 ↗@AliveToolkitC++
Verificación automática de optimizaciones de LLVM.
★ 1163+2Variación de estrellas de los últimos 7 días
#5
jlcparts ↗@yaqwsxPython
Búsqueda paramétrica mejorada para componentes disponibles en el ensamblaje de PCB de JLC.
★ 823+6Variación de estrellas de los últimos 7 días
#6
pysmt ↗@pysmtPython
pySMT: Una biblioteca para la manipulación y resolución de fórmulas SMT.
★ 638+0Variación de estrellas de los últimos 7 días
#7
apalache ↗@apalache-mcScala
APALACHE: verificador de modelos simbólicos para TLA+ y Quint
★ 596+2Variación de estrellas de los últimos 7 días
#8
stp ↗@stpC++
Simple Theorem Prover, un solver SMT eficiente para vectores de bits, punto flotante y arreglos.
★ 588+1Variación de estrellas de los últimos 7 días
#9
z3.rs ↗@prove-rsRust
Enlaces de Rust para el solver Z3.
★ 533+1Variación de estrellas de los últimos 7 días

← Volver a temas