Extra contribution for mathcomp
- theorem-proving
- primality-test
- matroid
- rsa-algorithm
47,133 repositories indexed
145–153 of 153 · Most stars
Extra contribution for mathcomp
Port of godot-math to D: vectors, matrices, rectangles, points, AABBs, planes, frustums.
Framework-agnostic polygon intersection library for Lua
A common interface used for modeling Mathematical Programs (e.g., Convex Optimization problems) in the language Go (Golang).
Genetic Algorithm Implementation for Ada
Fully functional Hungarian Algorithm implementation in Ada
High performance, zero-allocation, low memory usage (8 bytes), low precision (17 digits), partially compatible with int64 and shopspring Decimal
Mutta Puffs is a sports league scheduler automated on thousands of computers from decentralized market of computational power in Golem.
Simulating Lorenz attractor on Golem.network