47,133 repositories indexed
1–12 of 12 · 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.
Scientific workflow engine designed for simplicity & scalability. Trivially transition between one off use cases to massive scale production environments
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
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.
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