Search Results for "mathematics"
Sort By:
70 projects for "mathematics" with 2 filters applied:
-
Ship Agents FasterGemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
-
$300 Free Credits to Build on Google CloudPut your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
-
1
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... -
2
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. -
3
Think Bayes 2
Text and code for the second edition of Think Bayes, by Allen Downey
Think Bayes 2 is the companion repository for the second edition of Allen B. Downey’s introduction to Bayesian statistics. It teaches Bayesian reasoning through computational methods instead of relying mainly on symbolic mathematics. Each chapter is presented as a Jupyter notebook where readers can study the text, run examples, and complete exercises. Separate solution materials help learners check their work and explore alternative approaches. The lessons cover probability distributions, Bayesian updating, estimation, prediction, comparison, and decision-making. ... -
4
tlaplus
TLC is an explicit state model checker for specifications in TLA+
...TLA+ is a high-level language for modeling programs and systems--especially concurrent and distributed ones. It's based on the idea that the best way to describe things precisely is with simple mathematics. TLA+ and its tools are useful for eliminating fundamental design errors, which are hard to find and expensive to correct in code. -
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.
-
5
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. -
6
Interval arithmetic for Ada
An implementation of interval arithmetic
The library provides an implementation of intervals for Ada. It includes arithmetic and relational operations. The library supports intervals with integer and floating-point bounds. Dimensioned intervals are also supported -
7
zkcm
A C++ library for multiprecision complex-number matrix calculations.
zkcm library is a C++ library for multi-precision complex-number matrix calculations. It provides a number of functionalities including the LU decomposition, the singular value decomposition, tensor product calculation, tracing-out operations, etc. -
8
rechne.exe
Command-line calculator and libray.
Easy-to-use command-line calculator for basic and scientific calculations. -
9
GluCat: Clifford algebra templates
Calculation with Clifford algebras: C++ library and Python module
GluCat is a generic library of C++ templates that implement universal Clifford algebras over the field of real numbers. The PyClical extension module for Python gives users an easy Python scripting interface for calculations in Clifford algebras. The name PyClical is an homage to Pertti Lounesto's CLICAL. -
Go from Code to Production URL in SecondsSkip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.
-
10
SigPack
SigPack - A signal processing library using Armadillo
SigPack is a C++ signal processing library using the Armadillo library as a base. The API will be familiar for those who has used IT++ and Octave/Matlab. -
11
glslmath
C++ header-only library that simulates GLSL math
GLSLmath provides C++ math operations as defined by GLSL. For example, it provides methods to easily setup viewing transformations and perspective projections. GLSLmath has been inspired by the glm and slmath libraries, which aim to mimic GLSL, but in contrast to those GLSLmath does not focus on a complete conforming implementation of GLSL. It rather aims to provide a convenient single header file that implements the most commonly used subset of GLSL so that it is easy to use for rapid... -
12
JME (Java Math Expression)
Evaluador de expresiones matemáticas para Java en español
Biblioteca para Java que implementa un potente evaluador matemático en español y un lenguaje estructurado de script, JMEScript, que hace uso de éste. Puede evaluar expresiones altamente complejas, que incluyen; * vectores * matrices * números complejos * números enteros y reales de precisión arbitraria, * expresiones booleanas * conjuntos * cadenas * diccionarios * grafos * correspondencias y relaciones finitas Permite especificar operaciones y funciones definidas por el... -
13
Metatheory.jl
General purpose algebraic metaprogramming
Metatheory.jl is a general purpose term rewriting, metaprogramming and algebraic computation library for the Julia programming language, designed to take advantage of the powerful reflection capabilities to bridge the gap between symbolic mathematics, abstract interpretation, equational reasoning, optimization, composable compiler transforms, and advanced homoiconic pattern matching features. The core features of Metatheory.jl are a powerful rewrite rule definition language, a vast library of functional combinators for classical term rewriting and an e-graph rewriting, a fresh approach to term rewriting achieved through an equality saturation algorithm. ... -
14
ACM Cheat Sheet
This book uses templates open-sourced by Chen Shuo
...Topics include fundamentals, linear lists, stacks, queues, strings, trees, graphs, sorting, searching, breadth-first search, and depth-first search. Additional chapters cover greedy methods, divide and conquer, brute force, dynamic programming, mathematics, big integers, and practical programming techniques. The source is written in LaTeX and includes diagrams and downloadable compiled PDF editions. A prepared Visual Studio Code development container supports consistent compilation on Windows, Linux, and macOS. Contributors can extend chapters or correct errors and verify the output locally before submitting changes. -
15
Julia.jl
Curated decibans of Julia programming language
Julia.jl is a curated collection of knowledge resources for the Julia programming language, designed to support high-performance numerical analysis and computational science. The repository aggregates diverse content across domains such as mathematics, physics, data science, optimization, machine learning, and supercomputing. It functions as a structured index, helping developers, researchers, and learners easily find materials to deepen their understanding of Julia’s ecosystem. The project emphasizes community contributions, encouraging users to expand and refine the resource pool. ... -
16
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. -
17
Towel
Throw in the towel
A .NET library intended to make coding a bit more tolerable, data structures, algorithms, mathematics, metadata, extensions, consoles, and more. -
18
Pythonidae
Curated decibans of scientific programming resources in Python
Pythonidae is a curated collection of scientific programming resources in Python, designed to support research and development across a wide range of disciplines. The repository organizes tools and libraries into domain-specific categories, including mathematics, statistics, machine learning, artificial intelligence, biology, chemistry, physics, earth sciences, and supercomputing. It also covers practical areas such as build automation, databases, APIs, computer graphics, and utilities, offering a structured reference for both academic and applied work. While the primary focus is on Python, some entries also highlight resources implemented in other languages like Julia, R, Go, and Java. ... -
19
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. -
20
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 from industry practices as well as academic knowledge, bridging the gap between theory and real-world application. The content is often supplemented with diagrams, examples, and explanations that clarify complex topics. ... -
21
yafu
Automated integer factorization
Check yafu on github for the latest code. YAFU (with assistance from other free software) uses the most powerful modern algorithms (and implementations of them) to factor input integers in a completely automated way. The automation within YAFU is state-of-the-art, combining factorization algorithms in an intelligent and adaptive methodology that minimizes the time to find the factors of arbitrary input integers. Most algorithm implementations are multi-threaded, allowing YAFU to fully... -
22
Konbu Check
Linear constraint feasibility check and get program.
This program aims to check and gain a inner point from multiple set of linear constraints. This software works better in the case that range of variables are known and parameters are configured so. C++ and Eigen library needed, and to calculate more accurate, we may need mpfr++ library or, QD library. Freezed. -
23
-
24
The Time2 Java library provides generic time series with configurable time domains.
-
25
brl2mml
A library to convert between braille and MathML
**NOTE**: This project has been moved to https://github.com/timothytylee/brl2mml brl2mml is a library that can perform conversion between braille and MathML. It currently supports UK Maths braille.