Search Results for "mathematical" - Page 3
Sort By:
Showing 663 open source projects for "mathematical"
View related business solutions-
Veeam Data Platform v13.1 - Get Your Free TrialTry Veeam Data Platform today. Experience the unified platform that's secure by design, portable by default, and proven to recover clean, fast, and anywhere.
-
Paessler: Easy to Use With Enterprise Power. Free TrialYou shouldn't have to choose between a monitoring tool that's easy to use and one that's powerful enough for a complex environment. PRTG's low-code interface lets any admin build dashboards, set alerts and monitor devices without scripting, while custom sensors and full API access are there when your team needs deeper control. One platform, no compromise. Download a free 30-day trial now.
-
1
AiLearning-Theory-Applying
Quickly get started with AI theory and practical applications
AiLearning-Theory-Applying is a comprehensive educational repository designed to help learners quickly understand artificial intelligence theory and apply it in practical machine learning and deep learning projects. The repository provides extensive tutorials covering mathematical foundations, machine learning algorithms, deep learning concepts, and modern large language model architectures. It includes well-commented notebooks, datasets, and implementation examples that allow learners to reproduce experiments and understand the inner workings of various algorithms. The project also introduces important concepts such as probability theory, linear algebra, regression models, clustering methods, and neural network architectures. ... -
2
cuML
RAPIDS Machine Learning Library
cuML is a suite of libraries that implement machine learning algorithms and mathematical primitives functions that share compatible APIs with other RAPIDS projects. cuML enables data scientists, researchers, and software engineers to run traditional tabular ML tasks on GPUs without going into the details of CUDA programming. In most cases, cuML's Python API matches the API from scikit-learn. For large datasets, these GPU-based implementations can complete 10-50x faster than their CPU equivalents. ... -
3
Yampa
Functional Reactive Programming domain-specific language
...Based on the concept of signal functions, Yampa offers a declarative way to model time-varying values and their transformations, making it easier to manage complex time-based logic without resorting to imperative state management. It is grounded in strong mathematical foundations and is well-suited for real-time and interactive systems where temporal behaviors are central. -
4
Notepadqq
A simple, general-purpose editor for Linux
...Notepadqq gives you a hand with multiple selections, regular expression searches, and real-time highlighting. Code is meant to be read. Notepadqq is the first text editor to offer first-class support for displaying mathematical formulas so that you can express your ideas more clearly than ever. Start a comment in your favorite programming language, then start writing in LaTeX notation to augment your comment with beautifully typeset mathematics. -
Build Agents and Models on One PlatformGemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
-
5
Gridap.jl
Grid-based approximation of partial differential equations in Julia
Gridap provides a set of tools for the grid-based approximation of partial differential equations (PDEs) written in the Julia programming language. The library currently supports linear and nonlinear PDE systems for scalar and vector fields, single and multi-field problems, conforming and nonconforming finite element (FE) discretizations, on structured and unstructured meshes of simplices and n-cubes. It also provides methods for time integration. Gridap is extensible and modular. One can... -
6
Convex.jl
A Julia package for disciplined convex programming
Convex.jl is a Julia package for Disciplined Convex Programming (DCP). Convex.jl makes it easy to describe optimization problems in a natural, mathematical syntax, and to solve those problems using a variety of different (commercial and open-source) solvers. Convex.jl works by transforming the problem—which possibly has nonsmooth, nonlinear constructions like the nuclear norm, the log determinant, and so forth—into a linear optimization problem subject to conic constraints. This reformulation often involves adding auxiliary variables and is called an "extended formulation", since the original problem has been extended with additional variables. ... -
7
SiYuan
Build your eternal digital garden
SiYuan is a local-first personal knowledge management system that supports complete offline use, as well as end-to-end encrypted synchronization. Fuse blocks, outlines, and bidirectional links to build your eternal digital garden. SiYuan, the only important core concept is Content block. The content block can be formed through the formatting format, so that we can organize our thoughts and knowledge at the block-level granularity, and it is also convenient for reading and outputting long... -
8
Flux.jl
Relax! Flux is the ML library that doesn't make you tensor
...It's a 100% pure Julia stack and provides lightweight abstractions on top of Julia's native GPU and AD support. Flux makes the easy things easy while remaining fully hackable. Flux provides a single, intuitive way to define models, just like mathematical notation. Julia transparently compiles your code, optimizing and fusing kernels for the GPU, for the best performance. Existing Julia libraries are differentiable and can be incorporated directly into Flux models. Cutting-edge models such as Neural ODEs are first class, and Zygote enables overhead-free gradients. GPU kernels can be written directly in Julia via CUDA.jl. ... -
9
BinaryBuilder
Binary Dependency Builder for Julia
...Package installation is merely downloading, verifying package integrity and extracting that tarball on the user's computer. No more compiling on user's machines. No more struggling with system package managers. No more needing sudo access to install that little mathematical optimization library. -
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
10
Markdown Here
Write email in Markdown and render them before sending
...Markdown Here is a browser extension that lets you write emails in Markdown, and then renders them before sending. It can also let you write Google Groups posts, blog posts, Evernote notes, Wordpress posts and more in Markdown, even in TeX mathematical formulae! Markdown Here is available for Google Chrome, Firefox, Safari, Opera, and Thunderbird. It supports syntax highlighting (once language has been specified in a fenced code block), insert tables, source code snippets and more! Discover how easy it can be to format your emails with Markdown Here! -
11
The Agda standard library
The Agda standard library
The standard library aims to contain all the tools needed to write both programs and proofs easily. While we always try and write efficient code, we prioritize ease of proof over type-checking and normalization performance. If computational performance is important to you, then perhaps try agda-prelude instead. Agda is a dependently typed programming language. It is an extension of Martin-Löf’s type theory and is the latest in the tradition of languages developed in the programming logic... -
12
The Julia Programming Language
High-level, high-performance dynamic language for technical computing
...Having a high level syntax, Julia is easy to use for programmers of every level and background. Julia has more than 2,800 community-registered packages including various mathematical libraries, data manipulation tools, and packages for general purpose computing. Libraries from Python, R, C/Fortran, C++, and Java can also be used. -
13
Brick\Math
Arbitrary-precision arithmetic library for PHP
Brick Math is a PHP library that provides arbitrary-precision arithmetic for integers, rational numbers, and decimal numbers. It is designed to overcome the limitations of PHP’s native number handling, especially for applications dealing with large numbers, financial calculations, or scientific computations. Brick Math complies with standards like IEEE 754 and avoids rounding errors inherent to floating-point arithmetic. -
14
Optimization.jl
Mathematical Optimization in Julia
Optimization.jl provides the easiest way to create an optimization problem and solve it. It enables rapid prototyping and experimentation with minimal syntax overhead by providing a uniform interface to >25 optimization libraries, hence 100+ optimization solvers encompassing almost all classes of optimization algorithms such as global, mixed-integer, non-convex, second-order local, constrained, etc. It allows you to choose an Automatic Differentiation (AD) backend by simply passing an... -
15
OpenOCR
An Open-Source Toolkit for General-OCR Research and Applications
OpenOCR is an open-source General OCR toolkit developed by the OCR team at Fudan University for research and real-world document processing applications. It provides a unified platform for text detection, text recognition, formula recognition, table recognition, and document parsing. Built on advanced OCR technologies such as SVTRv2 and UniRec-0.1B, OpenOCR delivers high accuracy while maintaining efficient inference performance. The toolkit supports both Chinese and English content, making... -
16
NumCpp
C++ implementation of the Python Numpy library
A Templatized Header Only C++ Implementation of the Python NumPy Library. The main data structure in NumCpp is the NdArray. It is inherently a 2D array class, with 1D arrays being implemented as 1xN arrays. There is also a DataCube class that is provided as a convenience container for storing an array of 2D NdArrays, but it has limited usefulness past a simple container. -
17
GLM-4.7
Advanced language and coding AI model
GLM-4.7 is an advanced agent-oriented large language model designed as a high-performance coding and reasoning partner. It delivers significant gains over GLM-4.6 in multilingual agentic coding, terminal-based workflows, and real-world developer benchmarks such as SWE-bench and Terminal Bench 2.0. The model introduces stronger “thinking before acting” behavior, improving stability and accuracy in complex agent frameworks like Claude Code, Cline, and Roo Code. GLM-4.7 also advances “vibe... -
18
S2 Geometry
Computational geometry and spatial indexing on the sphere
...This makes it particularly suited for applications involving geospatial data, such as mapping, spatial indexing, and geographic information systems (GIS). The library provides a robust mathematical framework for spherical geometry, allowing developers to work with polygons, points, and regions on the Earth’s surface using consistent and precise algorithms. Unlike traditional 2D geometry libraries, S2 ensures accuracy over large scales by modeling the globe directly, avoiding distortions caused by map projections. The project includes core C++ support, optional Python bindings, and integrations with Bazel and CMake for flexible builds. ... -
19
latexify
A library to generate LaTeX expression from Python code
latexify_py converts small, math-heavy pieces of Python code into human-readable LaTeX that mirrors the intent of the computation, not just its surface syntax. It parses Python functions and expressions into an abstract syntax tree (AST), applies symbolic rewrites for common mathematical constructs, and then emits LaTeX that compiles cleanly in standard environments. Typical use cases include turning analytical utilities—like probability mass functions, activation formulas, or recurrence relations—into equations suitable for papers, notebooks, and slide decks. The tool aims to preserve semantics such as exponentiation, summations, products, piecewise definitions, and function application while hiding Pythonic scaffolding. ... -
20
Computational Thinking
Introduction to computational thinking with Julia
...It emphasizes learning how to translate problems into computational terms and developing algorithms and models to analyze them effectively. Using Julia, the course highlights both mathematical reasoning and practical coding, bridging the gap between theory and application. The materials include lectures, notebooks, exercises, and projects that encourage experimentation and discovery. By combining programming with conceptual depth, the repository aims to build skills that are transferable across disciplines and essential for modern scientific inquiry. -
21
The Book of Shaders
Step-by-step guide through the complex universe of fragment Shaders
...The material then expands into image processing, simulations, lighting, normal maps, ray marching, environmental mapping, reflection, and refraction. Interactive examples help readers connect mathematical expressions with rendered results. The repository also contains translations, galleries, a glossary, offline navigation guidance, and instructions for running examples on devices such as Raspberry Pi. -
22
gplearn
Genetic Programming in Python, with a scikit-learn inspired API
...This is motivated by the scikit-learn ethos, of having powerful estimators that are straightforward to implement. Symbolic regression is a machine learning technique that aims to identify an underlying mathematical expression that best describes a relationship. It begins by building a population of naive random formulas to represent a relationship between known independent variables and their dependent variable targets in order to predict new data. Each successive generation of programs is then evolved from the one that came before it by selecting the fittest individuals from the population to undergo genetic operations. -
23
Slambook2
edition 2 of the slambook
slambook2 is the updated companion codebase for the second edition of 14 Lectures on Visual SLAM: From Theory to Practice. It preserves the chapter-by-chapter learning structure while revising examples for newer systems and libraries. The repository teaches the mathematical and programming foundations required to understand visual SLAM implementations. Its C++ exercises cover geometry, Lie theory, cameras, image processing, optimization, visual odometry, mapping, and loop closure. Chapter folders let readers study individual techniques before connecting them into broader localization and mapping pipelines. ... -
24
Hollama
A minimal LLM chat app that runs entirely in your browser
...The interface includes features for editing prompts, retrying responses, copying generated code snippets, and storing conversation history locally within the browser. Mathematical expressions can be rendered using KaTeX, and Markdown formatting allows code blocks and structured outputs to appear clearly within conversations. -
25
alphageometry
AI-driven neuro-symbolic solver for high-school geometry problems
AlphaGeometry, developed by Google DeepMind, is a theorem-proving system that combines symbolic reasoning with deep learning to solve challenging geometry problems, such as those found in mathematical Olympiads. The repository provides the full implementation of DDAR (Deductive Difference and Abductive Reasoning) and AlphaGeometry, two automated geometry solvers described in the 2024 Nature paper “Solving Olympiad Geometry without Human Demonstrations.” AlphaGeometry integrates a symbolic deduction engine with a transformer-based language model to propose and validate geometric constructions in a stepwise proof process. ...
