Explore Projects
Discover 117 open source projects
Showing 81-100 of 117 projects
nivu/ai_all_resources
A curated list of best AI resources for developers, including tutorials, libraries, and tools.
PlamenStilyianov/FinMathematics
This is a collection of books related to financial mathematics, not a developer tool or framework.
inference-labs-inc/n-ary_notebooks
Repository providing notebooks for mathematical analysis, algorithm implementations, and protocol optimization techniques.
HoTT/Coq-HoTT
A Coq library for Homotopy Type Theory, a foundational framework for mathematics and programming
davideberly/GeometricTools
A comprehensive C++ library for mathematical, geometric, graphics, image analysis, and physics computations.
symengine/symengine
SymEngine is a fast symbolic manipulation library written in C++ for mathematical and scientific computing.
silentmatt/expr-eval
A JavaScript library for parsing and evaluating mathematical expressions.
hendrycks/math
A dataset of mathematical reasoning problems for evaluating AI systems.
digantamisra98/Mish
Official repository for the Mish activation function, a novel neural network activation function.
jsxgraph/jsxgraph
JSXGraph is a cross-browser JavaScript library for interactive geometry, function plotting, charting, and data visualization.
patmorin/ods
An open-source data structures textbook with complete implementations, focused on mathematical rigor.
sagemathinc/cocalc
CoCalc is a collaborative cloud-based platform for computational mathematics, programming, and more.
lean-dojo/LeanCopilot
LeanCopilot is a C++ library that uses large language models (LLMs) as copilots for theorem proving in the Lean programming language.
ilmoi/MML-Book
This repository contains code and solutions for the Mathematics for Machine Learning (MML) book, a self-study resource for developers interested in the math behind machine learning.
form-dev/form
A C library for symbolic manipulation of very large mathematical expressions.
aesara-devs/aesara
Aesara is a Python library for defining, optimizing, and efficiently evaluating mathematical expressions involving multi-dimensional arrays.
Elteoremadebeethoven/AnimationsWithManim
An animation course using the Manim library, a Python-based framework for creating mathematical and scientific animations.
python-adaptive/adaptive
Adaptive is a parallel active learning library for efficiently learning mathematical functions.
rustgd/cgmath
A linear algebra and mathematics library for computer graphics in Rust.
nbro/understanding-math
A collection of resources and guides to help developers learn and understand mathematics and its concepts.
Stay in the loop
Get weekly updates on trending AI coding tools and projects.