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
Sorting:
- Graph algorithms to merge two graphs based on stitching.☆12Oct 18, 2019Updated 6 years ago
- A saturating arithmetic cast.☆12Feb 26, 2019Updated 7 years ago
- to play with mathematical formulas at haxe-runtime☆18Sep 20, 2023Updated 2 years ago
- A library of recreational mathematics and number theory related functions inspired by Project Euler☆19May 5, 2015Updated 10 years ago
- An efficient, portable and secure general-purpose virtual machine and virtual network as a library☆18Apr 4, 2023Updated 2 years ago
- Python wrapper for Google Maps JavaScript API V3 and Google Earth API.☆17Sep 13, 2014Updated 11 years ago
- Program to estimate aquatic habitats using hydraulic data and biological models☆10Updated this week
- This is a repository with material for the course Advanced Mathematics for Engineers☆43Feb 7, 2020Updated 6 years ago
- A Xcode Source Editor Extension that searches external sources(Google, StackOverflow, etc)☆42Jun 18, 2016Updated 9 years ago
- Swift with Google Cloud Endpoint☆11Jun 9, 2015Updated 10 years ago
- Report various statistics stemming from a confusion matrix in a tidy fashion. 🎯☆12Jul 10, 2020Updated 5 years ago
- Fork of: jASN1 is an LGPL licensed Java ASN.1 BER encoding/decoding library.☆11Mar 3, 2017Updated 9 years ago
- Common plugin suite for the ufo-core processing framework☆10Feb 6, 2026Updated last month
- Speeding up blind deconvolution of a blurred image by using GPUs☆11Oct 17, 2018Updated 7 years ago
- Type-Erasure with merged concepts☆19Oct 19, 2014Updated 11 years ago
- Architecture Wars: MVC strikes back☆11Mar 18, 2018Updated 7 years ago
- Metadata browser/editor. QGIS plugin.☆11Dec 25, 2024Updated last year
- A handbook for everyone who loves coding☆10Jun 10, 2019Updated 6 years ago
- Web application that provides hydrology services based on the Common Hydrology Features (CHyF) data model☆11Dec 16, 2022Updated 3 years ago
- Sample Code☆11Sep 30, 2020Updated 5 years ago
- Simple multi-language .Net Core CMS☆10Apr 22, 2019Updated 6 years ago
- MagTool is software for magnetic stripe readers & writers.☆15Jan 22, 2013Updated 13 years ago
- iRIC Pre-processor and post-processor GUI☆10Feb 16, 2026Updated 3 weeks ago
- arbitrary precision arithmetic library☆45Nov 14, 2018Updated 7 years ago
- Convert Docker Compose V2 to Rancher compatible Docker Compose V1☆11Sep 18, 2021Updated 4 years ago
- Ctftbx: Time-Frequency toolbox for MatLab in C☆12May 12, 2014Updated 11 years ago
- 3d viewer for ply, stl, obj, vox, off, trc, gltf, glb☆11Sep 11, 2025Updated 5 months ago
- This is QNial - Array Language from Nial systems. It was published under Artistic License, but seems to have disappeared after website re…☆12May 25, 2016Updated 9 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
- C implementation of the Kohonen Neural Network (SOM algorithm)☆11May 5, 2019Updated 6 years ago
- A couple of tools I find indispensable for post orthomcl down-stream analysis.☆11Oct 2, 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
- ☆14Mar 18, 2020Updated 5 years ago
- Spatial and temporal interpolation of satellite altimetry data usinig Diva & Divand methods☆11Oct 25, 2019Updated 6 years ago
- Setting up Geospatial Python Environments☆10May 22, 2023Updated 2 years ago
- A repository for personal experimental purpose☆11Apr 11, 2018Updated 7 years ago
- AppMessage Tools for Pebble Emulator - Send AppMessages from Android , File, or Simple Web Interface to Emu☆11Jul 30, 2017Updated 8 years 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
- quick experiment to show off Timelane and logging from Combine (happens to also be SwiftUI based)☆10Feb 29, 2020Updated 6 years ago