196 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)
- Jupyter Notebook (6)
- C (5)
- Swift (5)
- Haskell (5)
- OCaml (5)
- C# (5)
- Verilog (4)
- VHDL (4)
- Dart (3)
- Kotlin (3)
- Ruby (2)
- F* (2)
- Julia (2)
- HTML (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,765 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,793 commits to master branch, last one 8 days ago
mocking library for Kotlin
Created
2017-10-17
2,487 commits to master branch, last one a day ago
Dafny is a verification-aware programming language
Created
2016-04-16
6,731 commits to master branch, last one 19 hours ago
A Proof-oriented Programming Language
Created
2014-04-03
37,957 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,501 commits to master branch, last one 4 days ago
Kani Rust Verifier
Created
2021-03-26
1,862 commits to main 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 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 3 months ago
cocotb, a coroutine based cosimulation library for writing VHDL and Verilog testbenches in Python
Created
2013-06-12
4,293 commits to master branch, last one 2 days ago
HACL*, a formally verified cryptographic library written in F*
Created
2016-06-23
18,774 commits to main branch, last one 4 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 9 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 3 months ago
Liquid Types For Haskell
Created
2012-09-22
12,948 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,977 commits to master branch, last one a day ago
⚔ Go package for data validation and filtering. support Map, Struct, Form data. Go通用的数据验证与过滤库，使用简单，内置大部分常用验证、过滤器，支持自定义验证器、自定义消息、字段翻译。
Created
2018-07-16
487 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
Pluggable type-checking for Java
Created
2015-07-03
19,120 commits to master branch, last one 2 days ago
OpenSource GPU, in Verilog, loosely based on RISC-V ISA
Created
2022-03-01
841 commits to main branch, last one 29 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
An advanced SAT solver
Created
2012-03-13
17,034 commits to master branch, last one 11 days ago
Automatic verification of LLVM optimizations
Created
2018-06-09
2,452 commits to master branch, last one 23 hours 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 8 months ago
Open Source License Key Generation and Verification Tool written in Go
Created
2019-11-27
65 commits to master branch, last one 9 months ago
Decentralized Solidity contract source code verification service
Created
2019-04-24
3,065 commits to staging branch, last one 4 days 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 4 months ago
VUnit is a unit testing framework for VHDL/SystemVerilog
Created
2014-11-18
2,109 commits to master branch, last one 7 days ago
Enables your consumer driven contracts workflow
Created
2013-10-24
4,001 commits to master branch, last one 23 days ago