Search Results for "mathematical" - Page 2
Sort By:
Showing 135 open source projects for "mathematical"
View related business solutions-
Compliant and Reliable File Transfers Backed by Top Security CertificationsStop relying on non-certified, legacy file transfer tools that creak under the weight of modern security demands. Get full audit trails, advanced access controls and more supported by an award-winning team of experts. Start your free 25-day trial today.
-
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.
-
1
RLax
Library of JAX-based building blocks for reinforcement learning agents
RLax (pronounced “relax”) is a JAX-based library developed by Google DeepMind that provides reusable mathematical building blocks for constructing reinforcement learning (RL) agents. Rather than implementing full algorithms, RLax focuses on the core functional operations that underpin RL methods—such as computing value functions, returns, policy gradients, and loss terms—allowing researchers to flexibly assemble their own agents. It supports both on-policy and off-policy learning, as well as value-based, policy-based, and model-based approaches. ... -
2
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. -
3
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. -
4
LMath library
Math library for Free Pascal and Lazarus.
LMath, based on DMath, is a mathematical library for FreePascal (FPC) and Lazarus. It is entirely written in Pascal and does not depend on external libraries. LMath provides routines and demo programs for numerical analysis, including mathematical functions, probabilities, matrices, optimization, linear and nonlinear equations, integration, Fast Fourier Transform, random numbers, curve fitting, statistics and graphics. -
$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.
-
5
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.
-
6
MathematicalRamblingsjs
Biblioteca JavaScript Mathematical Ramblings.
Biblioteca de funções, procedimentos e constantes JavaScript do projeto Mathematical Ramblings (https://antoniovandre.github.io/MathematicalRamblingsjs). -
7
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.
-
8
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.... -
9
Optimizer_sovkov
Constructing and optimizing general mathematical and physical models
We present the package Optimizer, aimed at constructing and optimizing general mathematical models of phenomena of versatile nature. It is written in the Matlab algorithmic language and is executed in the Matlab environment with partial functionality in Octave. The convenient visual interface and the detailed manuals are provided. The main benefit of the package is its capability to construct models of any level of complexity in a block-by-block manner. -
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.
-
10
.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. -
11
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. -
12
LinAsm
Collection of fast and optimized assembly libraries for x86-64 Linux
LinAsm is collection of very fast and SIMD optimized assembly written libraries for x86-64 Linux. It implements many common and widely used algorithms for array manipulations: searching, sorting, arithmetic and vector operations, unit conversions; fast mathematical and statistic functions; numbers and time converting algorithms; finite impulse response (FIR) digital filters; spectrum analysis algorithms, Fast Hartley transformation; CPU cache friendly functions and extremely fast abstract data types (ADT) such as hash tables b-trees, and much more. LinAsm libraries are written on FASM assembly language. ... -
13
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++ 具備作為數學與計算邏輯中「形式語言」基礎之潛力. -
14
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. -
15
rechne.exe
Command-line calculator and libray.
Easy-to-use command-line calculator for basic and scientific calculations. -
16
NoteCalc
NoteCalc is a handy calculator
...Designed as a web-based alternative to tools like Soulver, it emphasizes clarity and context by keeping formulas and results visually aligned. The system supports advanced mathematical operations, including matrices, units, percentages, and custom functions, making it suitable for both everyday calculations and more technical use cases. It also features intelligent parsing, autocompletion, and variable referencing, allowing users to build complex calculations incrementally across multiple lines. -
17
wxMEdit
wxMEdit, Cross-platform Text/Hex Editor, Improved Version of MadEdit
•Added automatically checking for updates •Added bookmark support •Added right-click context menu for each tab •Added purging histories support •Added selecting a line by triple click •Added FreeBASIC syntax file •Added an option to place configuration files into %APPDATA% directory under Windows •Improved support for Find/Replace •Improved Mac OS X support •Improved system integration under Windows •Improved encoding detection result •Improved Hex editing support •Added more... -
18
QScript
Expression and algorithm evaluator (built with Java)
V2.1.1 compatible with Processing 2 & 3. A powerful yet simple to use scripting language that can be used to evaluate expressions and simple algorithms. In fact it is the only evaluator I know that supports complex numbers and vectors without the need for additional configuration. The emphasis is on simplicity and extensibility and the website provides detailed guides to help you get the most of QScript. It supports variables, selection (IF-THEN-ELSE) and repetition (WHILE-WEND and... -
19
whiteboxgui
An interactive GUI for WhiteboxTools in a Jupyter-based environment
The whiteboxgui Python package is a Jupyter frontend for WhiteboxTools, an advanced geospatial data analysis platform developed by Prof. John Lindsay (webpage; jblindsay) at the University of Guelph's Geomorphometry and Hydrogeomatics Research Group. WhiteboxTools can be used to perform common geographical information systems (GIS) analysis operations, such as cost-distance analysis, distance buffering, and raster reclassification. Remote sensing and image processing tasks include image... -
20
WFMATH Java Bindings
Java language bindings for WFMATH
This project is a subproject of the WFMATH library, a library providing several complex mathematical primitives. This library will allow Java programmers to use WFMATH in their code. -
21
Wheefun Math Library
A C/C++ library for performing mathematics.
The Wheefun Math Library (WFMATH) is a library that contains extended mathematical functionality not included in C89 and C++98. It aims to portably provide this functionality for projects which may require them. It uses an object-oriented framework, utilizing a SDL-style dispatch tables in C and special wrapper classes in C++. It is also designed so that new bindings to other languages can be written with effort. -
22
Game-Programmer-Study-Notes
A collection of reading notes from my career as a game programmer
The Game-Programmer-Study-Notes project is a comprehensive collection of study materials aimed at aspiring and professional game developers. It compiles notes, tutorials, and references covering a wide range of topics such as graphics programming, game engine architecture, mathematics, and optimization techniques. The repository is structured to guide learners through fundamental and advanced concepts, making it suitable for both beginners and experienced programmers. It includes insights... -
23
slimcpplib
Simple Long Integer Math for C++
SLIMCPP is C++ header-only library that implements long integers that exceed maximum size of native type supported by a specific compiler by 2-4 times. All classes, methods and functions were not created or designed to work with huge numbers, for which there are specialized big integer mathematical libraries. In some cases, it is necessary to temporarily perform calculations with precision exceeding the maximum supported size of integers, and then return the result to its native size again. -
24
Archive of Formal Proofs
A collection of machine-checkend mathematical proofs
The Archive of Formal Proofs is a collection of proof libraries, examples, and larger scientifc developments, mechanically checked in the theorem prover Isabelle. It is organized in the way of a scientific journal. Submissions are refereed. -
25
GLPK for Java
Java language binding for the GNU Linear Programming Kit (GLPK)
GLPK for Java provides a Java language binding for the library GLPK. GLPK is a proven solver for linear and mixed integer mathematical programming problems. For Windows binaries see project GLPK for Windows (http://sourceforge.net/projects/winglpk/).
