Search Package Index

2 packages found

	Package	Description	Build
-1742169722	fpbench meλef06fca bsaikiλ382a939	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
-1704806582	social-contract skasivajλa994fcf	High-level, composable syntax for describing contracts. Docs: social-contract Tags: contracts dsl standards syntax types This package needs license metadata	succeeds	2