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
- Prototyper is a desktop application to make UI prototypes☆10May 7, 2026Updated last month
- Graph algorithms to merge two graphs based on stitching.☆12Oct 18, 2019Updated 6 years ago
- Single-file Parsing Expression Grammars (PEG) runtime engine for C☆18Aug 17, 2025Updated 10 months 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
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A task orient thread pool library for C++14 with cancellation and allocator support☆17Apr 26, 2024Updated 2 years ago
- Color image quantization☆16Jan 20, 2017Updated 9 years ago
- An efficient, portable and secure general-purpose virtual machine and virtual network as a library☆18Jun 3, 2026Updated 2 weeks ago
- Flatbush for C++☆23Apr 8, 2026Updated 2 months ago
- Markdown parser for Qt6. This is a mirror of https://invent.kde.org/libraries/md4qt☆27Updated this week
- This is very simple implementation of the Excel 97-2003 (BIFF8) format written in C++. Supported reading only.☆22May 25, 2024Updated 2 years ago
- Bundles all the protocols that are using COMMS library from comms_champion project into a single project☆10Feb 14, 2018Updated 8 years ago
- Basic Scientific Calculator (math-calculation-equation-unit-converter-unitconverter-advanced-mathematics-math-number)☆11May 9, 2024Updated 2 years ago
- No More than a C build system for clang, gcc and msvc☆13Mar 20, 2025Updated last year
- 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.
- A lightly modified kernel for the Nexus 6P. Based on stock Android msm sources and leanKernel☆10Mar 20, 2018Updated 8 years ago
- 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 7 years ago
- A FUSE filesystem with file conversion filter support☆13Sep 30, 2018Updated 7 years ago
- Classes and widgets to support asynchronous calculations☆14Nov 22, 2019Updated 6 years ago
- rxvt-unicode extension that allows to paste the contents of your clipboard with the right click☆10Mar 6, 2017Updated 9 years ago
- Tools for work with Markdown (Editor/Viewer/Converter)☆41Updated this week
- color map generator for scientific visualization☆12Nov 12, 2025Updated 7 months ago
- partclone-nbd - export partclone/clonezilla images as block devices without restoring them☆11Feb 6, 2021Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- 🗄 CLI archival tool for the Wayback Machine☆11Mar 5, 2023Updated 3 years ago
- Common plugin suite for the ufo-core processing framework☆11Jun 8, 2026Updated last week
- quick experiment to show off Timelane and logging from Combine (happens to also be SwiftUI based)☆10Feb 29, 2020Updated 6 years ago
- Rust docset generator for Dash☆12Aug 22, 2016Updated 9 years ago
- Using C++ templates to track dimensional metadata☆11Nov 20, 2020Updated 5 years ago
- Library of glib utilities☆10May 25, 2026Updated 3 weeks 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
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Simple C++ library with useful string functions.☆11Nov 19, 2025Updated 7 months ago
- Type-safe and lightweight header-only ECS library for C++17☆12Jul 20, 2025Updated 10 months ago
- Ctftbx: Time-Frequency toolbox for MatLab in C☆12May 12, 2014Updated 12 years ago
- EEPROM utility for CompuLab products.☆12Apr 29, 2026Updated last month
- ☆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