malyzajko/xfp
Synthesizer for accurate fixed-point arithmetic expressions
Public repository discovered through GitHub real-time crawl.
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
Synthesizer for accurate fixed-point arithmetic expressions
Google Summer of Code Scala Numerical PDE solver
Binders and more to the Z3 SMT solver for Scala
Useful stuff for certified numerical results in Scala