Repository Index

Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more

• jax

Suite of tools for deploying and training deep learning models using the JVM. Highlights include model import for keras, tensorflow, and onnx/pytorch, a modular and tiny c++ library for running math code and a java based math library on top of the core c++ library. Also includes samediff: a pytorch/tensorflow like library for running deep learn...

• java
• gpu
• deeplearning
• neural-nets

PyTorch3D is FAIR's library of reusable components for deep learning with 3D data

Multi-language suite for high-performance solvers of differential equations and scientific machine learning (SciML) components. Ordinary differential equations (ODEs), stochastic differential equations (SDEs), delay differential equations (DDEs), differential-algebraic equations (DAEs), and more in Julia.

• differential-equations
• differentialequations
• julia
• ode

A lean C++ library for working with point cloud data

• point-cloud
• icp
• ransac
• convex-hull

An axiom-free formalization of category theory in Coq for personal study and practical work

• category-theory
• coq
• monad
• profunctor

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

A Compositional Numeric Library for C++

• cmake
• cpp
• fixed-point
• safe

A simple script for fracturing polygons. Also adds nice helper functions for polygons like calculateArea, triangulate, getRandomPointsInPolygon, getBoundingRect)

• gdscript
• polygon2d-fracture
• godot-engine
• godot

Ark -- Archetype-based Entity Component System (ECS) for Go.

• ecs
• entity-component-system
• go
• golang

Mathematical Components compliant Analysis Library

• rocq
• analysis
• coq
• mathcomp

A framework for high-performance domain decomposition methods.

• c-plus-plus
• linear-algebra
• python
• fortran

TransformerCPI: Improving compound–protein interaction prediction by sequence-based deep learning with self-attention mechanism and label reversal experiments(BIOINFORMATICS 2020) https://doi.org/10.1093/bioinformatics/btaa524

• self-attention
• compound-protein-interaction
• transformercpi
• structure-free-virtual-sreening

Mission-control style spacecraft tracker in Rust: live ISS, Dragon, Hubble, JWST and Roman orbits, passes and schedules. Retro CRT themes, and a mode for Raspberry Pi + composite CRT.

Data visualisation web components for the life sciences.

• biohackeu21
• bioinformatics
• visualization
• webcomponents

A powerful library extending VBA with over 100 functions for math, stats, finance, and data manipulation. It supports matrix operations, and user-defined functions, enhancing automation and analysis within Microsoft Office and LibreOffice environments for data management, financial calculations, an more.

• equation-systems
• mathematical-expression-parser
• mathematical-expressions-evaluator
• determinant-calculation

Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components and SSReflect [maintainers=@CohenCyril,@palmskog]

• coq
• mathcomp
• ssreflect
• tarjan-algorithm