mattgodbolt / correct-by-construction

Related projects: ⓘ

• mattgodbolt / cpponsea-2019
  Slides for my 2019 presentation at C++ on Sea
  ☆13Updated 3 years ago
• skeeto / siphash
  ☆18Updated this week
• pr0g / c-handle-container
  little test driven handle library in c
  ☆11Updated 3 years ago
• michaeljclark / crefl
  crefl is a runtime library and compiler plug-in to support reflection in C.
  ☆37Updated 2 weeks ago
• piperchester / cpp-btree
  Optimized for systems that read and write large blobs.
  ☆12Updated 9 years ago
• pfultz2 / ZLang
  A plugin framework for namespace macros in C/C++
  ☆35Updated 10 years ago
• turbo / nuTLS
  ☆38Updated this week
• hu55a1n1 / dod
  Tools to facilitate data-oriented design in C99.
  ☆41Updated 4 years ago
• karroffel / cfstructs
  A collection of cache-friendly data structures in C++, without any dependencies.
  ☆21Updated 6 years ago
• mikey-b / linear_pool_allocator
  ☆11Updated 2 years ago
• jeremycw / corc
  Stackless coroutine compiler for C
  ☆45Updated 4 years ago
• NanXiao / ump
  A universal thread-safe memory pool.
  ☆26Updated 6 years ago
• biojppm / cmany
  Easily batch-build cmake projects!
  ☆17Updated 4 months ago
• s3cur3 / llvm-data-structure-benchmarks
  A benchmark for cache efficient data structures.
  ☆28Updated 5 years ago
• GrieferAtWork / tpp
  Tiny PreProcessor
  ☆16Updated 5 months ago
• rollbear / typical
  Highly composable C++17 template meta programming library
  ☆39Updated 5 years ago
• skarupke / reflection
  ☆30Updated 8 years ago
• MoserMichael / cppcombinator
  parser combinator and AST generator in c++17
  ☆24Updated last year
• skeeto / rlhk
  Roguelike Header Kit
  ☆26Updated 5 years ago
• WojciechMula / ternary-logic
  Support for ternary logic in SSE, XOP, AVX2 and x86 programs
  ☆30Updated 3 years ago
• origamicomet / loom
  Lightweight task scheduler. Public domain.
  ☆18Updated 7 years ago
• noporpoise / msg-pool
  Multiple Producers / Multiple Consumers Message Passing Pool
  ☆19Updated 9 years ago
• mjansson / memory_lib
  Lock-free memory allocator
  ☆17Updated 10 months ago
• fmtlib / format-benchmark
  A collection of formatting benchmarks
  ☆43Updated last month
• nullgemm / mpiric
  portable, fast, approximate math functions
  ☆28Updated 2 years ago
• rurban / libu8ident
  unicode security guidelines for identifiers
  ☆18Updated last year
• GrieferAtWork / dcc
  Direct/Interactive C Compiler
  ☆25Updated 7 years ago
• TheMaverickProgrammer / UniformDieCast
  C++11 provides chainable and iterable object for uniform die casts. Useful for statistics or table top RPG simulations.
  ☆12Updated 5 years ago
• brunocodutra / alloy
  Embrace (post) modern C++
  ☆9Updated 2 years ago
• bdonlan / branchless-utf8
  Branchless UTF-8 decoder
  ☆33Updated 6 years ago