plasma-umass / cwhy

Related projects ⓘ

Alternatives and complementary repositories for cwhy

• OfekShilon / optview2
  User-oriented fork of LLVM's opt-viewer
  ☆131Updated 2 months ago
• qlibs / mph
  C++20 [Minimal] Static Perfect Hash library
  ☆178Updated last month
• tcbrindle / flux
  A C++20 library for sequence-orientated programming
  ☆528Updated this week
• qlibs / mp
  C++20 Meta-Programming library
  ☆246Updated last week
• qlibs / sml
  C++20 State Machine library
  ☆173Updated 2 months ago
• snitch-org / snitch
  Lightweight C++20 testing framework.
  ☆264Updated this week
• ConorWilliams / libfork
  A bleeding-edge, lock-free, wait-free, continuation-stealing tasking library built on C++20's coroutines
  ☆615Updated last month
• intel / cpp-baremetal-senders-and-receivers
  An implementation of C++ "senders and receivers" async framework suitable for embedded platforms.
  ☆197Updated this week
• jeremy-rifkin / libassert
  The most over-engineered C++ assertion library
  ☆545Updated last month
• peter-winter / ctpg
  Compile Time Parser Generator is a C++ single header library which takes a language description as a C++ code and turns it into a LR1 tab…
  ☆459Updated 2 months ago
• thecppzoo / zoo
  Zoo library
  ☆102Updated 2 months ago
• hanickadot / cthash
  constexpr implementation of SHA-2 and SHA-3 family of hashes
  ☆187Updated 3 weeks ago
• vitaut / modules
  Simple C++20 module support for CMake
  ☆209Updated last year
• hanickadot / co_curl
  ☆69Updated this week
• rollbear / strong_type
  An additive strong typedef library for C++14/17/20
  ☆418Updated last week
• steve-downey / papers
  Source for papers and proposals
  ☆74Updated last month
• p-ranav / criterion
  Microbenchmarking for Modern C++
  ☆211Updated 4 years ago
• intel / safe-arithmetic
  Safe arithmetic library for C++20 and above. Safe arithmetic ensures correctness of arithmetic operations at compile-time. It protects ag…
  ☆88Updated 3 weeks ago
• lefticus / json2cpp
  Compiles JSON into static constexpr C++ data structures with nlohmann::json API
  ☆259Updated 6 months ago
• VincentZalzal / noisy
  A C++ type to trace calls to special member functions.
  ☆98Updated 6 months ago
• qlibs / reflect
  C++20 Static Reflection library
  ☆322Updated last month
• mdadams / clang_libraries_companion
  Companion Repository for the Lecture Slides for the Clang Libraries
  ☆88Updated 8 months ago
• Compaile / ctrack
  A lightweight, high-performance C++ benchmarking and tracking library for effortless function profiling in both development and productio…
  ☆139Updated last week
• ldionne / metabench
  A simple framework for compile-time benchmarks
  ☆183Updated 3 years ago
• cppalliance / mrdocs
  MrDocs: A Clang/LLVM tool for building reference documentation from C++ code and javadoc comments.
  ☆80Updated this week
• fabian-jung / tsmp
  ☆96Updated 5 months ago
• hdoc / hdoc
  The modern documentation tool for C++.
  ☆310Updated 3 months ago
• mapbox / eternal
  A C++14 compile-time/constexpr map and hash map with minimal binary footprint
  ☆204Updated 2 years ago
• kvasir-io / mpl
  Meta programming library designed for compilation speed.
  ☆167Updated 2 years ago
• jfalcou / eve
  Expressive Vector Engine - SIMD in C++ Goes Brrrr
  ☆964Updated this week
• Kaaserne / cpp-lazy
  C++11/14/17/20 library for lazy evaluation
  ☆338Updated this week