malyzajko/cassia
Public repository.
Public GitHub Catalog
Discovered Oct 2, 2026
malyzajko / xfp
Synthesizer for accurate fixed-point arithmetic expressions
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#22951455GitHub System ID
malyzajkoOrganization / User
PublicVisibility
ActiveCatalog Status
More from malyzajko
malyzajko/GSoC_PDE_solver
Google Summer of Code Scala Numerical PDE solver
malyzajko/ScalaZ3
Binders and more to the Z3 SMT solver for Scala
malyzajko/ceres
Useful stuff for certified numerical results in Scala