OpenGL Mathematics (GLM)
- glm
- opengl
- mathematics
- vector
Repository Index
47,133 repositories indexed
1–24 of 61 · Most stars
A Python-embedded modeling language for convex optimization problems.
- python
- cvxpy
- optimization
- modeling-language
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
- proof-assistant
- coq
- theorem-proving
- dependent-types
C++ implementation of the Python Numpy library
- python
- numpy
- c-plus-plus
- numerical-analysis
A fast and flexible implementation of Rigid Body Dynamics algorithms and their analytical derivatives
- robotics
- dynamics
- analytical-derivatives
- kinematics
Powerful modern math library for PHP: Features descriptive statistics and regressions; Continuous and discrete probability distributions; Linear algebra with matrices and vectors, Numerical analysis; special mathematical functions; Algebra
CasADi is a symbolic framework for numeric optimization implementing automatic differentiation in forward and reverse modes on sparse matrix-valued computational graphs. It supports self-contained C-code generation and interfaces state-of-the-art codes such as SUNDIALS, IPOPT etc. It can be used from C++, Python, Matlab/Octave, Julia or Javascript
- optimization
- nonlinear
- derivatives
- code-generation
ProtTrans is providing state of the art pretrained language models for proteins. ProtTrans was trained on thousands of GPUs from Summit and hundreds of Google TPUs using Transformers Models.
:chart_with_upwards_trend: Adaptive: parallel active learning of mathematical functions
- adaptive-learning
- machine-learning
- python
- live-plots
This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.
- coq
- mathematics
- unimath
- coq-library
:spider_web: Gmsh for Python
- python
- pypi
- mesh-generation
- engineering
:triangular_ruler: Numerical integration (quadrature, cubature) in Python
- quadrature
- integration
- mathematics
- engineering
Throw in the towel.
- dotnet
- towel
- csharp
- library
RBDL is a C++ library that contains some essential and efficient rigid body dynamics algorithms such as the Articulated Body Algorithm (ABA) for forward dynamics, Recursive Newton-Euler Algorithm (RNEA) for inverse dynamics, the Composite Rigid Body Algorithm (CRBA) for the efficient computation of the joint space inertia matrix and is also able to compute forward dynamics with external contact constraints and collision impulses. Furthermore it has some basic support for forward and inverse kinematics.
- articulated-body-algorithm
- inverse-dynamics
- forward-dynamics
- multi-body-dynamics
:1234: Bits, bytes and general-purpose calculator
- storage
- storage-unit-converter
- command-line
- standalone
The Point Processing Toolkit (pptk) is a Python package for visualizing and processing 2-d/3-d point clouds.
- pointclouds
- 3-d
- visualization
- lidar
:spider_web: Mesh optimization, mesh smoothing.
- python
- pypi
- mathematics
- physics
Model layer for Meteor
- javascript
- astronomy
- meteor
- schema
A thin layer of graphic data types
- graphics-library
- vector
- transformations
- matrix
A C/C++ header file for fast 32-bit division remainders (and divisibility tests) on 64-bit hardware.
- performance
Native R and Python sample-deletion robustness for omics: candidate certificates, minimum deletion bounds, Bioconductor model refits and donor-level pseudobulk
- bioinformatics
- exact-optimization
- metabolomics
- paired-data
Open source math and physics engine that executes MATLAB-syntax code. Features a modern compiler, automatic GPU acceleration for large calculations, and support for math on geometry / FEA calculations.
- matlab
- rust
- jit-compiler
- linear-algebra
Schema and generated objects for biolink data model and upper ontology
- biolink
- monarchinitiative
- gene-ontology
- datamodel
Ankh: Optimized Protein Language Model