https://github.com/lordubuntu/maths

Maths algorithms and data structures you'll find useful, formally verified and optimized
https://github.com/lordubuntu/maths

algebra algorithms calculus computer-algebra-system data-structures design-by-contract formal-verification mathematical-programming mathematics maths property-based-testing

Last synced: 7 months ago
JSON representation

Maths algorithms and data structures you'll find useful, formally verified and optimized

• Host: GitHub
• URL: https://github.com/lordubuntu/maths
• Owner: LordUbuntu
• License: other
• Created: 2022-09-06T19:54:59.000Z (over 3 years ago)
• Default Branch: main
• Last Pushed: 2025-09-09T06:42:58.000Z (7 months ago)
• Last Synced: 2025-09-09T09:16:28.489Z (7 months ago)
• Topics: algebra, algorithms, calculus, computer-algebra-system, data-structures, design-by-contract, formal-verification, mathematical-programming, mathematics, maths, property-based-testing
• Language: Python
• Homepage:
• Size: 194 KB
• Stars: 1
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README