Search Package Index

fpbench

Tools for the FPBench numerical software standards (more info at http://fpbench.org/)

This package needs documentation

This package needs license metadata

social-contract

High-level, composable syntax for describing contracts.

This package needs license metadata