Pinned Loading
Repositories
- vscode-wasm Public Forked from microsoft/vscode-wasm
A WASI implementation that uses VS Code's extension host as the implementing API
agda-web/vscode-wasm’s past year of commit activity - cowasm Public Forked from sagemathinc/cowasm
CoWasm: Collaborative WebAssembly for Servers and Browsers. Built using Zig. Supports Python with extension modules, including numpy.
agda-web/cowasm’s past year of commit activity - agda Public Forked from agda/agda
[For generating patches for https://github.com/agda-web/agda-wasm-dist] Agda is a dependently typed programming language / interactive theorem prover.
agda-web/agda’s past year of commit activity - wasmer Public Forked from wasmerio/wasmer
[Patched Wasmer 4.3.2? as a dependency of Wasmer JS SDK v0.7.1] 🚀 The leading Wasm Runtime supporting WASIX, WASI and Emscripten
agda-web/wasmer’s past year of commit activity - wasmer-js Public Forked from wasmerio/wasmer-js
[Forked for changing stream buffer sizes] Monorepo for Javascript WebAssembly packages by Wasmer
agda-web/wasmer-js’s past year of commit activity
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…