Our great sponsors
| rfcs | design | |
|---|---|---|
| 8 | 2 | |
| 51 | 14 | |
| - | - | |
| 2.1 | 3.3 | |
| about 1 month ago | 11 months ago | |
| Apache License 2.0 | 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.
rfcs
Posts with mentions or reviews of rfcs.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2023-05-08.
-
What are the current hot topics in type theory and static analysis?
I would add that Equality saturation/E-graphs has become quite a hot topic recently, since their POPL21 paper, with workshops dedicated to applications of e-graphs. They have even recently been added to Cranelift as an IR for optimizations.
-
Blog Post: Next Rust Compiler
I think with Cranelift's investment into an e-graph based optimizer (https://github.com/bytecodealliance/rfcs/blob/main/accepted/cranelift-egraph.md) they are well positioned to have quite competitive performance as a backend.
-
Inko in 2023
They're also actively working in this area, for example the recently added equality saturation framework and the pattern matching DSL it builds on.
-
Wasmtime Reaches 1.0: Fast, Safe and Production Ready!
There's an RFC here: https://github.com/bytecodealliance/rfcs/pull/28 and Saúl Cabrera, the person who is leading this effort and implementing the compiler tier, has a work-in-progress draft PR here: https://github.com/bytecodealliance/wasmtime/pull/4907
We discussed that a bunch in the RFC: https://github.com/bytecodealliance/rfcs/pull/14 . The conclusion was, in short, that the current Wasmtime production users didn't yet require an LTS release process, and the maintenance of an LTS is pretty onerous, so we would come up with one in the future as those requirements become more clear: https://github.com/bytecodealliance/rfcs/pull/14#discussion\_r708638804
design
Posts with mentions or reviews of design.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2023-01-25.
-
Blog Post: Next Rust Compiler
If you have any user stories, that could be interesting for marker, I'd appreciate a user story in the design repo. I'm also open to answer any potential questions :)
-
Understanding #[derive(Clone)]
Sure is! The GitHub org is [rust-linting](github.com/rust-linting), with the design work taking place in the only repository (rust-linting/design). So far no code, just talking things through. It's only a few weeks old — there was a post I made on IRLO for the initial idea.
What are some alternatives?
When comparing rfcs and design you can also consider the following projects:
rust - Empowering everyone to build reliable and efficient software.
gtk-rs - Rust bindings for GTK 3