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