Meta mathematics. Symbolic functions and derivatives.
☆32May 3, 2018Updated 7 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:
- A saturating arithmetic cast.☆12Feb 26, 2019Updated 7 years ago
- C++ implementation of Memcache Binary Protocol.☆16Jan 28, 2019Updated 7 years ago
- C++ container graph visualization for lldb.☆23Aug 23, 2019Updated 6 years ago
- Single-file Parsing Expression Grammars (PEG) runtime engine for C☆18Aug 17, 2025Updated 8 months ago
- A task orient thread pool library for C++14 with cancellation and allocator support☆17Apr 26, 2024Updated last year
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- An efficient, portable and secure general-purpose virtual machine and virtual network as a library☆18Apr 4, 2023Updated 3 years ago
- Markdown parser for Qt6. This is a mirror of https://invent.kde.org/libraries/md4qt☆24Mar 23, 2026Updated 3 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
- Basic Scientific Calculator (math-calculation-equation-unit-converter-unitconverter-advanced-mathematics-math-number)☆11May 9, 2024Updated last year
- No More than a C build system for clang, gcc and msvc☆13Mar 20, 2025Updated last year
- 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☆12Sep 30, 2018Updated 7 years ago
- Classes and widgets to support asynchronous calculations☆14Nov 22, 2019Updated 6 years 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.
- 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)☆38Apr 9, 2026Updated last week
- color map generator for scientific visualization☆12Nov 12, 2025Updated 5 months ago
- Migrate a project from redmine instance to redmine instance using the API☆11Mar 22, 2017Updated 9 years ago
- partclone-nbd - export partclone/clonezilla images as block devices without restoring them☆10Feb 6, 2021Updated 5 years ago
- threadstack, ergonomic library for thread local stacks☆11Mar 5, 2021Updated 5 years ago
- Common plugin suite for the ufo-core processing framework☆10Feb 6, 2026Updated 2 months ago
- ☆14Mar 18, 2020Updated 6 years ago
- Rust docset generator for Dash☆12Aug 22, 2016Updated 9 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆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 8 months ago
- EEPROM utility for CompuLab products.☆12Aug 15, 2018Updated 7 years 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
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Cut and concatenate video clips without reencoding☆12Sep 16, 2025Updated 7 months ago
- Predicator, a Rust crate for generating and running dynamic code☆16Sep 25, 2018Updated 7 years ago
- A sample repository demonstrating how to build a multiplatform app with native GUIs☆15Oct 15, 2025Updated 6 months ago
- Upscaling images in weird ways☆10Dec 14, 2024Updated last year
- STM32F429 & 7" display with FT5336 touchscreen☆13Dec 14, 2016Updated 9 years ago
- 100% XXTEA authenticated, chunked file encryption☆18Feb 14, 2021Updated 5 years ago
- Experimental C++ network library on top of Boost.Fiber☆13Oct 28, 2018Updated 7 years ago