47,133 repositories indexed
1–17 of 17 · 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.
Mesa is an open-source Python library for agent-based modeling, ideal for simulating complex systems and exploring emergent behaviors.
Multiphysics Object Oriented Simulation Environment: A robust, modern, extendable, finite element/finite volume framework that excels at creating complex multiphysics simulations.
LAPACK development repository
Linear algebra, eigenvalues, FFT, Bessel, elliptic, orthogonal polys, geometry, NURBS, numerical quadrature, 3D transfinite interpolation, random numbers, Mersenne twister, probability distributions, optimisation, differential equations.
Scientific workflow engine designed for simplicity & scalability. Trivially transition between one off use cases to massive scale production environments
A header-only C++ library for large scale eigenvalue problems
ACADO Toolkit is a software environment and algorithm collection for automatic control and dynamic optimization. It provides a general framework for using a great variety of algorithms for direct optimal control, including model predictive control, state and parameter estimation and robust optimization.
Python-centric Cookiecutter for Molecular Computational Chemistry Packages
V library to develop Artificial Intelligence and High-Performance Scientific Computations
A generic interface for the environmental perception of automated driving functions in virtual scenarios.
Multiresolution Adaptive Numerical Environment for Scientific Simulation
Code that makes the Iowa Environmental Mesonet run, or run into the ground.
Trick Simulation Environment. Trick provides a common set of simulation capabilities and utilities to build simulations automatically.
⚡ Open-source software for deep learning-based digital pathology
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.
Portability Environment for Fortran poor people