Zum Hauptinhalt springen
buildradar
Sign in
Thema · verification

verification

Erfasste Open-Source-Repos mit dem Tag verification, sortiert nach Sternen.

Repos
39
Sterne gesamt
91.597
Sterne im Schnitt
2.349
Anteil
0,00%

Verwandte Themen

Themen, die häufig gemeinsam mit verification am selben Repo auftauchen.

Neue Aufsteiger

Repos, die in den letzten 90 Tagen erstellt und mit verification getaggt wurden.

In den letzten 90 Tagen kam kein neues Repo mit diesem Thema dazu.

  • trufflehog↗@trufflesecurity

    Finden, verifizieren und analysieren Sie kompromittierte Anmeldeinformationen.

    ★ 27.628+82Sterne-Änderung der letzten 7 Tage
  • immudb↗@codenotary

    immudb – unveränderbare Datenbank basierend auf Zero Trust, SQL/Key-Value/Document-Modell, manipulationssicher, Datenänderungshistorie

    ★ 9.024+4Sterne-Änderung der letzten 7 Tage
  • mockk↗@mockk

    Mocking-Bibliothek für Kotlin

    ★ 5.758-1Sterne-Änderung der letzten 7 Tage
  • dafny↗@dafny-lang

    Dafny ist eine verifikationsbewusste Programmiersprache

    ★ 3.519+11Sterne-Änderung der letzten 7 Tage
  • kani↗@model-checking

    Kani Rust Verifier

    ★ 3.354+20Sterne-Änderung der letzten 7 Tage
  • FStar↗@FStarLang

    Eine auf Beweise ausgerichtete Programmiersprache

    ★ 3.099-1Sterne-Änderung der letzten 7 Tage
  • tlaplus↗@tlaplus

    TLC ist ein Modellprüfer für in TLA+ geschriebene Spezifikationen. Die TLA+ Toolbox ist eine IDE für TLA+.

    ★ 3.019+11Sterne-Änderung der letzten 7 Tage
  • cocotb↗@cocotb

    cocotb: Python-basierte Chip- (RTL) Verifikation

    ★ 2.486+7Sterne-Änderung der letzten 7 Tage
  • masvs↗@OWASP

    Der OWASP MASVS (Mobile Application Security Verification Standard) ist der Branchenstandard für die Sicherheit von mobilen Apps.

    ★ 2.440+4Sterne-Änderung der letzten 7 Tage
  • go-captcha↗@wenlng

    🖖 GoCaptcha: Eine performante, interaktive Verhaltens-Captcha-Bibliothek für Go. Unterstützt Klick-, Schiebe-, Drag-and-Drop- und Rotationsmodi, um Ihre Anwendungen mühelos zu schützen.

    ★ 2.412+8Sterne-Änderung der letzten 7 Tage
  • hacl-star↗@hacl-star

    HACL*, eine formal verifizierte kryptografische Bibliothek, geschrieben in F*

    ★ 1.836+0Sterne-Änderung der letzten 7 Tage
  • creusot↗@creusot-rs

    Creusot hilft Ihnen zu beweisen, dass Ihr Rust-Code korrekt ist.

    ★ 1.834+4Sterne-Änderung der letzten 7 Tage
  • prusti-dev↗@viperproject

    Ein statischer Verifizierer für Rust, basierend auf der Viper-Verifizierungsinfrastruktur.

    ★ 1.807+3Sterne-Änderung der letzten 7 Tage
  • quint↗@quint-co

    Eine ausführbare Spezifikationssprache mit hervorragenden Werkzeugen basierend auf der Temporalen Logik der Aktionen (TLA)

    ★ 1.645+15Sterne-Änderung der letzten 7 Tage
  • email-verifier↗@AfterShip

    :white_check_mark: Eine Go-Bibliothek zur E-Mail-Verifizierung, ohne E-Mails zu senden.

    ★ 1.609+9Sterne-Änderung der letzten 7 Tage
  • VeriGPU↗@hughperkins

    Open-Source-GPU in Verilog, grob basierend auf der RISC-V-ISA

    ★ 1.366+1Sterne-Änderung der letzten 7 Tage
  • liquidhaskell↗@ucsd-progsys

    Liquid Types für Haskell.

    ★ 1.334+2Sterne-Änderung der letzten 7 Tage
  • validate↗@gookit

    Ein Go-Paket zur Datenvalidierung und -filterung. Unterstützt Map-, Struct- und Formular-Daten.

    ★ 1.164+0Sterne-Änderung der letzten 7 Tage
  • alive2↗@AliveToolkit

    Automatische Verifizierung von LLVM-Optimierungen

    ★ 1.162+5Sterne-Änderung der letzten 7 Tage
  • AppVerifier↗@soupslurpr

    Apps einfach verifizieren.

    ★ 1.153+5Sterne-Änderung der letzten 7 Tage
  • checker-framework↗@typetools

    Erweiterbare Typenprüfung für Java

    ★ 1.149+3Sterne-Änderung der letzten 7 Tage
  • sourcify↗@argotorg

    Quellcode-Verifizierungsdienst für Ethereum Smart Contracts

    ★ 949+4Sterne-Änderung der letzten 7 Tage
  • cryptominisat↗@msoos

    Ein fortschrittlicher SAT-Solver

    ★ 940+1Sterne-Änderung der letzten 7 Tage
  • Flutter_Pinput↗@Tkko

    Flutter-Paket zum Erstellen eines PIN-Code-Eingabefelds mit vollständigen Anpassungsmöglichkeiten für jeden Pixel 🎨, wunderschönen Animationen sowie iOS- und Android-Autofill

    ★ 856+0Sterne-Änderung der letzten 7 Tage
  • vunit↗@VUnit

    VUnit ist ein Unit-Test-Framework für VHDL/SystemVerilog

    ★ 845+1Sterne-Änderung der letzten 7 Tage
  • magmide↗@magmide

    Eine abhängig typisierte Beweissprache, die es Softwareentwicklern ermöglichen soll, nachweislich korrekten Bare-Metal-Code zu schreiben.

    ★ 835+0Sterne-Änderung der letzten 7 Tage
  • f-license↗@furkansenharputlu

    Open-Source-Tool zum Generieren und Verifizieren von Lizenzschlüsseln, geschrieben in Go

    ★ 824+1Sterne-Änderung der letzten 7 Tage
  • pact_broker↗@pact-foundation

    Ermöglicht Ihren Consumer-Driven-Contracts-Workflow

    ★ 745+1Sterne-Änderung der letzten 7 Tage
  • core-v-verif↗@openhwgroup

    Funktionales Verifikationsprojekt für die CORE-V-Familie von RISC-V-Kernen.

    ★ 715+3Sterne-Änderung der letzten 7 Tage
  • ed25519-dalek↗@dalek-cryptography

    ARCHIVIERT/VERSCHOBEN: Bitte besuchen Sie den neuen Standort

    ★ 704+0Sterne-Änderung der letzten 7 Tage
← Zurück zu den Themen