WasmCert-Isabelle
wasm-lisp
WasmCert-Isabelle | wasm-lisp | |
---|---|---|
1 | 1 | |
17 | 14 | |
- | - | |
0.0 | 10.0 | |
almost 2 years ago | about 4 years ago | |
Isabelle | Common Lisp | |
BSD 2-clause "Simplified" License | MIT License |
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.
WasmCert-Isabelle
wasm-lisp
-
Take More Screenshots
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).
What are some alternatives?
electron-vlog - Take video recordings, screenshots and time-lapses of your Electron app with ease
learn-fpga - Learning FPGA, yosys, nextpnr, and RISC-V
meetings - WebAssembly meetings (VC or in-person), agendas, and notes
flexible-vectors - Vector operations for WebAssembly
rust-wasm - A simple and spec-compliant WebAssembly interpreter
Lifeslice - Automatically take webcam pics, screenshot, and other metrics throughout the day.
riscv-v-spec - Working draft of the proposed RISC-V V vector extension
bubbleos
wasm-bindgen - Facilitating high-level interactions between Wasm modules and JavaScript
TimeSnap - Windows automatic screenshot tool