Search Results for "mathematical"
Sort By:
93 projects for "mathematical" with 2 filters applied:
-
$300 Free Credits for Your Google Cloud ProjectsLaunch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.
-
Our Free Plans just got better! | Auth0You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
-
1
mathjs
An extensive math library for JavaScript and Node.js
mathjs is a comprehensive mathematics library for JavaScript and Node.js that provides advanced numerical, symbolic, and matrix computation capabilities through a flexible expression-based interface. The library supports a wide range of mathematical operations including algebra, statistics, complex numbers, fractions, units, matrices, and symbolic manipulation while maintaining compatibility across browsers and server environments. One of its defining features is its expression parser, which allows users to evaluate and manipulate mathematical expressions written in a natural math-like syntax. mathjs is highly modular, enabling developers to include only the functionality they need for optimized application size and performance. ... -
2
Manim
A community-maintained Python framework for creating animations
A community-maintained Python library for creating mathematical animations. Manim is a free and open-source project originally written by Grant Sanderson. It is now maintained by the Manim Community and permissively released under the MIT license. Manim was originally created by Grant Sanderson as a personal project and for use in his YouTube channel, 3Blue1Brown. As his channel gained popularity, many grew to like the style of his animations and wanted to use manim for their own projects. ... -
3
mXparser
Math Parser: Java, C#, C++, Kotlin, Android, and all .NET platforms
...Flexible in user-defined arguments, and functions. Expressions are provided as plain text. Easy to use. Well documented. MathParser.org-mXparser is an open-source mathematical expression parser and evaluator for Java and .NET, supporting complex calculations and custom functions. -
4
Measurements.jl
Error propagation calculator and library for physical measurements
...It supports real and complex numbers with uncertainty, arbitrary precision calculations, operations with arrays, and numerical integration. Physical measures are typically reported with an error, a quantification of the uncertainty of the accuracy of the measurement. Whenever you perform mathematical operations involving these quantities you have also to propagate the uncertainty, so that the resulting number will also have an attached error to quantify the confidence about its accuracy. Measurements.jl relieves you from the hassle of propagating uncertainties coming from physical measurements, when performing mathematical operations involving them. ... -
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
MathPHP
Powerful modern math library for PHP
Math PHP is a library that brings advanced mathematical functions and data analysis capabilities to PHP applications. It covers a wide range of topics, including linear algebra, calculus, statistics, probability, and numerical analysis. Math PHP is designed for developers and data scientists who require precise and efficient mathematical computations in PHP, making it suitable for scientific computing and data processing. -
6
PyTensor
Python library for defining and optimizing mathematical expressions
PyTensor is a fork of Aesara, a Python library for defining, optimizing, and efficiently evaluating mathematical expressions involving multi-dimensional arrays. PyTensor is based on Theano, which has been powering large-scale computationally intensive scientific investigations since 2007. A hackable, pure-Python codebase. Extensible graph framework is suitable for rapid development of custom operators and symbolic optimizations. Implements an extensible graph transpilation framework that currently provides compilation via C, JAX, and Numba. ... -
7
stdlib
Standard library for JavaScript and Node.js
A standard library for javascript and node.js. High performance, rigorous, and robust mathematical and statistical functions. Build advanced statistical models and machine learning libraries. Plotting and graphics functionality for data visualization and exploratory data analysis. Analyze and understand your data. Comprehensively tested utilities for application and library development. Functions to assert, group, filter, map, pluck, and transform your data both in browsers and on the server. ... -
8
JOML
A Java math library for OpenGL rendering calculations
...Unlike other math libraries, JOML avoids object allocation during calculations, making it highly optimized for garbage-free performance. With precise control over mathematical operations and compatibility with low-level APIs, JOML is a go-to library for Java developers working on real-time 3D engines and simulations. -
9
AppleAccelerate.jl
Julia interface to the macOS Accelerate framework
...At the moment, this package provides access to Accelerate BLAS and LAPACK using the libblastrampoline framework, an interface to the array-oriented functions, which provide a vectorized form for many common mathematical functions. The performance is significantly better than using standard libm functions in some cases, though there does appear to be some reduced accuracy. -
Stop Cyber Threats with VM-Series Next-Gen Firewall on AzureGain integrated visibility across all traffic in a single pass. Deploy Palo Alto Networks VM-Series to determine application identity and content while automating security policy updates via rich APIs.
-
10
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. -
11
Manifolds.jl
Manifolds.jl provides a library of manifolds
Package Manifolds.jl aims to provide both a unified interface to define and use manifolds as well as a library of manifolds to use for your projects. This package is mostly stable, see #438 for planned upcoming changes. The implemented manifolds are accompanied by their mathematical formulae. The manifolds are implemented using the interface for manifolds given in ManifoldsBase.jl. You can use that interface to implement your own software on manifolds, such that all manifolds based on that interface can be used within your code. -
12
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... -
13
pytudes
Python programs, usually short, of considerable difficulty
...The repository includes readable solutions, experiments, notebooks, and scripts that cover algorithms, puzzles, probability, search, language processing, simulation, and mathematical reasoning. It is useful for programmers who want to study elegant Python code while learning how experienced developers approach problem solving. Many examples emphasize clarity and compactness rather than framework-heavy engineering. pytudes is best understood as a learning library, a coding style reference, and a set of practical programming studies. -
14
decimal.js
An arbitrary-precision Decimal type for JavaScript
...The library defines a Decimal constructor that accepts numbers, strings, or existing Decimal instances, enabling flexible usage across different input types. It supports a wide range of mathematical operations, including arithmetic, logarithmic, trigonometric, and exponential functions, making it significantly more comprehensive than simpler numeric libraries. -
15
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. ... -
16
LaTeX Examples
Examples for the usage of LaTeX
...It acts as a playground for learning LaTeX syntax, macros, formatting tricks, and document structuring practices. Files include sample articles, reports, book chapters, presentations (using Beamer), tables, mathematical typesetting examples (equations, aligned systems, integrals, matrices), custom macros, and styling. The project is useful both for beginners who want to see working LaTeX samples and for more advanced users seeking snippets for specific formatting needs (e.g., customizing headers, floats, customizing theorem environments). Because examples are self-contained and well-commented, users can copy, adapt, or test them without needing a large TeX toolchain. -
17
half
C++ library for half precision floating point arithmetics.
This is a C++ header-only library to provide an IEEE-754 conformant half-precision floating point type along with corresponding arithmetic operators, type conversions and common mathematical functions. It aims for both efficiency and ease of use, trying to accurately mimic the behaviour of the builtin floating point types at the best performance possible. It automatically uses and provides C++11 features when possible, but stays completely C++98-compatible when neccessary. -
18
Open tool platform for the cost effective rigorous development of dependable complex software systems services. This platform is based on the event-B formal method and provides natural support for refinement and mathematical proof.
-
19
JGraphT is a free Java class library that provides mathematical graph-theory objects and algorithms. JGraphT supports a rich gallery of graphs and is designed to be powerful, extensible, and easy to use.
-
20
Hasktorch
Tensors and neural networks in Haskell
Hasktorch is a powerful Haskell library for tensor computation and neural network modeling, built on top of libtorch (the backend of PyTorch). It brings differentiable programming, automatic differentiation, and efficient tensor operations into Haskell’s strongly typed functional paradigm. This project is in active development, so expect changes to the library API as it evolves. We would like to invite new users to join our Hasktorch discord space for questions and discussions.... -
21
.NET Bindings
.NET runtime bindings for WFMATH
This project is a subproject of the WFMATH library, a library providing several complex mathematical primitives. This library will allow .NET programmers to use WFMATH in their code. -
22
ECLiPSe CLP
ECLiPSe Constraint Logic Programming System
The ECLiPSe Constraint Logic Programming System is designed for solving combinatorial optimization problems, for the development of new constraint solver technology and their hybrids, and for the teaching of modelling, solving and search techniques. -
23
CSCall++
C++ interface for Clib and syscall
...Focus on Real Problems, Not Language Overhead: Minimizing learning curves frees developers from endless "backward learning" (legacy quirks), redirecting energy toward actual business logic. Code As Formal Proof: Built with theoretical completeness. C/C++ can serve as a rigorous, physically verifiable foundation for formal mathematical and logical languages. 本庫屬基礎 C++ 庫, 封裝常用 C 函式與系統呼叫為直覺介面, 旨在高效物件導向開發. 架構極重一致性，透過消滅冗餘複雜度與代碼冗長, 令開發具高度確定性, 組件可近乎「機械式」調用且零運行期邊界錯誤. 聚焦真實問題, 拒絕語言內耗: 壓縮學習成本, 解放無止境的「後向學習」(歷史包袱與瑣碎語法),專注實質業務邏輯. 代碼即形式證明 (Code As Formal Proof): 兼顧理論完備性, 深信 C/C++ 具備作為數學與計算邏輯中「形式語言」基礎之潛力. -
24
Temporal Inference Engine
A real time inference engine for temporal logical specifications
...Real time signal processing, dynamic system control, state machine modeling and logical property verification are some fields of application of this software. The accepted language provides timed logic and mathematical operators, conditional operators, interval operators, bounded quantifiers and parametrization of signals. -
25
rechne.exe
Command-line calculator and libray.
Easy-to-use command-line calculator for basic and scientific calculations.
