Repository Index

OFF, Open source Finite volume Fluid dynamics code

• fluid-dynamics
• fortran
• oop
• cfd

Arbitrary Big Integer Library for Pascal

• intx
• biginteger
• pascal
• fpc

Partial Commutative Monoids

• partial-commutative-monoid
• separation-logic
• coq
• coq-library

UV-first benchmark for protein-ligand docking with reproducible annotation, pocket similarity, and HPC workflows.

• benchmark
• bioinformatics
• cheminformatics
• computational-chemistry