open-source-software
PyPEEC - 3D Quasi-Magnetostatic Solver
Find region name for a given MNI coordinate in a selected atlas
A ESBMC command line wrapper.
Discover the geography of open-source software.
LSVerifier - Large Systems Verifier
