\n",
+ " \n",
+ "
\n",
+ "
\n",
+ "
\n",
+ "
\n",
+ "
\n",
+ "
\n",
+ "\n",
+ "* Open, low-level, fast, compact and safe\n",
+ "* Already works in most browsers\n",
+ "* Not limited to the web\n",
+ "\n"
+ ]
+ },
+ {
+ "cell_type": "markdown",
+ "metadata": {
+ "slideshow": {
+ "slide_type": "fragment"
+ }
+ },
+ "source": [
+ "
\n",
+ "\n",
+ "## We Pythonista's should embrace it!\n",
+ "\n",
+ "* E.g. run a Python VM in the browser\n",
+ "* E.g. compile subset of Python to fast, crossplatform code\n",
+ "* E.g. use Python as a platform to bind and execute WASM modules"
+ ]
+ },
+ {
+ "cell_type": "markdown",
+ "metadata": {
+ "slideshow": {
+ "slide_type": "fragment"
+ }
+ },
+ "source": [
+ "## Thanks!"
+ ]
+ }
+ ],
+ "metadata": {
+ "anaconda-cloud": {},
+ "celltoolbar": "Slideshow",
+ "kernelspec": {
+ "display_name": "Python 3",
+ "language": "python",
+ "name": "python3"
+ },
+ "language_info": {
+ "codemirror_mode": {
+ "name": "ipython",
+ "version": 3
+ },
+ "file_extension": ".py",
+ "mimetype": "text/x-python",
+ "name": "python",
+ "nbconvert_exporter": "python",
+ "pygments_lexer": "ipython3",
+ "version": "3.7.0"
+ }
+ },
+ "nbformat": 4,
+ "nbformat_minor": 2
+}
diff --git a/docs/WASM_almar_klein_demo/LICENSE b/docs/WASM_almar_klein_demo/LICENSE
new file mode 100644
index 0000000..f8d75ba
--- /dev/null
+++ b/docs/WASM_almar_klein_demo/LICENSE
@@ -0,0 +1,25 @@
+BSD 2-Clause License
+
+Copyright (c) 2018, Almar Klein
+All rights reserved.
+
+Redistribution and use in source and binary forms, with or without
+modification, are permitted provided that the following conditions are met:
+
+* Redistributions of source code must retain the above copyright notice, this
+ list of conditions and the following disclaimer.
+
+* Redistributions in binary form must reproduce the above copyright notice,
+ this list of conditions and the following disclaimer in the documentation
+ and/or other materials provided with the distribution.
+
+THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
+AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
+IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
+DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE
+FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
+DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
+SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
+CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
+OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
+OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
diff --git a/docs/WASM_almar_klein_demo/README.md b/docs/WASM_almar_klein_demo/README.md
new file mode 100644
index 0000000..d6be6f6
--- /dev/null
+++ b/docs/WASM_almar_klein_demo/README.md
@@ -0,0 +1,13 @@
+# The Rocket game, implemented in Rust, running in Python, via WASM
+
+A [Rocket game implemented in Rust](https://github.com/aochagavia/rocket_wasm)
+is compiled to WebAssembly (WASM). We take the resulting `.wasm` file, and run
+it in Python using [PPCI](https://bitbucket.org/windel/ppci/).
+
+* `rocket.wasm`: the wasm module compiled from Rust (by Adolfo).
+* `rocket.py`: the Python code to wrap the above in an app.
+* `info.py`: print some info about the wasm module.
+* `rocket.html`: for reference, the (nearly) original html/js to run the wasm module in the browser (standalone HTML).
+
+In this exercise, we take a wasm module as-is, inspect its imports and exports
+(WASM clearly defines these), and use this API to run the module in a Python app.
diff --git a/docs/WASM_almar_klein_demo/images/assembly1.png b/docs/WASM_almar_klein_demo/images/assembly1.png
new file mode 100644
index 0000000..a286bf2
Binary files /dev/null and b/docs/WASM_almar_klein_demo/images/assembly1.png differ
diff --git a/docs/WASM_almar_klein_demo/images/assembly2.png b/docs/WASM_almar_klein_demo/images/assembly2.png
new file mode 100644
index 0000000..0f4059a
Binary files /dev/null and b/docs/WASM_almar_klein_demo/images/assembly2.png differ
diff --git a/docs/WASM_almar_klein_demo/images/github_rocket.png b/docs/WASM_almar_klein_demo/images/github_rocket.png
new file mode 100644
index 0000000..978f039
Binary files /dev/null and b/docs/WASM_almar_klein_demo/images/github_rocket.png differ
diff --git a/docs/WASM_almar_klein_demo/images/github_rocket_wasm.png b/docs/WASM_almar_klein_demo/images/github_rocket_wasm.png
new file mode 100644
index 0000000..cba2da4
Binary files /dev/null and b/docs/WASM_almar_klein_demo/images/github_rocket_wasm.png differ
diff --git a/docs/WASM_almar_klein_demo/images/github_rocket_wasm_html.png b/docs/WASM_almar_klein_demo/images/github_rocket_wasm_html.png
new file mode 100644
index 0000000..3c86f9f
Binary files /dev/null and b/docs/WASM_almar_klein_demo/images/github_rocket_wasm_html.png differ
diff --git a/docs/WASM_almar_klein_demo/images/github_rocket_wasm_js.png b/docs/WASM_almar_klein_demo/images/github_rocket_wasm_js.png
new file mode 100644
index 0000000..41229e8
Binary files /dev/null and b/docs/WASM_almar_klein_demo/images/github_rocket_wasm_js.png differ
diff --git a/docs/WASM_almar_klein_demo/images/py_as_platform.png b/docs/WASM_almar_klein_demo/images/py_as_platform.png
new file mode 100644
index 0000000..83838ba
Binary files /dev/null and b/docs/WASM_almar_klein_demo/images/py_as_platform.png differ
diff --git a/docs/WASM_almar_klein_demo/images/py_to_browser.png b/docs/WASM_almar_klein_demo/images/py_to_browser.png
new file mode 100644
index 0000000..7f817b2
Binary files /dev/null and b/docs/WASM_almar_klein_demo/images/py_to_browser.png differ
diff --git a/docs/WASM_almar_klein_demo/images/pysnippet_to_wasm.png b/docs/WASM_almar_klein_demo/images/pysnippet_to_wasm.png
new file mode 100644
index 0000000..c68603a
Binary files /dev/null and b/docs/WASM_almar_klein_demo/images/pysnippet_to_wasm.png differ
diff --git a/docs/WASM_almar_klein_demo/images/python.png b/docs/WASM_almar_klein_demo/images/python.png
new file mode 100644
index 0000000..2f1715f
Binary files /dev/null and b/docs/WASM_almar_klein_demo/images/python.png differ
diff --git a/docs/WASM_almar_klein_demo/images/rocket_in_js.png b/docs/WASM_almar_klein_demo/images/rocket_in_js.png
new file mode 100644
index 0000000..8987f37
Binary files /dev/null and b/docs/WASM_almar_klein_demo/images/rocket_in_js.png differ
diff --git a/docs/WASM_almar_klein_demo/images/rocket_in_py.png b/docs/WASM_almar_klein_demo/images/rocket_in_py.png
new file mode 100644
index 0000000..5f17347
Binary files /dev/null and b/docs/WASM_almar_klein_demo/images/rocket_in_py.png differ
diff --git a/docs/WASM_almar_klein_demo/images/rocketgame.png b/docs/WASM_almar_klein_demo/images/rocketgame.png
new file mode 100644
index 0000000..135903b
Binary files /dev/null and b/docs/WASM_almar_klein_demo/images/rocketgame.png differ
diff --git a/docs/WASM_almar_klein_demo/images/start_rise_mode.png b/docs/WASM_almar_klein_demo/images/start_rise_mode.png
new file mode 100644
index 0000000..59bd7c3
Binary files /dev/null and b/docs/WASM_almar_klein_demo/images/start_rise_mode.png differ
diff --git a/docs/WASM_almar_klein_demo/images/wasm.png b/docs/WASM_almar_klein_demo/images/wasm.png
new file mode 100644
index 0000000..6964c19
Binary files /dev/null and b/docs/WASM_almar_klein_demo/images/wasm.png differ
diff --git a/docs/WASM_almar_klein_demo/info.py b/docs/WASM_almar_klein_demo/info.py
new file mode 100644
index 0000000..c40a6a8
--- /dev/null
+++ b/docs/WASM_almar_klein_demo/info.py
@@ -0,0 +1,43 @@
+"""
+Display some info about the WASM module, like imports and exports.
+"""
+
+from ppci import wasm
+
+filename = 'rocket.wasm'
+
+wasm_data = open(filename, 'rb').read()
+wasm_module = wasm.Module(wasm_data)
+
+print(f'WASM file {filename} is {len(wasm_data)/2**10:0.1f} KiB')
+
+wasm_module.show_interface()
+
+
+# types = wasm_module['type']
+# imports = wasm_module['import']
+# exports = wasm_module['export']
+# functions = wasm_module['func']
+#
+#
+# print('\nImports:')
+# for c in imports:
+# #c.show()
+# assert c.kind == 'func' # we assume only func imports
+# sig = types[c.info[0].index]
+# print(f' {c.modname}.{c.name}:'.ljust(20), f'{sig.params} -> {sig.result}')
+#
+# print('\nExports:')
+# for c in exports:
+# # c.show()
+# if c.kind == 'func':
+# func = functions[c.ref.index - functions[0].id]
+# sig = types[func.ref.index]
+# print(f' {c.name}:'.ljust(20), f'{sig.params} -> {sig.result}')
+# else:
+# print(f' {c.kind} "{c.name}"')
+#
+#
+# # Export it yto textual form
+# with open('rocket.wat', 'wt') as f:
+# f.write(wasm_module.to_string())
diff --git a/docs/WASM_almar_klein_demo/play_python.py b/docs/WASM_almar_klein_demo/play_python.py
new file mode 100644
index 0000000..fa4a5c8
--- /dev/null
+++ b/docs/WASM_almar_klein_demo/play_python.py
@@ -0,0 +1,74 @@
+"""
+You should probably just ignore this ...
+"""
+
+import struct
+from ppci.wasm.wasm2ppci import create_memories
+from ppci.wasm.runtime import create_runtime
+from ppci.wasm import
+
+wasm_data = open('rocket.wasm', 'rb').read()
+wasm_module = Module(wasm_data)
+memories = create_memories(wasm_module)
+rt = create_runtime()
+# print(memories)
+
+def current_memory():
+ size = (mem0_end - mem0_start) // (1 << 16)
+ print('current memory', size)
+ return size
+rt['current_memory'] = current_memory
+
+def grow_memory(delta):
+ global mem0_end
+ assert mem0_end == gen_rocket_wasm.heap_top()
+ print('grow_memory', delta)
+ gen_rocket_wasm.heap.extend(bytes(delta * 64 * 1024))
+ mem0_end = gen_rocket_wasm.heap_top()
+ size = (mem0_end - mem0_start) // (1 << 16)
+ print('new memory size', size)
+ return size
+ # assert mem0_end == len(gen_rocket_wasm.heap) + 0x10000000
+
+rt['grow_memory'] = grow_memory
+
+def get_str(ptr):
+ """ Get a 0 terminated string """
+ data = []
+ while True:
+ b = gen_rocket_wasm.read_mem(ptr, 1)[0]
+ if b == 0:
+ break
+ else:
+ data.append(b)
+ ptr += 1
+ return bytes(data).decode('ascii')
+
+def trace_func(ptr):
+ # Lookup name:
+ print('Trace function entrance:', get_str(ptr))
+
+rt['trace'] = trace_func
+
+print(rt)
+import gen_rocket_wasm
+
+# Fixup external functions:
+for name, f in rt.items():
+ # TODO: make a choice between those two options:
+ gen_rocket_wasm.externals[name] = f
+ setattr(gen_rocket_wasm, name, f)
+
+# Attach memory:
+mem0_start = gen_rocket_wasm.heap_top()
+print('memory size:', len(memories[0]), hex(mem0_start))
+gen_rocket_wasm.heap.extend(memories[0])
+mem0_end = gen_rocket_wasm.heap_top()
+wasm_mem0 = gen_rocket_wasm.wasm_mem0_address
+gen_rocket_wasm.store_i32(mem0_start, wasm_mem0)
+
+# rocket_wasm.func_pointers[]
+gen_rocket_wasm._run_init()
+
+gen_rocket_wasm.draw()
+
diff --git a/docs/WASM_almar_klein_demo/rise.css b/docs/WASM_almar_klein_demo/rise.css
new file mode 100644
index 0000000..6bd83be
--- /dev/null
+++ b/docs/WASM_almar_klein_demo/rise.css
@@ -0,0 +1,3 @@
+.reveal h1, .reveal h2, .reveal h3 {
+ font-family: ubuntu, helvetica, sans-serif;
+}
\ No newline at end of file
diff --git a/docs/WASM_almar_klein_demo/rocket.html b/docs/WASM_almar_klein_demo/rocket.html
new file mode 100644
index 0000000..87db3ce
--- /dev/null
+++ b/docs/WASM_almar_klein_demo/rocket.html
@@ -0,0 +1,203 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/docs/WASM_almar_klein_demo/rocket.py b/docs/WASM_almar_klein_demo/rocket.py
new file mode 100644
index 0000000..4a43ddf
--- /dev/null
+++ b/docs/WASM_almar_klein_demo/rocket.py
@@ -0,0 +1,89 @@
+""" Run rocket.wasm in Python!
+
+* Load the wasm module, compile to PPCI IR and then to native.
+* Load the native object in memory, feed it the API it needs (wasm imports).
+* Implement a Python app that uses the exposed API (wasm exports).
+
+At the moment, the game is text based. But we can use Qt or SDL2 (or tk?)
+to run it visually, and also feed in user interaction.
+"""
+
+import math
+import logging
+import time
+import io
+import os
+
+from ppci import wasm
+from ppci.utils.reporting import HtmlReportGenerator
+
+#logging.basicConfig(level=logging.DEBUG) # this produces so much output that it slows things down a lot
+logging.basicConfig(level=logging.WARN)
+
+# Load the wasm module
+filename = os.path.join(os.path.dirname(__file__), 'wasm', 'rocket.wasm')
+game_data = open(filename, 'rb').read()
+game_module = wasm.Module(game_data)
+
+
+class BaseRocketGame:
+ """ Simple rocket game, text based, without user input.
+ """
+
+ def __init__(self, game_module=game_module):
+ # Create import dict from methods
+ env = {}
+ for name in dir(self):
+ if name.startswith('wasm_'):
+ env[name[5:]] = getattr(self, name)
+ self.imports = dict(env=env)
+
+ # Instantiate game module
+ self.game = wasm.instantiate(game_module, self.imports, target='python')
+
+ def run(self):
+ """ Enter the game's main loop.
+ """
+ self.game.exports.resize(100, 100)
+ while True:
+ time.sleep(0.5)
+ self.game.exports.update(0.1)
+ self.game.exports.draw()
+
+ # We never call these ...
+ # self.game.exports.toggle_shoot(b)
+ # self.game.exports.toggle_turn_left(b)
+ # self.game.exports.toggle_turn_right(b)
+ # self.game.exports.toggle_boost(b)
+
+ def wasm_sin(self, a:float) -> float:
+ return math.sin(a)
+
+ def wasm_cos(self, a:float) -> float:
+ return math.cos(a)
+
+ def wasm_Math_atan(self, a:float) -> float:
+ return math.atan(a)
+
+ def wasm_clear_screen(self) -> None:
+ print('clearing screen')
+
+ def wasm_draw_bullet(self, x:float, y:float) -> None:
+ print(f'There is a bullet at {x}, {y}')
+
+ def wasm_draw_enemy(self, x:float, y:float) -> None:
+ print(f'There is an enemy at {x}, {y}')
+
+ def wasm_draw_particle(self, x:float, y:float, a:float) -> None:
+ print(f'There is a particle at {x}, {y} angle {a}')
+
+ def wasm_draw_player(self, x:float, y:float, a:float) -> None:
+ print(f'The player is at {x}, {y} angle {a}')
+
+ def wasm_draw_score(self, score:float) -> None:
+ print(f'The score is {score}!')
+
+
+if __name__ == '__main__':
+ game = BaseRocketGame()
+ game.run()
diff --git a/docs/WASM_almar_klein_demo/rocket_ai.py b/docs/WASM_almar_klein_demo/rocket_ai.py
new file mode 100644
index 0000000..6354096
--- /dev/null
+++ b/docs/WASM_almar_klein_demo/rocket_ai.py
@@ -0,0 +1,57 @@
+import os
+import time
+from ppci import wasm
+from rocket_qt import QtRocketGame
+
+# Load the wasm ai modules
+filename1 = os.path.join(os.path.dirname(__file__), 'wasm', 'ai1.wat')
+ai_data1 = open(filename1, 'rt').read()
+ai_module1 = wasm.Module(ai_data1)
+#
+filename2 = os.path.join(os.path.dirname(__file__), 'wasm', 'ai2.wasm')
+ai_data2 = open(filename2, 'rb').read()
+ai_module2 = wasm.Module(ai_data2)
+
+
+class AiRocketGame(QtRocketGame):
+
+ def __init__(self, ai_module=ai_module1):
+ super().__init__()
+ self.ai = wasm.instantiate(ai_module, self.imports, target='native')
+
+ def paintEvent(self, event):
+ super().paintEvent(event)
+ self.ai.exports.update()
+
+ def wasm_debug(self, a:float, b:float) -> None:
+ print('debug', a, b)
+
+ ## Imported methods of the AI module, which are exports to the game module
+
+ def wasm_toggle_shoot(self, b:int) -> None:
+ self.game.exports.toggle_shoot(bool(b))
+
+ def wasm_toggle_turn_left(self, b:int) -> None:
+ self.game.exports.toggle_turn_left(bool(b))
+
+ def wasm_toggle_turn_right(self, b:int) -> None:
+ self.game.exports.toggle_turn_right(bool(b))
+
+ ## Imported methods of the game module, which are exports to the AI module
+
+ def wasm_clear_screen(self) -> None: # [] -> []
+ super().wasm_clear_screen()
+ self.ai.exports.clear_screen()
+
+ def wasm_draw_enemy(self, x: float, y: float) -> None: # [(0, 'f64'), (1, 'f64')] -> []
+ super().wasm_draw_enemy(x, y)
+ self.ai.exports.draw_enemy(x, y)
+
+ def wasm_draw_player(self, x: float, y: float, a: float) -> None: # [(0, 'f64'), (1, 'f64'), (2, 'f64')] -> []
+ super().wasm_draw_player(x, y, a)
+ self.ai.exports.draw_player(x, y, a)
+
+
+if __name__ == '__main__':
+ game = AiRocketGame(ai_module2)
+ game.run()
diff --git a/docs/WASM_almar_klein_demo/rocket_pt.bat b/docs/WASM_almar_klein_demo/rocket_pt.bat
new file mode 100644
index 0000000..16874fd
--- /dev/null
+++ b/docs/WASM_almar_klein_demo/rocket_pt.bat
@@ -0,0 +1 @@
+python c:\dev\pylib\rocket_rust_py\rocket_pt.py
\ No newline at end of file
diff --git a/docs/WASM_almar_klein_demo/rocket_pt.py b/docs/WASM_almar_klein_demo/rocket_pt.py
new file mode 100644
index 0000000..7dbcb29
--- /dev/null
+++ b/docs/WASM_almar_klein_demo/rocket_pt.py
@@ -0,0 +1,157 @@
+""" Run the rocket game on prompt-toolkit.
+
+Not a lot of fun to play this way, but hey, it works over SSH!
+"""
+
+import sys
+import time
+import math
+
+import prompt_toolkit as pt
+
+from rocket import BaseRocketGame
+
+
+assert pt.__version__ > '2'
+
+
+styles = {
+ 'default': 'bg:#ffffff #000000',
+ 'enemy': 'bg:#ffff00 #000000',
+ 'bullet': 'bg:#ffffff #ff0000',
+ 'particle': 'bg:#ffffff #888888',
+ 'player': 'bg:#0000ff #000000',
+ }
+
+
+class RocketUiControl(pt.layout.UIControl):
+
+ def __init__(self, paintfunc):
+ self._paintfunc = paintfunc
+
+ def create_content(self, width, height):
+ lines = self._paintfunc(width, height)
+ # lines = [pt.formatted_text.to_formatted_text(line) for line in lines]
+ lines = [[(styles[d], s) for d, s in line] for line in lines]
+ return pt.layout.UIContent(lambda i: lines[i], len(lines), show_cursor=False)
+
+
+class PtRocketGame(BaseRocketGame):
+ """ Rocket game with prompt_toolkit providing a drawing canvas and user input,
+ so that it can run in the command line, and over SSH.
+ """
+
+ def __init__(self):
+ BaseRocketGame.__init__(self)
+
+ # Global key bindings.
+ bindings = pt.key_binding.KeyBindings()
+ for key in ('space', 'up', 'left', 'right', 'escape', 'q'):
+ bindings.add(key)(self._press_key)
+
+ control = RocketUiControl(self.paint)
+ container = pt.layout.containers.Window(content=control)
+ self._app = pt.application.Application(layout=pt.layout.Layout(container),
+ key_bindings=bindings,
+ min_redraw_interval=0.01,
+ mouse_support=False, full_screen=True)
+
+ self._size = 0, 0
+ self._lasttime = time.time()
+ self._highscore = 0
+ self._size_scale = 10
+ self._key_release = {}
+
+ def run(self):
+ self._app.run()
+
+ def paint(self, w, h):
+
+ # Resize?
+ if (w, h) != self._size:
+ self._size = w, h
+ self.game.exports.resize(w*self._size_scale, h*self._size_scale)
+
+ # Init lines
+ lines = []
+ for y in range(h+1):
+ lines.append([('default', ' ') for i in range(w+1)])
+ self._lines = lines
+
+ # Update and draw
+ progress = time.time() - self._lasttime
+ self._lasttime = time.time()
+ self.game.exports.update(progress)
+ self.game.exports.draw()
+
+ self._release_keys()
+ self._app.invalidate() # Request a new paint event (also see app.min_redraw_interval)
+ return self._lines
+
+ ## Events going into the WASM module
+
+ def _press_key(self, event):
+ try:
+ key = event.key_sequence[0].key
+ except Exception:
+ return
+ self._toggle_key(key, True)
+ self._key_release[key] = time.time() + 0.1
+
+ def _release_keys(self):
+ now = time.time()
+ for key in list(self._key_release.keys()):
+ t = self._key_release[key]
+ if t < now:
+ self._key_release.pop(key)
+ self._toggle_key(key, False)
+
+ def _toggle_key(self, key, b):
+ if key in (' ', 'space'):
+ self.game.exports.toggle_shoot(b)
+ elif key == 'left':
+ self.game.exports.toggle_turn_left(b)
+ elif key == 'right':
+ self.game.exports.toggle_turn_right(b)
+ elif key == 'up':
+ self.game.exports.toggle_boost(b)
+ elif key in ('q', 'escape'):
+ self._app.exit()
+
+ ## Events generated by WASM module
+
+ def wasm_clear_screen(self) -> None: # [] -> []
+ pass # not needed, we start with a blanc canvas each iteration
+
+ def _round_pos(self, x, y):
+ x = max(0, min(int(x / self._size_scale + 0.5), self._size[0]))
+ y = max(0, min(int(y / self._size_scale + 0.5), self._size[1]))
+ return x, y
+
+ def wasm_draw_bullet(self, x: float, y: float) -> None: # [(0, 'f64'), (1, 'f64')] -> []
+ x, y = self._round_pos(x, y)
+ self._lines[y][x] = 'bullet', '*'
+
+ def wasm_draw_enemy(self, x: float, y: float) -> None: # [(0, 'f64'), (1, 'f64')] -> []
+ x, y = self._round_pos(x, y)
+ self._lines[y][x] = 'enemy', 'O'
+
+ def wasm_draw_particle(self, x: float, y: float, a: float) -> None: # [(0, 'f64'), (1, 'f64'), (2, 'f64')] -> []
+ x, y = self._round_pos(x, y)
+ self._lines[y][x] = 'particle', '.'
+
+ def wasm_draw_player(self, x: float, y: float, a: float) -> None: # [(0, 'f64'), (1, 'f64'), (2, 'f64')] -> []
+ x, y = self._round_pos(x, y)
+ self._lines[y][x] = 'player', 'X'
+
+ def wasm_draw_score(self, score: float) -> None: # env.draw_score: [(0, 'f64')] -> []
+ score = int(score)
+ self._highscore = max(self._highscore, score)
+ text = f'Score: {score}, HighScore: {self._highscore}'
+ for i in range(len(text)):
+ self._lines[0][i] = 'default', text[i]
+
+
+if __name__ == '__main__':
+ game = PtRocketGame()
+ game.run()
diff --git a/docs/WASM_almar_klein_demo/rocket_qt.py b/docs/WASM_almar_klein_demo/rocket_qt.py
new file mode 100644
index 0000000..9bb8a4e
--- /dev/null
+++ b/docs/WASM_almar_klein_demo/rocket_qt.py
@@ -0,0 +1,105 @@
+""" Run the rocket game on Qt.
+"""
+
+import time
+import math
+
+from qtpy import QtWidgets, QtCore, QtGui
+
+from rocket import BaseRocketGame
+
+REL_SIZE = 2.5
+
+
+class QtRocketGame(BaseRocketGame, QtWidgets.QWidget):
+ """ Rocket game with Qt providing a drawing canvas and user input.
+ """
+
+ def __init__(self):
+ if not hasattr(QtWidgets, '_app'):
+ QtWidgets._app = QtWidgets.QApplication([])
+ QtWidgets.QWidget.__init__(self, None)
+ BaseRocketGame.__init__(self)
+ self.setWindowTitle("Rocket, written in Rust, compiled to WASM, running in Python, with Qt")
+ self.resize(900, 700)
+
+ self._lasttime = time.time()
+ self._highscore = 0
+
+ def run(self):
+ self.show()
+ QtWidgets.qApp.exec_()
+
+ def paintEvent(self, event):
+ self._painter = QtGui.QPainter()
+ self._painter.begin(self)
+ self._painter.setRenderHint(QtGui.QPainter.Antialiasing)
+
+ progress = time.time() - self._lasttime
+ self._lasttime = time.time()
+ self.game.exports.update(progress)
+ self.game.exports.draw()
+
+ self._painter.end()
+ self.update() # Request a new paint event
+
+ ## Events going into the WASM module
+
+ def resizeEvent(self, event):
+ self.game.exports.resize(self.width(), self.height())
+
+ def keyPressEvent(self, event):
+ self._toggleKey(event, True)
+
+ def keyReleaseEvent(self, event):
+ self._toggleKey(event, False)
+
+ def _toggleKey(self, event, b):
+ if event.key() == QtCore.Qt.Key_Space:
+ self.game.exports.toggle_shoot(b)
+ elif event.key() == QtCore.Qt.Key_Left:
+ self.game.exports.toggle_turn_left(b)
+ elif event.key() == QtCore.Qt.Key_Right:
+ self.game.exports.toggle_turn_right(b)
+ elif event.key() == QtCore.Qt.Key_Up:
+ self.game.exports.toggle_boost(b)
+
+ ## Events generated by WASM module
+
+ def wasm_clear_screen(self) -> None: # [] -> []
+ pass # not needed, we start with a blanc canvas each iteration
+
+ def wasm_draw_bullet(self, x: float, y: float) -> None: # [(0, 'f64'), (1, 'f64')] -> []
+ self._painter.setBrush(QtGui.QColor('#0f0'))
+ self._painter.drawEllipse(x, y, REL_SIZE*3, REL_SIZE*3)
+
+ def wasm_draw_enemy(self, x: float, y: float) -> None: # [(0, 'f64'), (1, 'f64')] -> []
+ self._painter.setBrush(QtGui.QColor('#ff0'))
+ self._painter.drawEllipse(x, y, REL_SIZE*14, REL_SIZE*14)
+
+ def wasm_draw_particle(self, x: float, y: float, a: float) -> None: # [(0, 'f64'), (1, 'f64'), (2, 'f64')] -> []
+ self._painter.setBrush(QtGui.QColor('#f04'))
+ self._painter.drawEllipse(x, y, REL_SIZE, REL_SIZE)
+
+ def wasm_draw_player(self, x: float, y: float, a: float) -> None: # [(0, 'f64'), (1, 'f64'), (2, 'f64')] -> []
+ p = QtGui.QPainterPath()
+ self._painter.save()
+ self._painter.translate(x, y)
+ self._painter.rotate(a*180/math.pi-90)
+ self._painter.translate(-x, -y)
+ p.moveTo(x, y + 12*REL_SIZE)
+ p.lineTo(x - 6*REL_SIZE, y - 6*REL_SIZE)
+ p.lineTo(x + 6*REL_SIZE, y - 6*REL_SIZE)
+ p.lineTo(x, y + 12*REL_SIZE)
+ self._painter.fillPath(p, QtGui.QBrush(QtGui.QColor("#00f")))
+ self._painter.restore()
+
+ def wasm_draw_score(self, score: float) -> None: # env.draw_score: [(0, 'f64')] -> []
+ score = int(score)
+ self._highscore = max(self._highscore, score)
+ self._painter.drawText(0, 20, f'Score: {score}, HighScore: {self._highscore}')
+
+
+if __name__ == '__main__':
+ game = QtRocketGame()
+ game.run()
diff --git a/docs/WASM_almar_klein_demo/wasm/ai1.wat b/docs/WASM_almar_klein_demo/wasm/ai1.wat
new file mode 100644
index 0000000..a97261a
--- /dev/null
+++ b/docs/WASM_almar_klein_demo/wasm/ai1.wat
@@ -0,0 +1,18 @@
+(module
+ (import "env" "toggle_shoot" (func $toggle_shoot (param i32)))
+ (import "env" "toggle_turn_left" (func $toggle_turn_left (param i32)))
+ (import "env" "toggle_turn_right" (func $toggle_turn_right (param i32)))
+ (export "clear_screen" (func $clear_screen))
+ (export "draw_player" (func $draw_player))
+ (export "draw_enemy" (func $draw_enemy))
+ (export "update" (func $update))
+ (func $clear_screen)
+ (func $draw_player (param $0 f32) (param $1 f32) (param $2 f32))
+ (func $draw_enemy (param $0 f32) (param $1 f32))
+ (func $update
+ (i32.const 1)
+ (call $toggle_turn_left)
+ (i32.const 1)
+ (call $toggle_shoot)
+ )
+)
\ No newline at end of file
diff --git a/docs/WASM_almar_klein_demo/wasm/ai2.c b/docs/WASM_almar_klein_demo/wasm/ai2.c
new file mode 100644
index 0000000..bf45abe
--- /dev/null
+++ b/docs/WASM_almar_klein_demo/wasm/ai2.c
@@ -0,0 +1,62 @@
+#include ![](\"images/title.png\")
![](\"images/msds_logo.png\"){kind=logo}
![](\"images/real_deep_learning.png\")
![](\"images/keras-logo-small.jpg\"){kind=logo}
![](\"images/neural_nets.jpg\")
![](\"images/neural-networks-layers.jpg\")
![](\"images/sum.png\")
![](\"images/function_3.png\")
![](\"images/layers.png\")
![](\"images/features.png\")
![](\"images/traditional-ml-deep-learning-2.png\")
![](\"images/tf_logo.jpg\"){kind=logo}
![](\"images/tf_features.png\")
![](\"images/mnist-digits.png\")
![](\"images/MNIST-Matrix.png\")
![](\"images/MNIST_neuralnet_image.png\")
![](\"images/mnist_keras.png\")
![](\"images/dense.png\")
![](\"images/waiting.jpg\")
![](\"images/twitter.png\")
![](\"https://www.thevintagenews.com/wp-content/uploads/2017/08/a-drinking-horn-from-the-16th-century-known-as-the-roordahuizum-drinking-horn-on-display-in-the-frisian-museum-at-leeuwarden-640x360.jpg\")
| \n", - " \n", - " | sepal_length\n", - " \n", - " | sepal_width\n", - " \n", - " | petal_length\n", - " \n", - " | petal_width\n", - " \n", - " | species\n", - " \n", - " |
|---|---|---|---|---|---|
| \n", - " \n", - " 45\n", - " \n", - " \n", - " | \n", - " \n", - " 4.8\n", - " \n", - " \n", - " | \n", - " \n", - " 3.0\n", - " \n", - " \n", - " | \n", - " \n", - " 1.4\n", - " \n", - " \n", - " | \n", - " \n", - " 0.3\n", - " \n", - " \n", - " | \n", - " \n", - " setosa\n", - " \n", - " \n", - " |
| \n", - " \n", - " 125\n", - " \n", - " \n", - " | \n", - " \n", - " 7.2\n", - " \n", - " \n", - " | \n", - " \n", - " 3.2\n", - " \n", - " \n", - " | \n", - " \n", - " 6.0\n", - " \n", - " \n", - " | \n", - " \n", - " 1.8\n", - " \n", - " \n", - " | \n", - " \n", - " virginica\n", - " \n", - " \n", - " |
| \n", - " \n", - " 49\n", - " \n", - " \n", - " | \n", - " \n", - " 5.0\n", - " \n", - " \n", - " | \n", - " \n", - " 3.3\n", - " \n", - " \n", - " | \n", - " \n", - " 1.4\n", - " \n", - " \n", - " | \n", - " \n", - " 0.2\n", - " \n", - " \n", - " | \n", - " \n", - " setosa\n", - " \n", - " \n", - " |
| \n", - " \n", - " 95\n", - " \n", - " \n", - " | \n", - " \n", - " 5.7\n", - " \n", - " \n", - " | \n", - " \n", - " 3.0\n", - " \n", - " \n", - " | \n", - " \n", - " 4.2\n", - " \n", - " \n", - " | \n", - " \n", - " 1.2\n", - " \n", - " \n", - " | \n", - " \n", - " versicolor\n", - " \n", - " \n", - " |
| \n", - " \n", - " 84\n", - " \n", - " \n", - " | \n", - " \n", - " 5.4\n", - " \n", - " \n", - " | \n", - " \n", - " 3.0\n", - " \n", - " \n", - " | \n", - " \n", - " 4.5\n", - " \n", - " \n", - " | \n", - " \n", - " 1.5\n", - " \n", - " \n", - " | \n", - " \n", - " versicolor\n", - " \n", - " \n", - " |
| \n", - " \n", - " 16\n", - " \n", - " \n", - " | \n", - " \n", - " 5.4\n", - " \n", - " \n", - " | \n", - " \n", - " 3.9\n", - " \n", - " \n", - " | \n", - " \n", - " 1.3\n", - " \n", - " \n", - " | \n", - " \n", - " 0.4\n", - " \n", - " \n", - " | \n", - " \n", - " setosa\n", - " \n", - " \n", - " |
| \n", - " \n", - " 146\n", - " \n", - " \n", - " | \n", - " \n", - " 6.3\n", - " \n", - " \n", - " | \n", - " \n", - " 2.5\n", - " \n", - " \n", - " | \n", - " \n", - " 5.0\n", - " \n", - " \n", - " | \n", - " \n", - " 1.9\n", - " \n", - " \n", - " | \n", - " \n", - " virginica\n", - " \n", - " \n", - " |
| \n", - " \n", - " | A\n", - " \n", - " | B\n", - " \n", - " | C\n", - " \n", - " | D\n", - " \n", - " | E\n", - " \n", - " |
|---|---|---|---|---|---|
| \n", - " \n", - " 0\n", - " \n", - " \n", - " | \n", - " \n", - " 1.0\n", - " \n", - " \n", - " | \n", - " \n", - " 1.329212\n", - " \n", - " \n", - " | \n", - " \n", - " nan\n", - " \n", - " \n", - " | \n", - " \n", - " -0.31628\n", - " \n", - " \n", - " | \n", - " \n", - " -0.99081\n", - " \n", - " \n", - " |
| \n", - " \n", - " 1\n", - " \n", - " \n", - " | \n", - " \n", - " 2.0\n", - " \n", - " \n", - " | \n", - " \n", - " -1.070816\n", - " \n", - " \n", - " | \n", - " \n", - " -1.438713\n", - " \n", - " \n", - " | \n", - " \n", - " 0.564417\n", - " \n", - " \n", - " | \n", - " \n", - " 0.295722\n", - " \n", - " \n", - " |
| \n", - " \n", - " 2\n", - " \n", - " \n", - " | \n", - " \n", - " 3.0\n", - " \n", - " \n", - " | \n", - " \n", - " -1.626404\n", - " \n", - " \n", - " | \n", - " \n", - " 0.219565\n", - " \n", - " \n", - " | \n", - " \n", - " 0.678805\n", - " \n", - " \n", - " | \n", - " \n", - " 1.889273\n", - " \n", - " \n", - " |
| \n", - " \n", - " 3\n", - " \n", - " \n", - " | \n", - " \n", - " 4.0\n", - " \n", - " \n", - " | \n", - " \n", - " 0.961538\n", - " \n", - " \n", - " | \n", - " \n", - " 0.104011\n", - " \n", - " \n", - " | \n", - " \n", - " -0.481165\n", - " \n", - " \n", - " | \n", - " \n", - " 0.850229\n", - " \n", - " \n", - " |
| \n", - " \n", - " 4\n", - " \n", - " \n", - " | \n", - " \n", - " 5.0\n", - " \n", - " \n", - " | \n", - " \n", - " 1.453425\n", - " \n", - " \n", - " | \n", - " \n", - " 1.057737\n", - " \n", - " \n", - " | \n", - " \n", - " 0.165562\n", - " \n", - " \n", - " | \n", - " \n", - " 0.515018\n", - " \n", - " \n", - " |
| \n", - " \n", - " 5\n", - " \n", - " \n", - " | \n", - " \n", - " 6.0\n", - " \n", - " \n", - " | \n", - " \n", - " -1.336936\n", - " \n", - " \n", - " | \n", - " \n", - " 0.562861\n", - " \n", - " \n", - " | \n", - " \n", - " 1.392855\n", - " \n", - " \n", - " | \n", - " \n", - " -0.063328\n", - " \n", - " \n", - " |
| \n", - " \n", - " 6\n", - " \n", - " \n", - " | \n", - " \n", - " 7.0\n", - " \n", - " \n", - " | \n", - " \n", - " 0.121668\n", - " \n", - " \n", - " | \n", - " \n", - " 1.207603\n", - " \n", - " \n", - " | \n", - " \n", - " -0.00204\n", - " \n", - " \n", - " | \n", - " \n", - " 1.627796\n", - " \n", - " \n", - " |
| \n", - " \n", - " 7\n", - " \n", - " \n", - " | \n", - " \n", - " 8.0\n", - " \n", - " \n", - " | \n", - " \n", - " 0.354493\n", - " \n", - " \n", - " | \n", - " \n", - " 1.037528\n", - " \n", - " \n", - " | \n", - " \n", - " -0.385684\n", - " \n", - " \n", - " | \n", - " \n", - " 0.519818\n", - " \n", - " \n", - " |
| \n", - " \n", - " 8\n", - " \n", - " \n", - " | \n", - " \n", - " 9.0\n", - " \n", - " \n", - " | \n", - " \n", - " 1.686583\n", - " \n", - " \n", - " | \n", - " \n", - " -1.325963\n", - " \n", - " \n", - " | \n", - " \n", - " 1.428984\n", - " \n", - " \n", - " | \n", - " \n", - " -2.089354\n", - " \n", - " \n", - " |
| \n", - " \n", - " 9\n", - " \n", - " \n", - " | \n", - " \n", - " 10.0\n", - " \n", - " \n", - " | \n", - " \n", - " -0.12982\n", - " \n", - " \n", - " | \n", - " \n", - " 0.631523\n", - " \n", - " \n", - " | \n", - " \n", - " -0.586538\n", - " \n", - " \n", - " | \n", - " \n", - " 0.29072\n", - " \n", - " \n", - " |
| \n", - " \n", - " | A\n", - " \n", - " | B\n", - " \n", - " | C\n", - " \n", - " | D\n", - " \n", - " | E\n", - " \n", - " |
|---|---|---|---|---|---|
| \n", - " \n", - " 0\n", - " \n", - " \n", - " | \n", - " \n", - " 1.0\n", - " \n", - " \n", - " | \n", - " \n", - " 1.329212\n", - " \n", - " \n", - " | \n", - " \n", - " nan\n", - " \n", - " \n", - " | \n", - " \n", - " -0.31628\n", - " \n", - " \n", - " | \n", - " \n", - " -0.99081\n", - " \n", - " \n", - " |
| \n", - " \n", - " 1\n", - " \n", - " \n", - " | \n", - " \n", - " 2.0\n", - " \n", - " \n", - " | \n", - " \n", - " -1.070816\n", - " \n", - " \n", - " | \n", - " \n", - " -1.438713\n", - " \n", - " \n", - " | \n", - " \n", - " 0.564417\n", - " \n", - " \n", - " | \n", - " \n", - " 0.295722\n", - " \n", - " \n", - " |
| \n", - " \n", - " 2\n", - " \n", - " \n", - " | \n", - " \n", - " 3.0\n", - " \n", - " \n", - " | \n", - " \n", - " -1.626404\n", - " \n", - " \n", - " | \n", - " \n", - " 0.219565\n", - " \n", - " \n", - " | \n", - " \n", - " 0.678805\n", - " \n", - " \n", - " | \n", - " \n", - " 1.889273\n", - " \n", - " \n", - " |
| \n", - " \n", - " 3\n", - " \n", - " \n", - " | \n", - " \n", - " 4.0\n", - " \n", - " \n", - " | \n", - " \n", - " 0.961538\n", - " \n", - " \n", - " | \n", - " \n", - " 0.104011\n", - " \n", - " \n", - " | \n", - " \n", - " -0.481165\n", - " \n", - " \n", - " | \n", - " \n", - " 0.850229\n", - " \n", - " \n", - " |
| \n", - " \n", - " 4\n", - " \n", - " \n", - " | \n", - " \n", - " 5.0\n", - " \n", - " \n", - " | \n", - " \n", - " 1.453425\n", - " \n", - " \n", - " | \n", - " \n", - " 1.057737\n", - " \n", - " \n", - " | \n", - " \n", - " 0.165562\n", - " \n", - " \n", - " | \n", - " \n", - " 0.515018\n", - " \n", - " \n", - " |
| \n", - " \n", - " 5\n", - " \n", - " \n", - " | \n", - " \n", - " 6.0\n", - " \n", - " \n", - " | \n", - " \n", - " -1.336936\n", - " \n", - " \n", - " | \n", - " \n", - " 0.562861\n", - " \n", - " \n", - " | \n", - " \n", - " 1.392855\n", - " \n", - " \n", - " | \n", - " \n", - " -0.063328\n", - " \n", - " \n", - " |
| \n", - " \n", - " 6\n", - " \n", - " \n", - " | \n", - " \n", - " 7.0\n", - " \n", - " \n", - " | \n", - " \n", - " 0.121668\n", - " \n", - " \n", - " | \n", - " \n", - " 1.207603\n", - " \n", - " \n", - " | \n", - " \n", - " -0.00204\n", - " \n", - " \n", - " | \n", - " \n", - " 1.627796\n", - " \n", - " \n", - " |
| \n", - " \n", - " 7\n", - " \n", - " \n", - " | \n", - " \n", - " 8.0\n", - " \n", - " \n", - " | \n", - " \n", - " 0.354493\n", - " \n", - " \n", - " | \n", - " \n", - " 1.037528\n", - " \n", - " \n", - " | \n", - " \n", - " -0.385684\n", - " \n", - " \n", - " | \n", - " \n", - " 0.519818\n", - " \n", - " \n", - " |
| \n", - " \n", - " 8\n", - " \n", - " \n", - " | \n", - " \n", - " 9.0\n", - " \n", - " \n", - " | \n", - " \n", - " 1.686583\n", - " \n", - " \n", - " | \n", - " \n", - " -1.325963\n", - " \n", - " \n", - " | \n", - " \n", - " 1.428984\n", - " \n", - " \n", - " | \n", - " \n", - " -2.089354\n", - " \n", - " \n", - " |
| \n", - " \n", - " 9\n", - " \n", - " \n", - " | \n", - " \n", - " 10.0\n", - " \n", - " \n", - " | \n", - " \n", - " -0.12982\n", - " \n", - " \n", - " | \n", - " \n", - " 0.631523\n", - " \n", - " \n", - " | \n", - " \n", - " -0.586538\n", - " \n", - " \n", - " | \n", - " \n", - " 0.29072\n", - " \n", - " \n", - " |