egladysh / metamath

Related projects ⓘ

Alternatives and complementary repositories for metamath

• pfalcon / awesome-implicit-data-structures
  Awesome implicit data structures
  ☆23Updated 5 years ago
• ThePhD / phd
  A collection of useful things; sometimes proofs of concepts, sometimes production-ready code.
  ☆19Updated 4 years ago
• node-dot-cpp / memory-safe-cpp
  A C++ dialect with optional memory safety guarantees (provides memory safety for node.cpp)
  ☆22Updated 11 months ago
• philsquared / scape
  A header-only, modern C++, library for terminal colours and cursor manipulation
  ☆17Updated 6 years ago
• ericniebler / fpxx
  sandbox for my c++ functional programming experiments
  ☆34Updated 11 years ago
• p-groarke / clamp_cast
  A saturating arithmetic cast.
  ☆12Updated 5 years ago
• Ginxss / tfds
  A collection of data structures in C++
  ☆18Updated 2 years ago
• gammasoft71 / tunit
  Modern c++17 unit testing framework on Microsoft Windows, Apple macOS, Linux, iOS and android.
  ☆11Updated 3 years ago
• lloda / ra-ra
  A C++23 array / expression template library with some J/APL features
  ☆25Updated last month
• purpleKarrot / build-containers
  ☆33Updated last month
• kobalicek / mpsl
  Shader-Like Mathematical Expression JIT Engine for C++ Language
  ☆58Updated 5 years ago
• pfultz2 / ZLang
  A plugin framework for namespace macros in C/C++
  ☆35Updated 10 years ago
• copperspice / doxypressapp
  GUI application for DoxyPress
  ☆24Updated last month
• benkard / cellspp
  A simple dataflow library for C++.
  ☆27Updated 6 years ago
• seanbaxter / mgpu-shaders
  moderngpu algorithms for C++ shaders
  ☆16Updated 3 years ago
• haberman / dumpfp
  A small little tool for dumping a floating-point number in its native format
  ☆55Updated 9 years ago
• hostilefork / nocycle
  Directed Acyclic Graph For C++ With Cached Transitive Closure
  ☆29Updated 5 years ago
• BowenFu / mathiu.cpp
  mathiu : a simple computer algebra system in C++.
  ☆80Updated 3 years ago
• bluescarni / obake
  A C++20 library for the symbolic manipulation of sparse polynomials & co.
  ☆22Updated last month
• SteveZhangSZ / ConstexprCircularQueue
  Single Header Constexpr Circular Queue
  ☆17Updated 4 years ago
• progschj / reziretsar
  A simple triangle rasterizer
  ☆17Updated 10 years ago
• karroffel / cfstructs
  A collection of cache-friendly data structures in C++, without any dependencies.
  ☆22Updated 6 years ago
• calebzulawski / symtool
  Manipulate static symbols in ELF and Mach-O objects
  ☆16Updated 2 years ago
• emsr / quadrature
  This is a C++ quadrature library reengineered from GSL and with new things added such as double exponential methods.
  ☆10Updated 2 years ago
• stand-art / jaxn
  JAXN: A standard for extended JSON
  ☆19Updated 3 years ago
• vittorioromeo / unosolo
  Work-in-progress Rust application that converts C++ header-only libraries to single self-contained headers.
  ☆26Updated 5 years ago
• hniemeyer / IntroToConcepts
  My Talk on C++20's Concepts
  ☆23Updated 4 years ago
• jermp / mm_file
  A self-contained, header-only, implementation of memory-mapped files in C++ for fast integration into larger projects.
  ☆25Updated 3 months ago