Search Package Index

2 packages found

	Package	Description	Build
-1669167611	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 Tags: floating-point numerical standards This package needs license metadata	succeeds	4
-1641679219	social-contract skasivaj@gmail.com	High-level, composable syntax for describing contracts. Docs: social-contract Tags: contracts dsl standards syntax types This package needs license metadata	succeeds	2

Package

Description

Build