GeezerVisonThe World Wide Web, restored to 800 pixels of glory. |
| Home|About|Gaming cabinet|Archives|How it works|Starter sites |
GeezerVison is showing github.com — Build software better, together
#
verificationHere are 5,893 public repositories matching this topic...Language: All
Filter by language
Sort: Most stars
Sort options
Find, verify, and analyze leaked credentials
security credentials secret secret-management verification secrets dynamic-analysis scanning precommit security-tools devsecops trufflehog
immudb - immutable database based on zero trust, SQL/Key-Value/Document model, tamperproof, data change history
go verify performance immutable sql database key-value verification pci-dss cryptographic compliance merkle-tree immutable-database gdpr zero-trust timetravel tamper-evident auditable tamperproof
mocking library for Kotlin
kotlin testing mock tdd verification matcher mocking-framework hacktoberfest chain-calls argument-matchers
Dafny is a verification-aware programming language
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
A Proof-oriented Programming Language
programming-language dependent-types ocaml theorem-proving verification f-sharp proof-assistant smt c-language fstar interactive-theorem-proving program-proof dijkstra-monads
The OWASP MASVS (Mobile Application Security Verification Standard) is the industry standard for mobile app security.
security security-audit mobile gitbook verification audit owasp ios-app standard penetration-testing android-app security-standards penetration-tests mstg masvs mastg
🖖 GoCaptcha: A high-performance, interactive behavior captcha library for Go. Supporting click, slide, drag-drop, and rotation modes to secure your applications with ease.
go golang security middleware base64 captcha verification image-captcha behavior-analysis captcha-generator click-captcha slider-captcha base64-captcha drag-drop-captcha rotation-captcha
My own notes (drafts mostly) about software quality
testing learning verification courses model-checking formal-methods quality-assurance ebooks software-testing tla
Lean Theorem Prover
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
language verification specification formal-methods formal-verification specification-language tlaplus quint apalache
Creusot helps you prove your Rust code is correct.
rust proof verification rust-lang formal-methods contracts formal-verification deductive-reasoning why3
HACL*, a formally verified cryptographic library written in F*
security cryptography high-performance verification formal-methods verified-primitives formal-verification everest inria hacl
A static verifier for Rust, based on the Viper verification infrastructure.
RISC-V CPU Core (RV32IM)
✅ A Go library for email verification without sending any emails.
OpenSource GPU, in Verilog, loosely based on RISC-V ISA
machine-learning gpu verification verilog gpu-acceleration hardware-designs risc-v asic-design risc-v-assembly
Add this topic to your repoTo associate your repository with the verification topic, visit your repo's landing page and select "manage topics." |
| You are visitor 01402503 — GeezerVison does not store the pages you look up. Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required. |