Search Package Index

softposit-herbie

• me@pavpanchekha.com

SoftPosit support for Herbie

This package needs documentation

softposit-rkt

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

Racket bindings for the C softposit library. More info at posithub.org (currently only works on Linux 64-bit.)