rust-wasm VS WasmCert-Isabelle

Compare rust-wasm vs WasmCert-Isabelle and see what are their differences.

rust-wasm

A simple and spec-compliant WebAssembly interpreter (by yblein)
Rust WASM
Source Code
Suggest alternative
Edit details

WasmCert-Isabelle

A mechanisation of Wasm in Isabelle. (by WasmCert)
Suggest topics
Source Code
Suggest alternative
Edit details
InfluxDB - Power Real-Time Data Analytics at Scale
Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
www.influxdata.com
featured
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured
rust-wasm WasmCert-Isabelle
1 1
86 17
- -
0.0 0.0
11 months ago almost 2 years ago
Rust Isabelle
ISC License BSD 2-clause "Simplified" License
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.

rust-wasm

Posts with mentions or reviews of rust-wasm. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2022-07-24.
  • Take More Screenshots
    24 projects | news.ycombinator.com | 24 Jul 2022
    It is a lot, but not quite 1000, yet. From https://webassembly.github.io/spec/core/appendix/index-instr... I see 436 instructions including SIMD which is over half the population. If I filtered it correctly, it looks like there are about 203 instructions in Wasm without SIMD. Many of those are not necessary for most programs.

    There at least three small Wasm interpreters in Rust

    4kloc https://github.com/yblein/rust-wasm

    3kloc https://github.com/k-nasa/wai

    500loc https://github.com/rustwasm/wasm-bindgen/tree/HEAD/crates/wa...

    This list has 169 Wasm instructions https://github.com/rolfrm/wasm-lisp/blob/master/instruction....

    Wirth's RISC is neat, I'd love to re-do it in RISC-V (only 47 instructions in the base ISA). UM, Chifir and UXN look like Art (not pejorative), I'll definitely read the Chifir paper. They would be great systems to run on top of Wasm.

    https://git.sr.ht/~bctnry/chifir

    One might be able squeeze a Chifir VM into an ESP-32 (with external PSRAM).

WasmCert-Isabelle

Posts with mentions or reviews of WasmCert-Isabelle. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2022-07-24.

What are some alternatives?

When comparing rust-wasm and WasmCert-Isabelle you can also consider the following projects:

wain - WebAssembly implementation from scratch in Safe Rust with zero dependencies

electron-vlog - Take video recordings, screenshots and time-lapses of your Electron app with ease

learn-fpga - Learning FPGA, yosys, nextpnr, and RISC-V

wasm-lisp - Experimental Lisp to WebAssembly Compiler

flexible-vectors - Vector operations for WebAssembly

meetings - WebAssembly meetings (VC or in-person), agendas, and notes

wai - a wasm interpreter written by rust

bubbleos

Lifeslice - Automatically take webcam pics, screenshot, and other metrics throughout the day.

TimeSnap - Windows automatic screenshot tool

rust-wasm vs wain WasmCert-Isabelle vs electron-vlog rust-wasm vs learn-fpga WasmCert-Isabelle vs wasm-lisp rust-wasm vs flexible-vectors WasmCert-Isabelle vs meetings rust-wasm vs wai WasmCert-Isabelle vs flexible-vectors rust-wasm vs electron-vlog WasmCert-Isabelle vs bubbleos rust-wasm vs Lifeslice WasmCert-Isabelle vs TimeSnap