Developing mathematics in Rocq from the ground up
☆26Mar 15, 2026Updated 7 months ago
Alternatives and similar repositories for math-from-nothing
Users that are interested in math-from-nothing 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 math animation engine based on geometric algebra☆34May 2, 2026Updated 6 months ago
- Experiments with moebius transformations and non-euclidian perspectives.☆12Apr 16, 2023Updated 3 years ago
- Clifford algebra for CAS Maxima☆17Aug 24, 2026Updated 2 months ago
- A benchmark for Geometric Algebra libraries, library generators, and code optimizers.☆23Sep 22, 2021Updated 5 years ago
- a Lean wrapper for the MD4C Markdown parser☆13Jun 22, 2026Updated 4 months 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.
- TbGAL: Tensor-Based Geometric Algebra Library☆29Apr 10, 2022Updated 4 years ago
- Code for working with differential forms in context of control theory on basis of sympy☆14Feb 25, 2019Updated 7 years ago
- A package for anonymous authorized auditable salary reporting. Based on e-voting with blind signatures.☆12May 7, 2025Updated last year
- Quaternions, Spinors and the Hopf Fibration: Hidden Variables in Classical Mechanics☆32May 27, 2026Updated 5 months ago
- geometric number library supporting unlimited dimensions with O(1) complexity☆19Oct 28, 2026Updated last week
- Webkit as a windows screensaver. Build with QT☆14Aug 30, 2011Updated 15 years ago
- Power series arithmetic in Lean☆14Nov 22, 2025Updated 11 months ago
- Some fun with pipes!☆10Jan 12, 2021Updated 5 years ago
- MIRROR of https://codeberg.org/catseye/Chrysoberyl : An attempt to catalogue and curate Cat's Eye Technologies☆14Mar 5, 2026Updated 8 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- FutureSDR Community Blocks☆12Oct 6, 2026Updated last month
- Lean library for typed metaprogramming based on staging, with support for dependent types and reasoning about metaprograms.☆16Sep 25, 2026Updated last month
- An efficient odesolver in Fortran 2003☆11Aug 21, 2020Updated 6 years ago
- Awesome Geometric Algebra☆32Jul 11, 2020Updated 6 years ago
- Huzita-Hatori axioms for origami, implemented using 2D projective geometric algebra.☆11Feb 5, 2021Updated 5 years ago
- A Qt grid layout clone of WPF's grid with "star sizing"☆12Jul 30, 2019Updated 7 years ago
- A Julia package for real-time audification of ODEs and SDEs☆11Aug 12, 2026Updated 2 months ago
- File metadata and streaming library☆10Aug 19, 2026Updated 2 months ago
- Typeset scattered graph data rewriter based on LaTeX nodes☆13Apr 7, 2021Updated 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.
- Exterior Calculus for xAct☆11Oct 31, 2026Updated last week
- Julia bindings for libtakum☆10Jun 19, 2026Updated 4 months ago
- Deprecated, use https://github.com/neoclide/coc-python instead.☆10Mar 30, 2019Updated 7 years ago
- Spinor calculus in xAct☆10Oct 31, 2026Updated last week
- Generate(d) custom libraries for geometric algebras☆55May 15, 2024Updated 2 years ago
- Discrete Differential Forms in arbitrary dimensions☆12Jan 26, 2021Updated 5 years ago
- Common Lisp The Language Second Edition☆14May 28, 2024Updated 2 years ago
- Examples using MetaProgramming for writing tactics etc.☆19Nov 26, 2025Updated 11 months ago
- Simple currying in julia☆14Nov 20, 2019Updated 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.
- Vi-like editing for Wolfram Notebooks☆11May 15, 2023Updated 3 years ago
- A basic wrapper to allow access to OEIS from within Julia.☆17Apr 29, 2020Updated 6 years ago
- ZIM File Reader for Pocketbook☆11Dec 15, 2022Updated 3 years ago
- Structural analysis of the aileron of a Boeing 737☆13Mar 6, 2018Updated 8 years ago
- Wave propagation simulator☆15Sep 10, 2026Updated last month
- Extensible library for finite element programming☆14Mar 7, 2021Updated 5 years ago
- A simple hello-world project to try out Travis-CI and pytest☆11Jul 10, 2017Updated 9 years ago