Tema · sat
sat
Repositorios de código abierto monitorizados etiquetados con sat, ordenados por estrellas.
Repositorios
3
Estrellas totales
3365
Estrellas de media
1122
Proporción
0,00%
Temas relacionados
Temas que aparecen con frecuencia junto a sat en un mismo repositorio.
Emergentes recientes
Repositorios creados en los últimos 90 días, etiquetados con sat.
No hay repositorios nuevos con este tema en los últimos 90 días.
- #1
Palabras en inglés, vocabulario para CET4, CET6, exámenes de posgrado y SAT, archivos txt, archivos json.
★ 1911+28Variación de estrellas de los últimos 7 días - #2
Mejorando la experiencia de Factorio con solucionadores SAT.
★ 774+0Variación de estrellas de los últimos 7 días - #3
CreuSAT: un solucionador SAT verificado formalmente escrito en Rust y verificado con Creusot.
★ 696+5Variación de estrellas de los últimos 7 días
