Public development project of the LAMMPS MD software package
- molecular-dynamics
- lammps
- simulation
- kokkos
Repository Index
47,133 repositories indexed
1–2 of 2 · Most stars
The formal proof of the Odd Order Theorem
- coq
- ssreflect
- mathcomp
- feit-thompson-theorem