fleet
magmide
Our great sponsors
fleet | magmide | |
---|---|---|
17 | 22 | |
2,414 | 803 | |
0.5% | 0.9% | |
2.9 | 6.6 | |
10 months ago | 27 days ago | |
Rust | Coq | |
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.
fleet
-
Help me love Rust - compilation time
fleet is an awesome tool for faster builds for non-production purposes. In some cases it gave me 10-15x compilation speed.
-
why rust compiler is slow?
one simple way is to use fleet, they have collected most of optimizations possible for building.
- Fixed it even more
-
Welcome to the Reddit!
Hey there! I’m Grinder, the community manager of Dimension. Dimension is an awesome project that has published a ton of useful open source projects, such as fleet and volt. You can view our Github for all our projects that we’ve released.
-
Welcome to the Reddit Community!
We’ve created awesome things, such as fleet and volt.
- Fleet - 🚀 the blazing fast build tool for rust.
-
Hello Letlang! My programming language targeting Rust
Since each Letlang module compiles to a single crate, crates are very small and their build can be parallelized quite easily (see https://github.com/dimensionhq/fleet). My hypothesis is that this will help reduce build time.
- Sccache – Shared Compilation Cache
- Fleet
- Fleet: The fast build tool for Rust
magmide
-
Languages on the rise like Rust and Go are being quite vocal against inheritance and many engineers seem to agree. Is this the end of inheritance? What do you think?
https://github.com/magmide/magmide when
-
Kani 0.29.0 has been released!
How close are we to this https://github.com/magmide/magmide
- Announcing Magmide Month! (proof language for/using Rust)
- A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
- Make formal verification and provably correct software practical and mainstream
What are some alternatives?
mold - Mold: A Modern Linker ðŸ¦
Rudra - Rust Memory Safety & Undefined Behavior Detection
fluvio - Lean and mean distributed stream processing system written in rust and web assembly.
tectonic - A modernized, complete, self-contained TeX/LaTeX engine, powered by XeTeX and TeXLive.
volt - An experimental package management tool for JavaScript. Upto 30x faster installation of dependencies using pre-flattened dependency trees.
line-combination-proofs
rab - Rusty Armor Builds - Monster Hunter Rise Armor Set Creation Tool
z3 - The Z3 Theorem Prover
Cargo - The Rust package manager
practical-fm - A gently curated list of companies using verification formal methods in industry
sccache - Sccache is a ccache-like tool. It is used as a compiler wrapper and avoids compilation when possible. Sccache has the capability to utilize caching in remote storage environments, including various cloud storage options, or alternatively, in local storage.
csharplang - The official repo for the design of the C# programming language