verification
Repositórios de código aberto acompanhados marcados com verification, ordenados por estrelas.
Tópicos relacionados
Tópicos que aparecem com frequência ao lado de verification no mesmo repositório.
Em ascensão recentemente
Repositórios criados nos últimos 90 dias e marcados com verification.
- #1
Encontre, verifique e analise credenciais vazadas
★ 27.665+66Variação de estrelas nos últimos 7 dias - #2
immudb - banco de dados imutável baseado em zero trust, modelos SQL/Chave-Valor/Documento, à prova de violação, com histórico de alterações de dados.
★ 9.025+2Variação de estrelas nos últimos 7 dias - #3★ 5.757+0Variação de estrelas nos últimos 7 dias
- #4★ 3.520+3Variação de estrelas nos últimos 7 dias
- #5★ 3.379+36Variação de estrelas nos últimos 7 dias
- #6★ 3.103+3Variação de estrelas nos últimos 7 dias
- #7
TLC é um verificador de modelos para especificações escritas em TLA+. O TLA+Toolbox é uma IDE para TLA+.
★ 3.026+8Variação de estrelas nos últimos 7 dias - #8★ 2.487+4Variação de estrelas nos últimos 7 dias
- #9
O OWASP MASVS (Mobile Application Security Verification Standard) é o padrão da indústria para segurança de aplicativos móveis.
★ 2.441+4Variação de estrelas nos últimos 7 dias - #10
GoCaptcha: Uma biblioteca de captcha comportamental interativa e de alto desempenho para Go. Suporta modos de clique, deslize, arrastar e soltar, e rotação para proteger suas aplicações com facilidade.
★ 2.418+7Variação de estrelas nos últimos 7 dias - #11★ 1.836+3Variação de estrelas nos últimos 7 dias
- #12★ 1.836-1Variação de estrelas nos últimos 7 dias
- #13
Um verificador estático para Rust, baseado na infraestrutura de verificação Viper.
★ 1.809+3Variação de estrelas nos últimos 7 dias - #14
Uma linguagem de especificação executável com ferramentas eficientes baseada na lógica temporal de ações (TLA).
★ 1.654+16Variação de estrelas nos últimos 7 dias - #15
Uma biblioteca Go para verificação de e-mail sem enviar nenhum e-mail.
★ 1.609+2Variação de estrelas nos últimos 7 dias - #16★ 1.367+3Variação de estrelas nos últimos 7 dias
- #17
Liquid Types para Haskell
★ 1.334+1Variação de estrelas nos últimos 7 dias - #18
Pacote Go para validação e filtragem de dados. Suporta Map, Struct e dados de formulário.
★ 1.164+0Variação de estrelas nos últimos 7 dias - #19★ 1.163+4Variação de estrelas nos últimos 7 dias
- #20
Verifique aplicativos facilmente.
★ 1.153-3Variação de estrelas nos últimos 7 dias - #21
Verificação de tipos plugável para Java.
★ 1.149+1Variação de estrelas nos últimos 7 dias - #22★ 949+3Variação de estrelas nos últimos 7 dias
- #23
Stop your AI from making things up — it proposes, deterministic tools decide, every claim checked against ground truth with evidence. Grounded facts and context survive resets. Reverse engineering is the proving ground. MCP server + CLI.
★ 941—Variação de estrelas nos últimos 7 dias - #24
Um SAT solver avançado
★ 940+0Variação de estrelas nos últimos 7 dias - #25
Pacote Flutter para criar campo de texto de entrada de código PIN com possibilidade de personalização de cada pixel 🎨 com belas animações, preenchimento automático para iOS e Android
★ 856+0Variação de estrelas nos últimos 7 dias - #26★ 845+2Variação de estrelas nos últimos 7 dias
- #27
Uma linguagem de prova com tipos dependentes destinada a tornar possível código bare metal comprovadamente correto para engenheiros de software.
★ 835+0Variação de estrelas nos últimos 7 dias - #28
Ferramenta de geração e verificação de chaves de licença de código aberto escrita em Go
★ 824+0Variação de estrelas nos últimos 7 dias - #29
Habilita seu fluxo de trabalho de contratos orientados pelo consumidor
★ 745+0Variação de estrelas nos últimos 7 dias - #30
Projeto de verificação funcional para a família CORE-V de cores RISC-V.
★ 716+2Variação de estrelas nos últimos 7 dias
