Pinned Repositories
bellmaniac
Deductive synthesis of cache-oblivious dynamic algorithms
busybox
Porting busybox to macOS and WASI
corwin-of-amber.github.io
jscoq
A port of Coq to Javascript -- Run Coq in your Browser
node-webrtc
node-webrtc is a Node.js Native Addon that provides bindings to WebRTC M95
nw.js
(Fork for unofficial Apple M1 builds) Call all Node.js modules directly from DOM/WebWorker and enable a new way of writing applications with all Web technologies.
ocaml-wasm
The core OCaml system: compilers, runtime system, base libraries; WebAssembly port based on wasi-kernel
wasi-kernel
Simple process management for WASM modules running in workers, based on WASI
webrtc-swarm
Create a swarm of p2p connections using webrtc and a signalhub
corwin-of-amber's Repositories
corwin-of-amber/Documents
Miscellaneous documents for ACM OOPSLA
corwin-of-amber/node-bluetooth
Bluetooth serial port communication for Node.js