algorithm-j
typed-index-collections
algorithm-j | typed-index-collections | |
---|---|---|
1 | 2 | |
48 | 57 | |
- | - | |
10.0 | 0.0 | |
over 2 years ago | over 1 year ago | |
OCaml | Rust | |
MIT License | Apache License 2.0 |
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.
algorithm-j
-
References confuse me
For context, I'm currently trying to implement Hindley-Milner type-inference for a stack-based language by kind-of translating this ML code and now I've hit the following roadblock:
typed-index-collections
- References confuse me
-
Whats your favourite open source Rust project that needs more recognition?
typed-index-collections
What are some alternatives?
spotify-tui - Spotify for the terminal written in Rust 🚀
gutenberg - A fast static site generator in a single binary with everything built-in. https://www.getzola.org
tauri - Build smaller, faster, and more secure desktop applications with a web frontend.
bevy - A refreshingly simple data-driven game engine built in Rust
Plume - Federated blogging application, thanks to ActivityPub (now on https://git.joinplu.me/ — this is just a mirror)
RG3D - 3D and 2D game engine written in Rust [Moved to: https://github.com/FyroxEngine/Fyrox]
volta - Volta: JS Toolchains as Code. âš¡
aircraft - The A32NX & A380X Project are community driven open source projects to create free Airbus aircraft in Microsoft Flight Simulator that are as close to reality as possible.
eve-rs - A simple, intuitive, express-like HTTP library
uniffi-rs - a multi-language bindings generator for rust
Rust-Bio - This library provides implementations of many algorithms and data structures that are useful for bioinformatics. All provided implementations are rigorously tested via continuous integration.