181 results found Sort:
- Filter by Primary Language:
- Python (28)
- C++ (13)
- Java (12)
- Go (11)
- TypeScript (10)
- JavaScript (9)
- Scala (8)
- Rust (8)
- Coq (6)
- PHP (6)
- C (5)
- Haskell (5)
- C# (5)
- OCaml (5)
- Swift (5)
- Verilog (4)
- VHDL (3)
- Dart (3)
- HTML (3)
- Kotlin (3)
- Julia (2)
- Ruby (2)
- F* (2)
- Jupyter Notebook (2)
- Racket (1)
- Erlang (1)
- Shell (1)
- Solidity (1)
- Elixir (1)
- SystemVerilog (1)
- TLA (1)
- CSS (1)
- Circom (1)
- Lean (1)
- Assembly (1)
- MATLAB (1)
- Objective-C (1)
- Isabelle (1)
- +
Find and verify secrets
Created
2016-12-31
3,187 commits to main branch, last one 5 hours ago
immudb - immutable database based on zero trust, SQL/Key-Value/Document model, tamperproof, data change history
Created
2019-11-07
4,764 commits to master branch, last one 6 days ago
mocking library for Kotlin
Created
2017-10-17
2,428 commits to master branch, last one 21 days ago
Dafny is a verification-aware programming language
Created
2016-04-16
6,543 commits to master branch, last one a day ago
A Proof-oriented Programming Language
Created
2014-04-03
36,757 commits to master branch, last one a day ago
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
Created
2016-02-02
8,334 commits to master branch, last one a day ago
My own notes (drafts mostly) about software quality
Created
2014-05-12
367 commits to master branch, last one about a year ago
Lean Theorem Prover
This repository has been archived
(exclude archived)
Created
2013-07-17
13,725 commits to master branch, last one 8 months ago
Kani Rust Verifier
Created
2021-03-26
1,524 commits to main branch, last one a day ago
The OWASP MASVS (Mobile Application Security Verification Standard) is the industry standard for mobile app security.
Created
2016-09-08
2,837 commits to master branch, last one 29 days ago
cocotb, a coroutine based cosimulation library for writing VHDL and Verilog testbenches in Python
Created
2013-06-12
4,049 commits to master branch, last one a day ago
HACL*, a formally verified cryptographic library written in F*
Created
2016-06-23
18,654 commits to main branch, last one 3 days ago
A static verifier for Rust, based on the Viper verification infrastructure.
Created
2019-05-22
7,315 commits to master branch, last one 2 months ago
Liquid Types For Haskell
Created
2012-09-22
12,339 commits to develop branch, last one 7 days ago
RISC-V CPU Core (RV32IM)
Created
2014-08-31
48 commits to master branch, last one 2 years ago
:white_check_mark: A Go library for email verification without sending any emails.
Created
2020-12-18
151 commits to main branch, last one 5 months ago
Creusot helps you prove your code is correct in an automated fashion.
Created
2021-01-25
2,229 commits to master branch, last one 9 days ago
:email: :white_check_mark: A Fast and Free Email Verification API written in Go
This repository has been archived
(exclude archived)
Created
2017-10-13
121 commits to master branch, last one 6 years ago
⚔ Go package for data validation and filtering. support Map, Struct, Form data. Go通用的数据验证与过滤库,使用简单,内置大部分常用验证、过滤器,支持自定义验证器、自定义消息、字段翻译。
Created
2018-07-16
482 commits to master branch, last one about a month ago
Pluggable type-checking for Java
Created
2015-07-03
18,914 commits to master branch, last one 2 days ago
Android library for phone number verification feature in your app. Automatically copies verification code from SMS right into the app. Made by Stfalcon
Created
2016-08-16
48 commits to master branch, last one 3 years ago
A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
Created
2020-08-21
195 commits to main branch, last one 2 months ago
An advanced SAT solver
Created
2012-03-13
16,962 commits to master branch, last one a day ago
Open Source License Key Generation and Verification Tool written in Go
Created
2019-11-27
65 commits to master branch, last one 3 months ago
Decentralized Solidity contract source code verification service
Created
2019-04-24
2,784 commits to staging branch, last one 12 hours ago
Automatic verification of LLVM optimizations
Created
2018-06-09
2,290 commits to master branch, last one 7 hours ago
Flutter package to create Pin code input text field with every pixel customization possibility 🎨 with beautiful animations, iOS autofill, Android autofill
Created
2018-10-24
261 commits to master branch, last one 6 days ago
Enables your consumer driven contracts workflow
Created
2013-10-24
3,963 commits to master branch, last one 23 days ago
VUnit is a unit testing framework for VHDL/SystemVerilog
Created
2014-11-18
2,059 commits to master branch, last one 3 days ago
Fast and efficient ed25519 signing and verification in Rust.
Created
2016-12-08
484 commits to main branch, last one 10 months ago