Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 C Plus Plus Verification Open Source Projects

Open source projects categorized as C Plus Plus Verification
Categories > Programming Languages > C Plus Plus
Categories > Software Quality > Verification
Cryptominisat ⭐ 767
An advanced SAT solver
dependent packages 2total releases 1most recent commit 3 months ago
Alive2 ⭐ 634
Automatic verification of LLVM optimizations
most recent commit 3 months ago
Stoke ⭐ 562
STOKE: A stochastic superoptimizer and program synthesizer
most recent commit 3 years ago
Stp ⭐ 477
Simple Theorem Prover, an efficient SMT solver for bitvectors
most recent commit 4 months ago
Systemc ⭐ 379
SystemC Reference Implementation
most recent commit 3 months ago
Smack ⭐ 367
SMACK Software Verifier and Verification Toolchain
most recent commit 2 years ago
Bls Signatures ⭐ 286
BLS signatures in C++, using the blst library for BLS12-381
dependent packages 18total releases 89most recent commit 3 months agopypi blspy} Downloads
Bark ⭐ 265
Open-Source Framework for Development, Simulation and Benchmarking of Behavior Planning Algorithms for Autonomous Driving
dependent packages 1total releases 48most recent commit 3 months agopypi bark-simulator} Downloads
Crab ⭐ 199
A library for building abstract interpretation-based analyses
most recent commit 7 months ago
Sea Dsa ⭐ 143
A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.
most recent commit 7 months ago
Ed25519 Donna ⭐ 132
Implementations of a fast Elliptic-curve Digital Signature Algorithm
most recent commit 4 years ago
Logic ⭐ 121
CMake, SystemVerilog and SystemC utilities for creating, building and testing RTL projects for FPGAs and ASICs.
most recent commit 4 years ago
Uthenticode ⭐ 121
A cross-platform library for verifying Authenticode signatures
most recent commit 3 months ago
Equihash ⭐ 112
Equihash: memory-hard PoW with fast verification
most recent commit 8 years ago
Text Detection ⭐ 103
Text Detection System with MSER , SWT and Text Verification
most recent commit 9 years ago
Lightmetrica V3 ⭐ 94
A research-oriented renderer
most recent commit 3 years ago
Windows Fido Bridge ⭐ 91
An OpenSSH SK middleware that allows you to use a FIDO/U2F security key (e.g. a YubiKey) to SSH into a remote server from WSL or Cygwin.
most recent commit 2 years ago
Mqt Qcec ⭐ 81
MQT QCEC - A tool for Quantum Circuit Equivalence Checking
dependent packages 1total releases 29most recent commit 16 days agopypi mqt.qcec} Downloads
Biggrep ⭐ 73
A scalable search index for binary files
most recent commit 6 years ago
Groot ⭐ 72
Static verification tool for DNS zone files
most recent commit a year ago
Vera ⭐ 69
A programmable tool for verification, analysis and transformation of C++ source code
most recent commit 4 years ago
Victron.arduino Esp8266 ⭐ 64
Code to read the VE.Direct-Protocol from serial into a value array. Uses a non-blocking read loop and does checksum verification before adding the data.
most recent commit 3 years ago
Double Free Examples ⭐ 56
Basic examples of double free exploitation/etc functionality in glibc/jemalloc/tcmalloc
most recent commit 7 years ago
The 4 Most Depended On C Plus Plus Verification Open Source Projects
Bls Signatures ⭐ 286
BLS signatures in C++, using the blst library for BLS12-381
dependent packages 18total releases 89latest release August 17, 2023most recent commit 3 months agopypi blspy} Downloads
Cryptominisat ⭐ 767
An advanced SAT solver
dependent packages 2total releases 1latest release January 25, 2019most recent commit 3 months ago
Bark ⭐ 265
Open-Source Framework for Development, Simulation and Benchmarking of Behavior Planning Algorithms for Autonomous Driving
dependent packages 1total releases 48latest release April 10, 2022most recent commit 3 months agopypi bark-simulator} Downloads
Mqt Qcec ⭐ 81
MQT QCEC - A tool for Quantum Circuit Equivalence Checking
dependent packages 1total releases 29latest release November 09, 2023most recent commit 16 days agopypi mqt.qcec} Downloads
The 8 Latest Releases In C Plus Plus Verification Open Source Projects
Mqt Qcec ⭐ 81
MQT QCEC - A tool for Quantum Circuit Equivalence Checking
dependent packages 1total releases 29latest release November 09, 2023most recent commit 16 days agopypi mqt.qcec} Downloads
Flutter_verification_code ⭐ 23
A Flutter package that help you create a verification input.
total releases 25latest release September 11, 2023most recent commit 7 months ago
Bls Signatures ⭐ 286
BLS signatures in C++, using the blst library for BLS12-381
dependent packages 18total releases 89latest release August 17, 2023most recent commit 3 months agopypi blspy} Downloads
Veritas ⭐ 14
Versatile Verification of Tree Ensembles
total releases 3latest release June 18, 2022most recent commit 6 months ago
Bark ⭐ 265
Open-Source Framework for Development, Simulation and Benchmarking of Behavior Planning Algorithms for Autonomous Driving
dependent packages 1total releases 48latest release April 10, 2022most recent commit 3 months agopypi bark-simulator} Downloads
Go Bls ⭐ 14
DEPRECATED. Go wrapper for a BLS12-381 Signature Aggregation implementation in C++
total releases 1latest release February 11, 2019most recent commit 5 years ago
Cryptominisat ⭐ 767
An advanced SAT solver
dependent packages 2total releases 1latest release January 25, 2019most recent commit 3 months ago
Popular Programming Languages Categories
Python
Javascript
Java
Typescript
C Plus Plus
Php
Golang
C
C Sharp
Shell
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.