corwin-of-amber

Pinned Repositories

bellmaniac
Deductive synthesis of cache-oblivious dynamic algorithms
Language:Scala3 9 03
busybox
Porting busybox to macOS and WASI
Language:C4 2 01
corwin-of-amber.github.io
Language:HTML0 1 00
jscoq
A port of Coq to Javascript -- Run Coq in your Browser
Language:JavaScript2 1 00
node-webrtc
node-webrtc is a Node.js Native Addon that provides bindings to WebRTC M95
Language:C++4 0 03
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.
Language:JavaScript27 2 00
ocaml-wasm
The core OCaml system: compilers, runtime system, base libraries; WebAssembly port based on wasi-kernel
Language:OCaml45 3 00
wasi-kernel
Simple process management for WASM modules running in workers, based on WASI
Language:TypeScript21 2 13
webrtc-swarm
Create a swarm of p2p connections using webrtc and a signalhub
Language:JavaScript4 0 03

corwin-of-amber's Repositories

corwin-of-amber/ocaml-wasm
The core OCaml system: compilers, runtime system, base libraries; WebAssembly port based on wasi-kernel
Language:OCaml45 3 00
corwin-of-amber/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.
Language:JavaScript27 2 00
corwin-of-amber/wasi-kernel
Simple process management for WASM modules running in workers, based on WASI
Language:TypeScript21 2 13
corwin-of-amber/busybox
Porting busybox to macOS and WASI
Language:C4 2 01
corwin-of-amber/osjs-delight
A simple starting point for playing around with OS.js v3
Language:JavaScript3 1 00
corwin-of-amber/Web.OS.Shell
Browser-based desktop UI for interacting with WASI, using wasmer-js and wasi-kernel.
Language:TypeScript3 1 02
corwin-of-amber/Web.P2P.Dat
A distributed concurrent document editing application using Dat components
Language:JavaScript2 0 0
corwin-of-amber/nanotex
A very lean TeX distribution based on TeX Live
Language:TeX1 2 0
corwin-of-amber/NutShell
Language:TypeScript1 1 0
corwin-of-amber/techcs-236346
Project in Hardware and Software Verification (Adder2Snake)
Language:Jupyter Notebook1 1 02
corwin-of-amber/Technion.Web.VPN
Language:TypeScript1 1 0
corwin-of-amber/Web.Kremlin
Language:TypeScript1 0 0
corwin-of-amber/Algonquin.Radiant
Prime Radiant: automated reasoning IDE
Language:TypeScript1 0
corwin-of-amber/Algonquin.TransCal
Language:Scala1 0
corwin-of-amber/Android.Tube
Bare-bones YouTube player for Android with HTML5
Language:Java0 0
corwin-of-amber/ocaml-wasm--janestreet-base
Standard library for OCaml (WASM port)
Language:OCaml0 0
corwin-of-amber/ocaml-wasm--Zarith
The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementation, based on GMP, is very efficient.
Language:OCaml0 0
corwin-of-amber/Sindarin.Compiler
A compiler and software analysis playground
Language:TypeScript3 02
corwin-of-amber/techcs-236347
Software Synthesis and Automated Reasoning (SSAR)
Language:Python1 07
corwin-of-amber/vuebook
Notebook interface for Vue3
Language:TypeScript0 0
corwin-of-amber/wasmer
🚀 The leading WebAssembly Runtime supporting WASI and Emscripten
Language:Rust0 0
corwin-of-amber/wasmer-js
Monorepo for Javascript WebAssembly packages by Wasmer
Language:JavaScript0 0
corwin-of-amber/Web.Author
A Web-based authorship tools for LaTeX and HTML
Language:TeX1 0
corwin-of-amber/Web.CI
Friendly CI for Web applications
Language:TypeScript1 0
corwin-of-amber/Web.Cinema
Language:LiveScript1 0
corwin-of-amber/Web.Jup
Language:TypeScript1 0
corwin-of-amber/Web.OS.Desktop
A desktop UI with terminal emulator for Web.OS.Shell
Language:TypeScript1 0
corwin-of-amber/Web.Page
My Personal Web Page
Language:HTML1 0
corwin-of-amber/Web.Present
Web-technology based slideshow with annotations
Language:LiveScript1 0
corwin-of-amber/Web.Scrape
Assorted Web scraping scripts
Language:Python1 0