Topic: verification Goto Github
Some thing interesting about verification
Some thing interesting about verification
verification,:white_check_mark: A Go library for email verification without sending any emails.
Organization: aftership
verification,Automatic verification of LLVM optimizations
Organization: alivetoolkit
verification,APALACHE: symbolic model checker for TLA+ and Quint
Organization: apalache-mc
Home Page: https://apalache-mc.org/
verification,A List of Free and Open Source Hardware Verification Tools and Frameworks
User: ben-marshall
verification,cocotb, a coroutine based cosimulation library for writing VHDL and Verilog testbenches in Python
Organization: cocotb
Home Page: https://www.cocotb.org
verification,immudb - immutable database based on zero trust, SQL/Key-Value/Document model, tamperproof, data change history
Organization: codenotary
Home Page: https://immudb.io
verification,Creusot helps you prove your code is correct in an automated fashion.
Organization: creusot-rs
verification,Dafny is a verification-aware programming language
Organization: dafny-lang
Home Page: https://dafny.org
verification,Fast and efficient ed25519 signing and verification in Rust.
Organization: dalek-cryptography
verification,Bug-free machine learning on stochastic computation graphs
User: dselsam
verification,Decentralized Solidity contract source code verification service
Organization: ethereum
Home Page: https://sourcify.dev
verification,A Proof-oriented Programming Language
Organization: fstarlang
Home Page: https://www.fstar-lang.org
verification,KaRaMeL is a tool for extracting low-level F* programs to readable C code
Organization: fstarlang
verification,Open Source License Key Generation and Verification Tool written in Go
User: furkansenharputlu
verification,⚔ Go package for data validation and filtering. support Map, Struct, Form data. Go通用的数据验证与过滤库,使用简单,内置大部分常用验证、过滤器,支持自定义验证器、自定义消息、字段翻译。
Organization: gookit
Home Page: https://gookit.github.io/validate/
verification,HACL*, a formally verified cryptographic library written in F*
Organization: hacl-star
verification,OpenSource GPU, in Verilog, loosely based on RISC-V ISA
User: hughperkins
verification,Witness is a pluggable framework for software supply chain risk management. It automates, normalizes, and verifies software artifact provenance.
Organization: in-toto
Home Page: https://witness.dev
verification,The Rapid Open Hardware Development (ROHD) framework is a framework for describing and verifying hardware in the Dart programming language.
Organization: intel
Home Page: https://intel.github.io/rohd-website
verification,Links to tools by subject
User: johnyf
verification,Lean Theorem Prover
Organization: leanprover
Home Page: http://leanprover.github.io/
verification,My own notes (drafts mostly) about software quality
User: ligurio
Home Page: https://github.com/ligurio/sqa-wiki/wiki
verification,A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
Organization: magmide
verification,mocking library for Kotlin
Organization: mockk
Home Page: https://mockk.io
verification,Kani Rust Verifier
Organization: model-checking
Home Page: https://model-checking.github.io/kani
verification,An advanced SAT solver
User: msoos
Home Page: https://www.msoos.org
verification,Functional verification project for the CORE-V family of RISC-V cores.
Organization: openhwgroup
Home Page: https://docs.openhwgroup.org/projects/core-v-verif/en/latest/index.html
verification,The OWASP MASVS (Mobile Application Security Verification Standard) is the industry standard for mobile app security.
Organization: owasp
Home Page: https://mas.owasp.org/
verification,Enables your consumer driven contracts workflow
Organization: pact-foundation
Home Page: http://pactflow.io
verification,Verified Software Toolchain
Organization: princetonuniversity
Home Page: https://vst.cs.princeton.edu
verification,pySMT: A library for SMT formulae manipulation and solving
Organization: pysmt
Home Page: http://www.pysmt.org
verification,CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
User: sarsko
verification,SeaHorn Verification Framework
Organization: seahorn
Home Page: http://seahorn.github.io/
verification,🔒Unified API for password hashing algorithms
User: simonepri
Home Page: https://www.npmjs.com/upash
verification,SMACK Software Verifier and Verification Toolchain
Organization: smackers
Home Page: http://smackers.github.io
verification,Android library for phone number verification feature in your app. Automatically copies verification code from SMS right into the app. Made by Stfalcon
Organization: stfalcon-studio
Home Page: https://stfalcon.com
verification,Simple Theorem Prover, an efficient SMT solver for bitvectors
Organization: stp
Home Page: https://stp.github.io/
verification,Flutter package to create Pin code input text field with every pixel customization possibility 🎨 with beautiful animations, iOS autofill, Android autofill
User: tkko
Home Page: https://pub.dev/packages/pinput
verification,TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
Organization: tlaplus
Home Page: https://lamport.azurewebsites.net/tla/tla.html
verification,Find, verify, and analyze leaked credentials
Organization: trufflesecurity
Home Page: https://trufflesecurity.com
verification,:email: :white_check_mark: A Fast and Free Email Verification API written in Go
Organization: trumail
Home Page: https://trumail.io
verification,Pluggable type-checking for Java
Organization: typetools
Home Page: http://checkerframework.org/
verification,Liquid Types For Haskell
Organization: ucsd-progsys
verification,RISC-V CPU Core (RV32IM)
User: ultraembedded
verification,A static verifier for Rust, based on the Viper verification infrastructure.
Organization: viperproject
Home Page: http://prusti.org
verification,IP Core Library - Published and maintained by the Chair for VLSI Design, Diagnostics and Architecture, Faculty of Computer Science, Technische Universität Dresden, Germany
Organization: vlsi-eda
Home Page: https://tu-dresden.de/ing/informatik/ti/vlsi
verification,VUnit is a unit testing framework for VHDL/SystemVerilog
Organization: vunit
Home Page: http://vunit.github.io/
verification,A boilerplate for Node.js apps / Rest API / Authentication from scratch - express, mongodb (mongoose). Typescript
User: watscho
verification,By completing image puzzle game, TTGPuzzleVerify is a more user-friendly verification tool on iOS, which is highly customizable and easy to use. 体验更友好的拼图验证控件
User: zekunyan
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.