Alternatives and similar repositories for STS1_COBC_SW

Users that are interested in STS1_COBC_SW are comparing it to the libraries listed below

• NASA-SW-VnV / ikos
  Static analyzer for C/C++ based on the theory of Abstract Interpretation.
  ☆3,108Updated 9 months ago
• siu / minunit
  Minimal unit testing framework for C
  ☆625Updated 2 years ago
• nemequ / munit
  µnit is a small testing framework for C
  ☆696Updated last year
• ThrowTheSwitch / CMock
  Mock/stub generator for C
  ☆796Updated 2 weeks ago
• ridiculousfish / libdivide
  Official git repository for libdivide: optimized integer division
  ☆1,291Updated this week
• libcheck / check
  A unit testing framework for C
  ☆1,151Updated last year
• embeddedartistry / embedded-resources
  Embedded Artistry Templates, Documents, and Source Code
  ☆660Updated last year
• pfultz2 / Cloak
  A mini-preprocessor library to demostrate the recursive capabilites of the preprocessor
  ☆970Updated 5 years ago
• ThrowTheSwitch / Unity
  Simple unit testing for C
  ☆5,036Updated 2 weeks ago
• ThrowTheSwitch / CException
  Lightweight exception implementation for C
  ☆355Updated 11 months ago
• diffblue / cbmc
  C Bounded Model Checker
  ☆1,012Updated last week
• niklasso / minisat
  A minimalistic and high-performance SAT solver
  ☆1,140Updated last year
• sercantutar / infint
  Arbitrary-Precision Integer Arithmetic
  ☆203Updated 2 years ago
• meekrosoft / fff
  A testing micro framework for creating function test doubles
  ☆899Updated 2 years ago
• nemequ / portable-snippets
  Collection of miscellaneous portable C snippets.
  ☆745Updated 2 years ago
• bvdberg / ctest
  ctest is a unit test framework for software written in C.
  ☆245Updated last week
• bilke / cmake-modules
  Additional CMake functionality. Most of the modules are from Ryan Pavlik (https://github.com/rpavlik/cmake-modules)
  ☆585Updated 3 months ago
• mity / acutest
  Simple header-only C/C++ unit testing facility.
  ☆385Updated last year
• vector-of-bool / pitchfork
  Pitchfork is a Set of C++ Project Conventions
  ☆1,228Updated last year
• lefticus / cpp_box
  ☆310Updated 5 years ago
• cpputest / cpputest
  CppUTest unit testing and mocking framework for C/C++
  ☆1,469Updated 2 weeks ago
• ETLCPP / etl
  Embedded Template Library
  ☆2,859Updated this week
• nholthaus / units
  a compile-time, header-only, dimensional analysis and unit conversion library built on c++14 with no dependencies.
  ☆1,038Updated last month
• nemequ / hedley
  A C/C++ header to help move #ifdefs out of your code
  ☆884Updated last year
• sheredom / utest.h
  🧪 single header unit testing framework for C and C++
  ☆946Updated 5 months ago
• osue-tuwien / osue-tuwien.github.com
  OSUE Wiki and GitHub Page of osue-tuwien
  ☆15Updated 9 years ago
• kvasir-io / Kvasir
  C++ Metaprogramming library enabling better static checking and register abstraction in embedded software
  ☆421Updated 5 years ago
• Morwenn / cpp-sort
  Sorting algorithms & related tools for C++
  ☆695Updated 2 weeks ago
• ilqvya / random
  Random for modern C++ with convenient API
  ☆948Updated 3 weeks ago
• Snaipe / Criterion
  A cross-platform C and C++ unit testing framework for the 21st century
  ☆2,227Updated 3 months ago