A C++ computer algebra (symbolic computation) library.
☆18Aug 7, 2024Updated 2 years ago
Alternatives and similar repositories for mathSlib
Users that are interested in mathSlib are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- C++ regular expressions library using template metaprogramming☆15May 3, 2026Updated 5 months ago
- Boost.org ptr_container module☆18Aug 12, 2026Updated 2 months ago
- a C library for symbolic and numerical analysis of a system of ordinary differential equations (ODEs) derived from a chemical reaction ne…☆24Mar 15, 2018Updated 8 years ago
- Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions☆20Jul 5, 2026Updated 3 months ago
- A compile-time Computer Algebra System (CAS) library (with some geometry)☆21Feb 15, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Analysis of JOSS data and statistics☆13Oct 8, 2026Updated 3 weeks ago
- 8x8x8 Circles or Spheres drawn in OpenGL in Qt, based off the grabber example. See the pendulum repo, too.☆12Mar 4, 2015Updated 11 years ago
- Fail2ban sms action.☆12Mar 23, 2013Updated 13 years ago
- An iOS keyboard for Dongers. ༼つ ◕_◕ ༽つ☆11Feb 16, 2026Updated 8 months ago
- moderngpu algorithms for C++ shaders☆16Mar 3, 2021Updated 5 years ago
- Github repository for CLAPACK (fork of CLAPACK 3.2.1 patched for our needs)☆10Aug 15, 2018Updated 8 years ago
- Implementation of Weierstrass elliptic and related functions in C++.☆13Jan 21, 2025Updated last year
- Reference implementation of std::big_int for C++ (https://wg21.link/p4444)☆15Updated this week
- 🍑🍑🍑 Yeah, but will it run @GreenteaOS?☆11Feb 17, 2023Updated 3 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- rust binding for lean4☆11Jul 1, 2023Updated 3 years ago
- The free version of the LEDA Library of Efficient Data types and Algorithms☆17Aug 11, 2026Updated 2 months ago
- NURBS algorithm library for modern C++.☆13Aug 9, 2026Updated 2 months ago
- TTG: Template Task Graph C++ API☆27Oct 20, 2026Updated last week
- Vulkan compute shader experiment☆11Jan 13, 2021Updated 5 years ago
- Development environment of the @GreenteaOS☆13Oct 19, 2025Updated last year
- Cayley-Dickson constructions☆11Nov 30, 2015Updated 10 years ago
- ☆37Aug 12, 2026Updated 2 months ago
- Macro-free unit testing framework for C++ and CMake.☆14Oct 14, 2026Updated 2 weeks ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Exact predicates from Shewchuk.☆16Apr 15, 2025Updated last year
- A series of the ML formula derivation notes☆11Dec 23, 2021Updated 4 years ago
- Boost.org conversion module☆14Sep 6, 2026Updated last month
- ☆16Aug 8, 2015Updated 11 years ago
- contributions to Giac computer algebra system☆15Apr 1, 2023Updated 3 years ago
- Provides a set of functions for performing coordinate-based tensor calculations with a focus on general relativity and black holes in par…☆11Oct 7, 2026Updated 3 weeks ago
- Slay your Zune☆15Jun 22, 2025Updated last year
- Display a customisable Message of the Day☆13Aug 16, 2024Updated 2 years ago
- Open-source implementation of the Star Wars Battlefront II (2005) engine☆11Jul 19, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆19Jun 11, 2024Updated 2 years ago
- Open-methods for C++ 17☆14Oct 21, 2026Updated last week
- RUst way for Reuse Analysis☆11Apr 1, 2024Updated 2 years ago
- Create images from latex snippets.☆16Dec 17, 2025Updated 10 months ago
- LG Optimus G Pro (Intl variant)☆14Sep 1, 2015Updated 11 years ago
- generative art piece - mini gravity 🌔🌓🌒☆20Apr 5, 2020Updated 6 years ago
- touch_keyboard driver from Chromiumos, fork GNU/Linux☆13Feb 3, 2026Updated 8 months ago