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:
- C++ container graph visualization for lldb.☆23Aug 23, 2019Updated 6 years ago
- ☆19Apr 1, 2020Updated 6 years ago
- Prototyper is a desktop application to make UI prototypes☆10May 7, 2026Updated 3 weeks ago
- Single-file Parsing Expression Grammars (PEG) runtime engine for C☆18Aug 17, 2025Updated 9 months ago
- A view that allows iteration over a view, returning the index of each item along with each item☆13Jun 17, 2020Updated 5 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.
- A task orient thread pool library for C++14 with cancellation and allocator support☆17Apr 26, 2024Updated 2 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☆25May 2, 2026Updated 3 weeks ago
- 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
- 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
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A FUSE filesystem with file conversion filter support☆13Sep 30, 2018Updated 7 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)☆39Updated this week
- 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
- 🗄 CLI archival tool for the Wayback Machine☆11Mar 5, 2023Updated 3 years ago
- Common plugin suite for the ufo-core processing framework☆10May 22, 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
- 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.
- 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
- Galvanize: Pure Rust CDB reader/writer☆18Jan 16, 2023Updated 3 years ago
- Original Joy☆11Dec 17, 2024Updated last year
- Ctftbx: Time-Frequency toolbox for MatLab in C☆12May 12, 2014Updated 12 years ago
- EEPROM utility for CompuLab products.☆12Apr 29, 2026Updated last month
- 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 8 months 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.
- Predicator, a Rust crate for generating and running dynamic code☆16Sep 25, 2018Updated 7 years ago
- Upscaling images in weird ways☆10Dec 14, 2024Updated last year
- A sample repository demonstrating how to build a multiplatform app with native GUIs☆15Oct 15, 2025Updated 7 months ago
- STM32F429 & 7" display with FT5336 touchscreen☆13Dec 14, 2016Updated 9 years ago
- Quickly generate markdown tables in your terminal using a simplistic specification☆16Oct 2, 2019Updated 6 years ago
- Experimental C++ network library on top of Boost.Fiber☆13Oct 28, 2018Updated 7 years ago
- 100% XXTEA authenticated, chunked file encryption☆18Feb 14, 2021Updated 5 years ago