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:
- Shader-Like Mathematical Expression JIT Engine for C++ Language☆59Updated 6 years ago
- Implicit and module-aware build system for future C++☆20Updated 9 years ago
- A header-only, modern C++, library for terminal colours and cursor manipulation☆17Updated 7 years ago
- Live Asynchronous Visualized Architecture☆97Updated 6 years ago
- Compile-time Checked, Type-Safe Formatting in C++14☆37Updated 8 years ago
- Named arguments for C++17☆31Updated 2 months ago
- arbitrary precision arithmetic library☆44Updated 6 years ago
- Like std::duration_cast, but without the undefined behaviour☆17Updated 5 months ago
- Reference implementation of Grisu-Exact in C++☆68Updated 5 years ago
- A small little tool for dumping a floating-point number in its native format☆55Updated 10 years ago
- GUI application for DoxyPress☆25Updated 6 months ago
- Get dependencies with cmake☆63Updated 6 years ago
- Generic 2D graphics library for C++14☆28Updated 8 months ago
- mathiu : a simple computer algebra system in C++.☆80Updated 4 years ago
- A collection of useful things; sometimes proofs of concepts, sometimes production-ready code.☆21Updated 5 years ago
- c++ library for building lightweight processing pipeline at compile-time for string obfuscation, aes ciphering or whatever you want☆68Updated 6 years ago
- Command Line User Experience☆80Updated 5 years ago
- make_heap and sort_heap for a poplar heap with O(1) extra memory☆41Updated last year
- A collection of cache-friendly data structures in C++, without any dependencies.☆23Updated 7 years ago
- A library of tools for compiler construction.☆11Updated 9 years ago
- {fmt} support for ranges, containers and types with tuple interface.☆27Updated 7 years ago
- Experimental library for coroutines and networking☆16Updated 7 years ago
- Self-aware struct-like types in C++11☆46Updated 13 years ago
- Extension of the STL algorithms on sets☆21Updated 6 years ago
- A compile-time linear algebra system for C++☆123Updated 3 years ago
- A saturating arithmetic cast.☆12Updated 6 years ago
- A generic implementation of the BitmaskType C++ concept☆85Updated 5 years ago
- envy: Deserialize environment variables into type-safe structs☆67Updated 5 years ago
- Toolchains for crosscompiling with CMake.☆94Updated 7 months ago
- Header-only C++17 library for evaluating logical expressions.☆87Updated 3 years ago