Ranked by Attention Score: stars gained over the last 180 complete days
11 repositories by Attention Score · May 9, 2026 – Nov 4, 2026 (UTC)
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.
Multiphysics Object Oriented Simulation Environment: A robust, modern, extendable, finite element/finite volume framework that excels at creating complex multiphysics simulations.
Real-time multi-physics simulation with an emphasis on medical simulation.
Public/backup repository of the GROMACS molecular simulation toolkit. Please do not mine the metadata blindly; we use https://gitlab.com/gromacs/gromacs for code review and issue tracking.
The Chemistry Development Kit
An open library for the analysis of molecular dynamics trajectories
libMesh github repository
a unified framework for modeling chemically reactive systems
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