https://github.com/propensive/hypotenuse

A rigorous and consistent foundation for numerical and arithmetic programming
https://github.com/propensive/hypotenuse

arithmetic bitwise-operations scala typesafety unsigned-integers

Last synced: 24 days ago
JSON representation

A rigorous and consistent foundation for numerical and arithmetic programming

• Host: GitHub
• URL: https://github.com/propensive/hypotenuse
• Owner: propensive
• License: apache-2.0
• Created: 2024-01-11T12:04:42.000Z (10 months ago)
• Default Branch: main
• Last Pushed: 2024-08-27T11:53:02.000Z (2 months ago)
• Last Synced: 2024-08-27T23:17:28.030Z (2 months ago)
• Topics: arithmetic, bitwise-operations, scala, typesafety, unsigned-integers
• Language: Scala
• Homepage: https://soundness.dev/hypotenuse/
• Size: 902 KB
• Stars: 2
• Watchers: 2
• Forks: 0
• Open Issues: 2
• Metadata Files:
  • Readme: readme.md
  • Contributing: contributing.md
  • License: license.md

Awesome Lists containing this project