WasmCert-Isabelle
A mechanisation of Wasm in Isabelle. (by WasmCert)
electron-vlog
Take video recordings, screenshots and time-lapses of your Electron app with ease (by CatalanCabbage)
| WasmCert-Isabelle | electron-vlog | |
|---|---|---|
| 1 | 2 | |
| 17 | 1 | |
| - | - | |
| 0.0 | 10.0 | |
| almost 2 years ago | almost 3 years ago | |
| Isabelle | JavaScript | |
| BSD 2-clause "Simplified" License | MIT 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.
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
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.
electron-vlog
Posts with mentions or reviews of electron-vlog.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2023-01-28.
-
Take More Screenshots
I built something to take periodic screenshots of Electron apps while discarding duplicates. Sadly I never got around to building more Electron apps, so it's not feature complete (I intended it to have more options). But the basic periodic screenshotting mechanism works.
I might continue if there's any interest :)
https://github.com/CatalanCabbage/electron-vlog
The core part works, but never got around to releasing it as an npm package.
https://github.com/CatalanCabbage/electron-vlog
What are some alternatives?
When comparing WasmCert-Isabelle and electron-vlog you can also consider the following projects:
wasm-lisp - Experimental Lisp to WebAssembly Compiler
bubbleos
meetings - WebAssembly meetings (VC or in-person), agendas, and notes
rust-wasm - A simple and spec-compliant WebAssembly interpreter
Lifeslice - Automatically take webcam pics, screenshot, and other metrics throughout the day.
flexible-vectors - Vector operations for WebAssembly
tropy - Research photo management
mgcapture - Lightweight application to capture screenshots on interval. Runs in the background.
TimeSnap - Windows automatic screenshot tool
riscv-v-spec - Working draft of the proposed RISC-V V vector extension
WasmCert-Isabelle vs wasm-lisp
electron-vlog vs bubbleos
WasmCert-Isabelle vs meetings
electron-vlog vs rust-wasm
WasmCert-Isabelle vs rust-wasm
electron-vlog vs Lifeslice
WasmCert-Isabelle vs flexible-vectors
electron-vlog vs tropy
WasmCert-Isabelle vs bubbleos
electron-vlog vs mgcapture
WasmCert-Isabelle vs TimeSnap
electron-vlog vs riscv-v-spec