Search Package Index

fpbench

• meλef06fca
• dthienλ050820d

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

This package needs documentation

This package needs license metadata

social-contract

• skasivajλa994fcf

High-level, composable syntax for describing contracts.

This package needs license metadata