195 results found Sort:
- Filter by Primary Language:
- Python (30)
- C++ (16)
- Java (12)
- TypeScript (11)
- Go (11)
- JavaScript (10)
- Scala (9)
- Rust (8)
- PHP (6)
- Coq (6)
- C# (5)
- Haskell (5)
- OCaml (5)
- Swift (5)
- Jupyter Notebook (5)
- C (5)
- Verilog (4)
- VHDL (4)
- Dart (3)
- Kotlin (3)
- HTML (2)
- Ruby (2)
- Julia (2)
- F* (2)
- SystemVerilog (2)
- Lean (1)
- Circom (1)
- CSS (1)
- Elixir (1)
- Erlang (1)
- Isabelle (1)
- Assembly (1)
- Logos (1)
- MATLAB (1)
- Objective-C (1)
- Racket (1)
- Shell (1)
- Solidity (1)
- SWIG (1)
- TLA (1)
- +
Find, verify, and analyze leaked credentials
Created
2016-12-31
3,642 commits to main branch, last one 18 hours ago
immudb - immutable database based on zero trust, SQL/Key-Value/Document model, tamperproof, data change history
Created
2019-11-07
4,785 commits to master branch, last one 2 months ago
mocking library for Kotlin
Created
2017-10-17
2,478 commits to master branch, last one about a month ago
Dafny is a verification-aware programming language
Created
2016-04-16
6,687 commits to master branch, last one 19 hours ago
A Proof-oriented Programming Language
Created
2014-04-03
37,870 commits to master branch, last one 16 hours ago
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
Created
2016-02-02
8,477 commits to master branch, last one 2 days ago
My own notes (drafts mostly) about software quality
Created
2014-05-12
367 commits to master branch, last one about a year ago
Kani Rust Verifier
Created
2021-03-26
1,829 commits to main branch, last one a day 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 2 months ago
cocotb, a coroutine based cosimulation library for writing VHDL and Verilog testbenches in Python
Created
2013-06-12
4,277 commits to master branch, last one 2 days ago
HACL*, a formally verified cryptographic library written in F*
Created
2016-06-23
18,763 commits to main branch, last one 11 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 7 months 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 2 months ago
Liquid Types For Haskell
Created
2012-09-22
12,811 commits to develop branch, last one 5 days ago
Creusot helps you prove your code is correct in an automated fashion.
Created
2021-01-25
2,810 commits to master branch, last one 22 hours ago
⚔ Go package for data validation and filtering. support Map, Struct, Form data. Go通用的数据验证与过滤库，使用简单，内置大部分常用验证、过滤器，支持自定义验证器、自定义消息、字段翻译。
Created
2018-07-16
483 commits to master branch, last one 4 months 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
Pluggable type-checking for Java
Created
2015-07-03
19,077 commits to master branch, last one 19 hours 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
OpenSource GPU, in Verilog, loosely based on RISC-V ISA
Created
2022-03-01
835 commits to main branch, last one 5 months ago
An advanced SAT solver
Created
2012-03-13
17,032 commits to master branch, last one 26 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 7 months ago
Open Source License Key Generation and Verification Tool written in Go
Created
2019-11-27
65 commits to master branch, last one 8 months ago
Automatic verification of LLVM optimizations
Created
2018-06-09
2,397 commits to master branch, last one 20 hours ago
Decentralized Solidity contract source code verification service
Created
2019-04-24
3,037 commits to staging branch, last one a day 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
263 commits to master branch, last one 3 months ago
VUnit is a unit testing framework for VHDL/SystemVerilog
Created
2014-11-18
2,098 commits to master branch, last one 16 days ago
Enables your consumer driven contracts workflow
Created
2013-10-24
3,997 commits to master branch, last one 27 days ago