Search Package Index

fpbench

• me@pavpanchekha.com
• dthien@cs.washington.edu

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

This package needs documentation

social-contract

• skasivaj@gmail.com

High-level, composable syntax for describing contracts.