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