Agda
Agda formalisation of the Introduction to Homotopy Type Theory (by HoTT-Intro)
cgmath-rs
A linear algebra and mathematics library for computer graphics. (by rustgd)
Our great sponsors
| Agda | cgmath-rs | |
|---|---|---|
| 1 | 4 | |
| 116 | 1,080 | |
| 0.0% | 0.0% | |
| 0.0 | 0.0 | |
| over 2 years ago | over 1 year ago | |
| Agda | Rust | |
| GNU General Public License v3.0 only | Apache License 2.0 |
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
Agda
Posts with mentions or reviews of Agda.
We have used some of these posts to build our list of alternatives
and similar projects.
cgmath-rs
Posts with mentions or reviews of cgmath-rs.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2022-08-02.
-
Hey Rustaceans! Got a question? Ask here! (31/2022)!
Take a look into math libraries, like glam, nalgebra, and cgmath. I've only used these through game engines, though, so I can't offer per-basis reviews/advice.
-
Any plans for built-in support of Vec2/Vec3/Vec4 in Rust?
But I am writing a Vulkan-based game engine and I use https://crates.io/crates/cgmath extensively. It has vector classes, all the math functions I need, and it even supports a version of swizzling if you activate the feature. Maybe this crate can do what you need?
-
I want to change my point of view by key input in glium.
There's also a good crate which you can use to quickly create the required matrices called cgmath: https://crates.io/crates/cgmath
-
Rendering large 3D tilemaps with a single draw call at 3000 FPS
One great thing about Rust is that the library ecosystem is surprisingly mature, especially considering how young the language is (1.0 was released in 2015). C# also has good libraries, but from my experience it's kinda fiddly to use most open source libraries with Unity, at least without modifications. Rust's ecosystem has some excellent libraries that help with game development, such as noise for procedural generation and cgmath for linear algebra.