47,133 repositories indexed
1–24 of 29 · Most stars
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.
Lightweight, general, scalable C++ library for finite element methods
The Control Toolbox - An Open-Source C++ Library for Robotics, Optimal and Model Predictive Control
Kratos Multiphysics (A.K.A Kratos) is a framework for building parallel multi-disciplinary simulation software. Modularity, extensibility and HPC are the main objectives. Kratos has BSD license and is written in C++ with extensive Python interface.
Official Repository for the Uni-Mol Series Methods
C++ library for solving large sparse linear systems with algebraic multigrid method
QuadriFlow: A Scalable and Robust Method for Quadrangulation
Parallel solvers for sparse linear systems featuring multigrid methods.
libMesh github repository
A flexible framework for solving PDEs with modern spectral methods.
Firedrake is an automated system for the portable solution of partial differential equations using the finite element method (FEM)
Numerical linear algebra software package
A Python platform to perform parallel computations of optimisation tasks (global and local) via the asynchronous generalized island model.
A Python native dynamical system simulation framework in the block diagram paradigm.
Advanced date, time and interval library for Java with sun/moon-astronomy and calendars like Chinese, Coptic, Ethiopian, French Republican, Hebrew, Hijri, Historic Christian, Indian National, Japanese, Julian, Korean, Minguo, Persian, Thai, Vietnamese
High performance computational platform in Python for the spectral Galerkin method
Umbrella package of the 'spatstat' family................
An automatic code generator for nonlinear model predictive control (NMPC) and the continuation/GMRES method (C/GMRES) based numerical solvers for NMPC
A framework for high-performance domain decomposition methods.
:dart: Accurate sums and dot products for Python.
A platform independent tensor library with autograd for the JVM
High-Dimensional Gene Expression and Morphology Profiles of Cells across 28,000 Genetic and Chemical Perturbations
Methods for Image-Based Cell Profiling
A foundation model-driven whole slide image-scale cell phenotyping method with QuPath integration Resources