https://github.com/lorenzleutgeb/cakeml-wasm
https://github.com/lorenzleutgeb/cakeml-wasm
Last synced: 3 months ago
JSON representation
- Host: GitHub
- URL: https://github.com/lorenzleutgeb/cakeml-wasm
- Owner: lorenzleutgeb
- License: bsd-3-clause
- Created: 2018-08-20T03:41:01.000Z (almost 7 years ago)
- Default Branch: master
- Last Pushed: 2018-09-28T01:38:25.000Z (over 6 years ago)
- Last Synced: 2025-01-17T16:56:28.703Z (5 months ago)
- Language: JavaScript
- Homepage:
- Size: 15.6 KB
- Stars: 0
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE.txt
Awesome Lists containing this project
README
# CakeML WebAssembly Runtime
This repository contains everything needed to run a
CakeML program compiled to WebAssembly in the browser.
What it offers in particular is a basic harness that will
take the WebAssembly module (obtained through CakeML) and
instantiate it with links to a JS implementation of the FFI.
## Build Instructions
```bash
# Install dependencies such as Webpack and BrowserFS
npm install
# Place your module in out
cp .../main.wasm out
# Generate a HTML that will bundle everything
npm run build
# Done! Open out/index.html in your browser.
```
## Dependencies
The CakeML basis offers foreign functions that enable
file I/O. Instead of implementing our own file system
(probably POSIX compatible, mocking linux syscalls)
we implement those foreign functions by wrapping
[BrowserFS](https://github.com/jvilk/BrowserFS).