Seahorn
| Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
|---|---|---|---|---|---|---|---|---|---|---|
| H3 | 4,437 | 3 months ago | 3 | September 16, 2022 | 100 | apache-2.0 | C | |||
| Hexagonal hierarchical geospatial indexing system | ||||||||||
| Moderncppstarter | 3,781 | 4 months ago | 18 | unlicense | CMake | |||||
| 🚀 Kick-start your C++! A template for modern C++ projects using CMake, CI, code coverage, clang-format, reproducible dependency management and much more. | ||||||||||
| Cmake Init | 1,584 | 3 months ago | 47 | December 03, 2023 | 16 | gpl-3.0 | CMake | |||
| The missing CMake project initializer | ||||||||||
| Modern Cpp Template | 1,467 | 6 months ago | 8 | unlicense | CMake | |||||
| A template for modern C++ projects using CMake, Clang-Format, CI, unit testing and more, with support for downstream inclusion. | ||||||||||
| Cpp Project | 551 | 10 months ago | 1 | unlicense | CMake | |||||
| Boiler plate template for C++ projects, with CMake, Doctest, Travis CI, Appveyor, Github Actions and coverage reports. | ||||||||||
| Cmake Scripts | 489 | 8 months ago | 8 | apache-2.0 | CMake | |||||
| A selection of useful scripts for use in CMake projects, include code coverage, sanitizers, and dependency graph generation. | ||||||||||
| Seahorn | 391 | 6 months ago | 20 | other | C | |||||
| SeaHorn Verification Framework | ||||||||||
| Ci_helloworld | 330 | 4 years ago | 7 | mit | C++ | |||||
| A simple example of how to setup a complete CI environment for C and C++ | ||||||||||
| Cpp Boilerplate | 273 | a year ago | 1 | mit | CMake | |||||
| A small c++ template with modern CMake | ||||||||||
| Gtest Demo | 225 | 3 years ago | bsd-3-clause | CMake | ||||||
| Unit test demo using Google Test. | ||||||||||
Alternatives To SeahornSelect To Compare
Alternative Project Comparisons
Popular Cmake Projects
Popular Code Coverage Projects
Popular Build Tools Categories
Related Searches
Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
C
Cmake
Code Coverage
Llvm
Clang
Heap
Static Analysis
Program Analysis
Model Checking