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 graphical WYSIWYG editor for PGF/TikZ☆17Apr 18, 2022Updated 4 years ago
- A saturating arithmetic cast.☆12Feb 26, 2019Updated 7 years ago
- ☆18Apr 1, 2020Updated 6 years ago
- C++ container graph visualization for lldb.☆23Aug 23, 2019Updated 6 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.
- Prototyper is a desktop application to make UI prototypes☆10Mar 3, 2026Updated 2 months 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☆18Apr 4, 2023Updated 3 years ago
- Flatbush for C++☆23Apr 8, 2026Updated last month
- Markdown parser for Qt6. This is a mirror of https://invent.kde.org/libraries/md4qt☆24May 2, 2026Updated last week
- This is very simple implementation of the Excel 97-2003 (BIFF8) format written in C++. Supported reading only.☆22May 25, 2024Updated last year
- 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
- A lightly modified kernel for the Nexus 6P. Based on stock Android msm sources and leanKernel☆10Mar 20, 2018Updated 8 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- 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)☆39May 2, 2026Updated last week
- 2048 made using C and raylib☆19Aug 10, 2024Updated last year
- ☆23Mar 31, 2025Updated last year
- color map generator for scientific visualization☆12Nov 12, 2025Updated 5 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- 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
- partclone-nbd - export partclone/clonezilla images as block devices without restoring them☆10Feb 6, 2021Updated 5 years ago
- Common plugin suite for the ufo-core processing framework☆10Apr 17, 2026Updated 3 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
- Rust docset generator for Dash☆12Aug 22, 2016Updated 9 years ago
- Using C++ templates to track dimensional metadata☆11Nov 20, 2020Updated 5 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Library of glib utilities☆10Mar 23, 2026Updated last month
- ☆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
- CLAM: C++ Library for Audio and Music (unofficial mirror)☆10May 11, 2017Updated 8 years ago
- Simple C++ library with useful string functions.☆11Nov 19, 2025Updated 5 months ago
- Type-safe and lightweight header-only ECS library for C++17☆12Jul 20, 2025Updated 9 months ago