209 results found Sort:
- Filter by Primary Language:
- Python (33)
- C++ (16)
- TypeScript (13)
- Java (12)
- JavaScript (11)
- Go (11)
- Scala (9)
- Rust (8)
- OCaml (6)
- Coq (6)
- Jupyter Notebook (6)
- C# (6)
- PHP (6)
- VHDL (5)
- Haskell (5)
- Swift (5)
- C (5)
- Verilog (4)
- Dart (4)
- Kotlin (3)
- SystemVerilog (3)
- Julia (2)
- Ruby (2)
- HTML (2)
- F* (2)
- Lean (1)
- Circom (1)
- CSS (1)
- Elixir (1)
- Erlang (1)
- Isabelle (1)
- Assembly (1)
- Logos (1)
- MATLAB (1)
- Objective-C (1)
- R (1)
- Racket (1)
- Shell (1)
- Solidity (1)
- SWIG (1)
- +
Find, verify, and analyze leaked credentials
Created
2016-12-31
3,925 commits to main branch, last one 2 days ago
immudb - immutable database based on zero trust, SQL/Key-Value/Document model, tamperproof, data change history
Created
2019-11-07
4,799 commits to master branch, last one 14 days ago
mocking library for Kotlin
Created
2017-10-17
2,537 commits to master branch, last one 2 days ago
Dafny is a verification-aware programming language
Created
2016-04-16
6,819 commits to master branch, last one 2 days ago
A Proof-oriented Programming Language
Created
2014-04-03
38,622 commits to master branch, last one 5 days ago
Kani Rust Verifier
Created
2021-03-26
2,004 commits to main branch, last one 2 days ago
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
Created
2016-02-02
8,587 commits to master branch, last one 15 days ago
My own notes (drafts mostly) about software quality
Created
2014-05-12
367 commits to master branch, last one 2 years ago
Lean Theorem Prover
This repository has been archived
(exclude archived)
Created
2013-07-17
13,725 commits to master branch, last one about a year ago
The OWASP MASVS (Mobile Application Security Verification Standard) is the industry standard for mobile app security.
Created
2016-09-08
2,846 commits to master branch, last one 7 months ago
cocotb: Python-based chip (RTL) verification
Created
2013-06-12
4,556 commits to master branch, last one 4 days ago
HACL*, a formally verified cryptographic library written in F*
Created
2016-06-23
18,899 commits to main branch, last one 6 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 about a year ago
RISC-V CPU Core (RV32IM)
Created
2014-08-31
48 commits to master branch, last one 3 years ago
:white_check_mark: A Go library for email verification without sending any emails.
Created
2020-12-18
162 commits to main branch, last one 7 months ago
Creusot helps you prove your code is correct in an automated fashion.
Created
2021-01-25
3,320 commits to master branch, last one 4 days ago
Liquid Types For Haskell
Created
2012-09-22
13,119 commits to develop branch, last one 16 days ago
⚔ Go package for data validation and filtering. support Map, Struct, Form data. Go通用的数据验证与过滤库，使用简单，内置大部分常用验证、过滤器，支持自定义验证器、自定义消息、字段翻译。
Created
2018-07-16
492 commits to master branch, last one 14 days ago
Pluggable type-checking for Java
Created
2015-07-03
19,205 commits to master branch, last one a day 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
OpenSource GPU, in Verilog, loosely based on RISC-V ISA
Created
2022-03-01
841 commits to main branch, last one 4 months ago
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
Created
2021-05-28
4,048 commits to main branch, last one 4 days ago
Automatic verification of LLVM optimizations
Created
2018-06-09
2,513 commits to master branch, last one 7 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 4 years ago
An advanced SAT solver
Created
2012-03-13
17,041 commits to master branch, last one about a month ago
Source code verification service for Ethereum smart contracts
Created
2019-04-24
3,248 commits to staging branch, last one 3 days 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 about a year ago
Open Source License Key Generation and Verification Tool written in Go
Created
2019-11-27
65 commits to master branch, last one about a year 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
267 commits to master branch, last one 2 months ago
VUnit is a unit testing framework for VHDL/SystemVerilog
Created
2014-11-18
2,126 commits to master branch, last one about a month ago