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 useful things; sometimes proofs of concepts, sometimes production-ready code.☆20Updated 4 years ago
- A small little tool for dumping a floating-point number in its native format☆55Updated 10 years ago
- mathiu : a simple computer algebra system in C++.☆79Updated 3 years ago
- Shader-Like Mathematical Expression JIT Engine for C++ Language☆59Updated 6 years ago
- Research library for compile time optimization☆12Updated 6 years ago
- LinBox - C++ library for exact, high-performance linear algebra☆91Updated 3 weeks ago
- Compile-time Checked, Type-Safe Formatting in C++14☆36Updated 8 years ago
- arbitrary precision arithmetic library☆43Updated 6 years ago
- Named arguments for C++17☆31Updated 2 weeks ago
- A collection of cache-friendly data structures in C++, without any dependencies.☆23Updated 7 years ago
- Get dependencies with cmake☆63Updated 6 years ago
- Slides for my 2019 presentation at C++ on Sea☆13Updated 3 years ago
- A C++20 library for the symbolic manipulation of sparse polynomials & co.☆28Updated 9 months ago
- Modern C++ framework for critical systems☆21Updated last year
- parser combinator and AST generator in c++17☆24Updated 2 years ago
- sandbox for my c++ functional programming experiments☆33Updated 12 years ago
- A C++ computer algebra (symbolic computation) library.☆19Updated 11 months ago
- A compile-time linear algebra system for C++☆121Updated 3 years ago
- A Ruby gem that generates useful visualisations (dot, d3.js) to study the architecture of C/C++ projects☆45Updated 2 years ago
- LALR(1) parser for C++☆79Updated last year
- compile time symbolic differentiation via C++ template expressions☆18Updated 3 years ago
- 📊 A lightweight plotting library☆94Updated 2 years ago
- Highly composable C++17 template meta programming library☆39Updated 6 years ago
- The Numerical Template Toolbox - C++ Scientific Computing Made Easy☆40Updated 9 years ago
- A header-only C++ library that augments the standard library with useful code snippets☆12Updated 10 months ago
- A hierarchical matrix C/C++ library☆24Updated this week
- C++17 sports two low-level character conversion functions, std::from_chars and std::to_chars, but they have a usage model that can be ea…☆8Updated 5 years ago
- The IDK (Industrial Development Kit) library!☆36Updated 2 weeks ago
- ☆34Updated 9 months ago