ddddocr rust 版本,ocr_api_server rust 版本,二进制版本,验证码识别,不依赖 opencv 库,跨平台运行,a simple OCR API server, very easy to deploy。
-
Updated
May 8, 2024 - Rust
ddddocr rust 版本,ocr_api_server rust 版本,二进制版本,验证码识别,不依赖 opencv 库,跨平台运行,a simple OCR API server, very easy to deploy。
Decentralized Solidity contract source code verification service
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
✔️Port of RISCOF to check the NEORV32 for RISC-V ISA compatibility.
Runtime Verification JavaScript Library that supports serialization as JSON.
HACL*, a formally verified cryptographic library written in F*
My PhD thesis
Katamaran is a semi-automated separation logic verifier for the Sail specification language. It works on an embedded version of Sail called μSail and verifies separation logic-based contracts of functions by generating (succinct) first-order verification conditions.
Verification framework and tool for higher-order Scala programs
RiVer Core is an open source Python based RISC-V Core Verification framework.
CPAchecker, the Configurable Software-Verification Platform (read-only mirror)
Website for the SPLV summer school series
xspcomm 对基于DPI的数字电路接口进行了封装,并提供多种高级语言操作接口
Quantum-Resistant Cryptographic Hash Library for Password Hashing and Verification
Automatic verification of LLVM optimizations
Symbolic-execution-based verifier for the Viper intermediate verification language.
SystemVerilog UVM testbench example
Find and verify secrets
Verification-condition-generation-based verifier for the Viper intermediate verification language.
Witness is a pluggable framework for software supply chain risk management. It automates, normalizes, and verifies software artifact provenance.
Add a description, image, and links to the verification topic page so that developers can more easily learn about it.
To associate your repository with the verification topic, visit your repo's landing page and select "manage topics."