egladysh / metamath
Meta mathematics. Symbolic functions and derivatives.
☆32Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for metamath
- C++ testing and mocking framework☆16Updated 3 years ago
- A small C++17 library inspired by Category Theory.☆15Updated last year
- ☆33Updated 3 weeks ago
- A saturating arithmetic cast.☆12Updated 5 years ago
- Type-Erasure with merged concepts☆18Updated 10 years ago
- Directed Acyclic Graph For C++ With Cached Transitive Closure☆29Updated 5 years ago
- generic C++ containers; matrix, triangle matrix, crs sparse matrix, etc.☆12Updated 6 years ago
- Wicked fast, thread safe in-memory key/object store for C++☆12Updated 7 years ago
- Slides for my 2019 presentation at C++ on Sea☆13Updated 3 years ago
- {fmt} support for ranges, containers and types with tuple interface.☆27Updated 6 years ago
- compile time symbolic differentiation via C++ template expressions☆17Updated 2 years ago
- A collection of useful things; sometimes proofs of concepts, sometimes production-ready code.☆19Updated 4 years ago
- Shader-Like Mathematical Expression JIT Engine for C++ Language☆58Updated 5 years ago
- Simple header only library to add a spinner / progress indicator to any terminal application.☆38Updated 5 years ago
- A small little tool for dumping a floating-point number in its native format☆55Updated 9 years ago
- Experimental library for coroutines and networking☆16Updated 6 years ago
- A header-only, modern C++, library for terminal colours and cursor manipulation☆17Updated 6 years ago
- A game in which social media site has to survive waves of Zombies in SFML C++☆16Updated 4 years ago
- SymPP: A Symbolic Library that compiles itself☆13Updated 3 years ago
- My Talk on C++20's Concepts☆23Updated 4 years ago
- A plotting tool☆32Updated 4 years ago
- A collection of data structures in C++☆18Updated 2 years ago
- Implementation of the C++ Standard Library Concepts☆13Updated 7 years ago
- A lightweight compile-time, header-only, dimensional analysis and unit conversion library built on c++11 with no dependencies☆17Updated 7 years ago
- A template for building C++ projects using modern CMake with Conan integration☆18Updated 5 months ago
- parser combinator and AST generator in c++17☆24Updated last year
- C++ header-only library which enable using aggregates like tuples☆24Updated 6 years ago
- Research library for compile time optimization☆12Updated 5 years ago