Tópico · sat
sat
Repositórios de código aberto acompanhados marcados com sat, ordenados por estrelas.
Repositórios
3
Total de estrelas
3.365
Média de estrelas
1.122
Participação
0,00%
Tópicos relacionados
Tópicos que aparecem com frequência ao lado de sat no mesmo repositório.
Em ascensão recentemente
Repositórios criados nos últimos 90 dias e marcados com sat.
Nenhum repositório novo marcado com este tópico nos últimos 90 dias.
- #1
Palavras em inglês, vocabulário para exames CET4, CET6, pós-graduação e SAT, em arquivos txt e json.
★ 1.911+28Variação de estrelas nos últimos 7 dias - #2
Melhorando a experiência do Factorio com resolvedores SAT
★ 774+0Variação de estrelas nos últimos 7 dias - #3
CreuSAT - Um resolvedor SAT formalmente verificado, escrito em Rust e verificado com Creusot.
★ 696+5Variação de estrelas nos últimos 7 dias
