Meta mathematics. Symbolic functions and derivatives.
☆32May 3, 2018Updated 8 years ago
Alternatives and similar repositories for metamath
Users that are interested in metamath are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- from https://sourceforge.net/projects/libquickmail/☆12Apr 16, 2020Updated 6 years ago
- A saturating arithmetic cast.☆12Feb 26, 2019Updated 7 years ago
- C++ container graph visualization for lldb.☆23Aug 23, 2019Updated 6 years ago
- Prototyper is a desktop application to make UI prototypes☆10May 7, 2026Updated 2 months ago
- Single-file Parsing Expression Grammars (PEG) runtime engine for C☆18Aug 17, 2025Updated 10 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- to play with mathematical formulas at haxe-runtime☆18Sep 20, 2023Updated 2 years ago
- A view that allows iteration over a view, returning the index of each item along with each item☆13Jun 17, 2020Updated 6 years ago
- A task orient thread pool library for C++14 with cancellation and allocator support☆17Apr 26, 2024Updated 2 years ago
- Creates a counting system of radixes such as base 12 or mixed radixes such as Minutes/Hours/Days/Years (60/60/24/365)☆13May 8, 2019Updated 7 years ago
- An efficient, portable and secure general-purpose virtual machine and virtual network as a library☆18Jun 3, 2026Updated last month
- Markdown parser for Qt6. This is a mirror of https://invent.kde.org/libraries/md4qt☆28Jun 23, 2026Updated 2 weeks ago
- Bundles all the protocols that are using COMMS library from comms_champion project into a single project☆10Feb 14, 2018Updated 8 years ago
- No More than a C build system for clang, gcc and msvc☆13Mar 20, 2025Updated last year
- A lightly modified kernel for the Nexus 6P. Based on stock Android msm sources and leanKernel☆10Mar 20, 2018Updated 8 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- A C++ memory context☆11Jul 28, 2021Updated 4 years ago
- Windows scripting tools for query profile, playback live stream and record live stream from any ONVIF camera. handy tools for sys admin. …☆13Jun 21, 2018Updated 8 years ago
- Classes and widgets to support asynchronous calculations☆14Nov 22, 2019Updated 6 years ago
- Tools for work with Markdown (Editor/Viewer/Converter)☆41Updated this week
- ☆23Mar 31, 2025Updated last year
- color map generator for scientific visualization☆12Nov 12, 2025Updated 7 months ago
- Migrate a project from redmine instance to redmine instance using the API☆11Mar 22, 2017Updated 9 years ago
- threadstack, ergonomic library for thread local stacks☆11Mar 5, 2021Updated 5 years ago
- 🗄 CLI archival tool for the Wayback Machine☆11Mar 5, 2023Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Common plugin suite for the ufo-core processing framework☆11Jun 25, 2026Updated 2 weeks ago
- quick experiment to show off Timelane and logging from Combine (happens to also be SwiftUI based)☆10Feb 29, 2020Updated 6 years ago
- Simple conservative GC using mimalloc☆41Nov 17, 2022Updated 3 years ago
- ☆14Mar 18, 2020Updated 6 years ago
- Using C++ templates to track dimensional metadata☆11Nov 20, 2020Updated 5 years ago
- Rust docset generator for Dash☆12Aug 22, 2016Updated 9 years ago
- ☆19Jan 31, 2014Updated 12 years ago
- Galvanize: Pure Rust CDB reader/writer☆18Jan 16, 2023Updated 3 years ago
- Original Joy☆11Dec 17, 2024Updated last year
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Simple C++ library with useful string functions.☆11Jun 30, 2026Updated last week
- Type-safe and lightweight header-only ECS library for C++17☆12Jul 20, 2025Updated 11 months ago
- Ctftbx: Time-Frequency toolbox for MatLab in C☆12May 12, 2014Updated 12 years ago
- EEPROM utility for CompuLab products.☆12Apr 29, 2026Updated 2 months ago
- ☆17Jan 14, 2014Updated 12 years ago
- library and sample to access to UVC web camera on non-rooted Android device☆14Apr 5, 2016Updated 10 years ago
- Cut and concatenate video clips without reencoding☆12Sep 16, 2025Updated 9 months ago