egladysh / metamathLinks
Meta mathematics. Symbolic functions and derivatives.
☆32Updated 7 years ago
Alternatives and similar repositories for metamath
Users that are interested in metamath are comparing it to the libraries listed below
Sorting:
- A saturating arithmetic cast.☆12Updated 6 years ago
- A collection of cache-friendly data structures in C++, without any dependencies.☆23Updated 7 years ago
- Shader-Like Mathematical Expression JIT Engine for C++ Language☆58Updated 5 years ago
- A header-only, modern C++, library for terminal colours and cursor manipulation☆17Updated 7 years ago
- A small C++17 library inspired by Category Theory.☆16Updated 2 years ago
- Slides for my 2019 presentation at C++ on Sea☆13Updated 3 years ago
- C++ container graph visualization for lldb.☆23Updated 5 years ago
- C++ Club☆16Updated 3 months ago
- Smart pointer for any movable objects. When trackable object moved/destroyed, trackers updated with new object's pointer.☆25Updated 6 years ago
- sandbox for my c++ functional programming experiments☆33Updated 11 years ago
- Get dependencies with cmake☆63Updated 6 years ago
- My Talk on C++20's Concepts☆23Updated 4 years ago
- Similar to python's `repr`, for c++☆32Updated 3 years ago
- Single Header Constexpr Circular Queue☆18Updated 4 years ago
- CppDyn is a library which aims to simplify use of polymorphism in C++20☆19Updated 3 years ago
- A collection of data structures in C++☆18Updated 2 years ago
- C++11 provides chainable and iterable object for uniform die casts. Useful for statistics or table top RPG simulations.☆13Updated 6 years ago
- A collection of useful things; sometimes proofs of concepts, sometimes production-ready code.☆20Updated 4 years ago
- A ring_span implementation that allows zero construction and destruction☆16Updated 4 years ago
- ☆11Updated 5 years ago
- C++ testing and mocking framework☆16Updated 3 years ago
- Like std::duration_cast, but without the undefined behaviour☆17Updated last month
- Erased is meant to be a fast and constexpr friendly C++ type erasure implementation☆22Updated 4 months ago
- A lightweight compile-time, header-only, dimensional analysis and unit conversion library built on c++11 with no dependencies☆18Updated 7 years ago
- String to Float Benchmark☆19Updated 6 years ago
- C++11 Header-only continuous-storage Double ended vector implementation similar to STL's std::vector for efficient insertions/removals at…☆14Updated 2 years ago
- Single file utilities for C++.☆30Updated 2 years ago
- parser combinator and AST generator in c++17☆24Updated 2 years ago
- Directed Acyclic Graph For C++ With Cached Transitive Closure☆28Updated 6 years ago
- Class template designed to express optionality without having to sacrifice memory to store additional bool flag☆12Updated last year