2 packages found
Tools for the FPBench numerical software standards (more info at http://fpbench.org/)
This package needs documentation
High-level, composable syntax for describing contracts.