egladysh / metamath

Related projects ⓘ

Alternatives and complementary repositories for metamath

• DrCpp / DrMock
  C++ testing and mocking framework
  ☆16Updated 3 years ago
• rvarago / kitten
  A small C++17 library inspired by Category Theory.
  ☆15Updated last year
• purpleKarrot / build-containers
  ☆33Updated 3 weeks ago
• p-groarke / clamp_cast
  A saturating arithmetic cast.
  ☆12Updated 5 years ago
• aherrmann / rubber_types
  Type-Erasure with merged concepts
  ☆18Updated 10 years ago
• hostilefork / nocycle
  Directed Acyclic Graph For C++ With Cached Transitive Closure
  ☆29Updated 5 years ago
• muellan / containers
  generic C++ containers; matrix, triangle matrix, crs sparse matrix, etc.
  ☆12Updated 6 years ago
• active911 / fastcache
  Wicked fast, thread safe in-memory key/object store for C++
  ☆12Updated 7 years ago
• mattgodbolt / cpponsea-2019
  Slides for my 2019 presentation at C++ on Sea
  ☆13Updated 3 years ago
• Remotion / fmt_extension
  {fmt} support for ranges, containers and types with tuple interface.
  ☆27Updated 6 years ago
• st-gille / semt
  compile time symbolic differentiation via C++ template expressions
  ☆17Updated 2 years ago
• ThePhD / phd
  A collection of useful things; sometimes proofs of concepts, sometimes production-ready code.
  ☆19Updated 4 years ago
• kobalicek / mpsl
  Shader-Like Mathematical Expression JIT Engine for C++ Language
  ☆58Updated 5 years ago
• trumae / spinnercpp
  Simple header only library to add a spinner / progress indicator to any terminal application.
  ☆38Updated 5 years ago
• haberman / dumpfp
  A small little tool for dumping a floating-point number in its native format
  ☆55Updated 9 years ago
• ericniebler / coronet
  Experimental library for coroutines and networking
  ☆16Updated 6 years ago
• philsquared / scape
  A header-only, modern C++, library for terminal colours and cursor manipulation
  ☆17Updated 6 years ago
• mahmoudahmedd / 2D-game
  A game in which social media site has to survive waves of Zombies in SFML C++
  ☆16Updated 4 years ago
• alandefreitas / sympp
  SymPP: A Symbolic Library that compiles itself
  ☆13Updated 3 years ago
• hniemeyer / IntroToConcepts
  My Talk on C++20's Concepts
  ☆23Updated 4 years ago
• ModularMechatronics / plot_tool
  A plotting tool
  ☆32Updated 4 years ago
• Ginxss / tfds
  A collection of data structures in C++
  ☆18Updated 2 years ago
• mmha / bibi
  Implementation of the C++ Standard Library Concepts
  ☆13Updated 7 years ago
• tonypilz / units
  A lightweight compile-time, header-only, dimensional analysis and unit conversion library built on c++11 with no dependencies
  ☆17Updated 7 years ago
• DavidAce / CMakeTemplate
  A template for building C++ projects using modern CMake with Conan integration
  ☆18Updated 5 months ago
• MoserMichael / cppcombinator
  parser combinator and AST generator in c++17
  ☆24Updated last year
• Dwarfobserver / AggregatesToTuples
  C++ header-only library which enable using aggregates like tuples
  ☆24Updated 6 years ago
• szymonmaszke / numpp
  Research library for compile time optimization
  ☆12Updated 5 years ago