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/node-webrtc
node-webrtc is a Node.js Native Addon that provides bindings to WebRTC M95
corwin-of-amber/netbsd-curses-wasm
libcurses and dependencies taken from netbsd and brought into a portable shape (at least to musl or glibc)
corwin-of-amber/coreutils-wasm
upstream mirror
corwin-of-amber/make-wasm
Forked from git://git.savannah.gnu.org/make
corwin-of-amber/micropython-wasm
A port of MicroPython to WASI, using wasi-kernel
corwin-of-amber/addon-snu-sflib
SNU's sflib addon for jsCoq
corwin-of-amber/Android.inSecure-SHell
A telnet like client/server application using pseudo-terminals (pty) that runs a Bash shell session on the remote server. [fork,forkpty,select,epoll,ipv6 code]
corwin-of-amber/coq-serapi
Coq Protocol Playground with Se(xp)rialization of Internal Structures.
corwin-of-amber/DefinitelyTyped
The repository for high quality TypeScript type definitions.
corwin-of-amber/hanzivg
Stroke order SVG files for Chinese Hanzi characters
corwin-of-amber/jszip
Create, read and edit .zip files with Javascript
corwin-of-amber/kanjivg
Kanji description and vectorial data in correct stroke order
corwin-of-amber/llvm.js
LLVM compiled to JavaScript using Emscripten
corwin-of-amber/lsynci
A small command-line utility in the spirit of lsyncd
corwin-of-amber/mdnahas.github.io
Michael Nahas's professional website
corwin-of-amber/memfs
In-memory filesystem with Node's API
corwin-of-amber/nearley
Simple, fast, powerful parsing for JavaScript.
corwin-of-amber/npm-installer
corwin-of-amber/ocaml-wasm--num
The legacy Num library for arbitrary-precision integer and rational arithmetic that used to be part of the OCaml core distribution
corwin-of-amber/OS.Slim.Debian
A slim Debian image for QEMU based on debian:10-slim
corwin-of-amber/osjs-filemanager-application
OS.js v3 File Manager Application
corwin-of-amber/osjs-panels
OS.js v3 Panels Module
corwin-of-amber/sf
Mirror of Software Foundations in PDF
corwin-of-amber/suslik
Synthesis of Heap-Manipulating Programs from Separation Logic
corwin-of-amber/synctex-js
A Synctex file parser for JavaScript
corwin-of-amber/Tut.iRobot
An exercise in graph traversal algorithms
corwin-of-amber/vis-network
:dizzy: Display dynamic, automatically organised, customizable network views.
corwin-of-amber/vue-component-compiler
Compile a single file Vue component into a CommonJS module.
corwin-of-amber/Web.P2P.CM6-AM1
Playground for collaborative editing with CodeMirror 6 and Automerge 1.0
corwin-of-amber/Web.SketchVG
A lean SVG editor with customizable shape components