欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
WebAssembly
来自开放百科 - 灰狐
WebAssembly是一种新的编码方式，可以在现代的网络浏览器中运行。
目录 |
简介
WebAssembly 是一种低级的类汇编语言，具有紧凑的二进制格式，可以接近原生的性能运行，并为诸如 C / C++ / Rust 等语言提供一个编译目标，以便它们可以在 Web 上运行。它也被设计为可以与 JavaScript 共存，允许两者一起工作。
规范
指南
项目
- Awesome Wasm
- Yew
- WebAssembly Studio
- Blazor
- Perspective streaming pivot visualization
- vim.wasm
- AssemblyScript
图集
工作原理
Vim构建过程
Vim用户交互
链接
分享您的观点
