spiderlightning
A set of WIT definitions and associated implementations to enable app developers to work at a faster pace and require less knowledge of the environment in which they are executing. (by deislabs)
rfcs
RFC process for Bytecode Alliance projects (by bytecodealliance)
Our great sponsors
| spiderlightning | rfcs | |
|---|---|---|
| 1 | 8 | |
| 302 | 57 | |
| 1.3% | - | |
| 5.5 | 5.2 | |
| 13 days ago | 1 day ago | |
| Rust | ||
| MIT License | 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.
spiderlightning
Posts with mentions or reviews of spiderlightning.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2022-09-20.
-
Wasmtime Reaches 1.0: Fast, Safe and Production Ready!
Yes, wit-bindgen is the way forward here. It's under active development, though a lot of the basic interface-types functionality is implemented and usable. As an example of it in action, check out the wit interface files in this project: https://github.com/deislabs/spiderlightning/blob/main/docs/primer.md
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
- Cranelift: Using E-Graphs for Verified, Cooperating Middle-End Optimizations
- Cranelift Progress Report: A Look Back at 2021
What are some alternatives?
When comparing spiderlightning and rfcs you can also consider the following projects:
lucet - Lucet, the Sandboxing WebAssembly Compiler.
reduze - Zig program reduction is upstream in compiler due to various parser + formatter interactions.
wasi-messaging - messaging proposal for WASI
buck2 - Build system, successor to Buck
wasmer - 🚀 The leading Wasm Runtime supporting WASIX, WASI and Emscripten
libaco - A blazing fast and lightweight C asymmetric coroutine library 💎 ⛅🚀⛅🌞
wasmtime - A fast and secure runtime for WebAssembly
design
witx-codegen - WITX code and documentation generator for AssemblyScript, Zig, Rust and more.
marker - An experimental linting interface for Rust. Let's make custom lints a reality
hylo - The Hylo programming language