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/webrtc-swarm
Create a swarm of p2p connections using webrtc and a signalhub
corwin-of-amber/jscoq
A port of Coq to Javascript -- Run Coq in your Browser
corwin-of-amber/node-pty
Fork pseudoterminals in Node.JS
corwin-of-amber/acorn-globals
Use acorn to detect global variables in JavaScript
corwin-of-amber/dat-p2p-chat
A simple chat room using Dat components
corwin-of-amber/Teaching.Verification.Project
Accompanying material and benchmarks for 236347.
corwin-of-amber/corwin-of-amber.github.io
corwin-of-amber/automerge-slots
A thin layer for accessing Automerge elements through a unified interface
corwin-of-amber/egraphs-good.github.io
egraphs-good website
corwin-of-amber/ELINA
ELINA: ETH LIbrary for Numerical Analysis
corwin-of-amber/firepad-core
Concurrent Text Editing core -- forked from Firepad
corwin-of-amber/hastebin
open source pastebin written in node.js
corwin-of-amber/js-shell-parse
parse bash, with javascript (UNMAINTAINED)
corwin-of-amber/LiveScript
LiveScript is a language which compiles to JavaScript. It has a straightforward mapping to JavaScript and allows you to write expressive code devoid of repetitive boilerplate. While LiveScript adds many features to assist in functional style programming, it also has many improvements for object oriented and imperative programming.
corwin-of-amber/llvm-project
This is the canonical git mirror of the LLVM subversion repository. The repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
corwin-of-amber/mujs
An embeddable Javascript interpreter in C.
corwin-of-amber/napkin
Utilities for publishing packages through GitHub
corwin-of-amber/osjs-xterm-application
OS.js Xterm Application
corwin-of-amber/qcow2-rs
Rust support for qcow2 virtual disk images.
corwin-of-amber/signalhubws
Signalhub implementation with websockets
corwin-of-amber/SolvingGeometry
corwin-of-amber/Toy.Harlequin
An experiment on exploring the border between a computer keyboard and keyboard instruments.
corwin-of-amber/TS-Snake
Simple snake game written in TypeScript
corwin-of-amber/Tut.WebGL
A simple WebGL "Hello World"
corwin-of-amber/uwsgi
uWSGI application server container
corwin-of-amber/vue-file-list
A simple nested file list for Vue 2 & 3
corwin-of-amber/wacoq-bin
Coq WebAssembly interface
corwin-of-amber/Web.3D.Workshop
corwin-of-amber/Web.Crossword
A simple crossword puzzle UI with import from image (right-to-left for Hebrew)
corwin-of-amber/Web.Noise
Noise detection app