The ORCA Python Interface (OPI) is a Python library to create input and parse output of ORCA. It is designed as an open source community effort to make ORCA calculations as accessible as possible and ...

Abstract: Advances in ultrasonics, that have been translated to new techniques for ultrasound image acquisition and its post-processing, have been done not only by the use of hardware developments and ...

We have formally verified all non-trivial functions of this library using the Sui Prover. Verification was performed by Asymptotic in partnership with Bluefin. This library is a fork the widely-used ...