TOPL Lab

All

11 repositories

WARDuino
Public
📟 A dynamic WebAssembly VM for embedded systems
debugger iot arduino embedded interpreter runtime esp32 webassembly wasm espressif
C++
•
Mozilla Public License 2.0
•9•93•96•7•Updated Jul 31, 2025Jul 31, 2025
GraphRedex
Public
🌐 An interactive semantics explorer
plt-redex
TypeScript
•
MIT License
•0•7•0•2•Updated Jul 22, 2025Jul 22, 2025
MIO
Public
A multiverse debugger for WARDuino
debugger debugging iot webassembly warduino
Kotlin
•
Mozilla Public License 2.0
•0•1•0•2•Updated Jul 17, 2025Jul 17, 2025
cedric-thesis-24-25
Public
📕 Thesis Cédric Meukens 24-25
Java
•0•0•11•3•Updated Jul 8, 2025Jul 8, 2025
topllab.github.io
Public
Markdown
•0•0•0•1•Updated Jul 6, 2025Jul 6, 2025
WARDuino-VSCode
Public
🕵️ A VSCode debugger plugin for WARDuino.
debugger debugging iot arduino vscode webassembly vscode-extension
TypeScript
•
Mozilla Public License 2.0
•2•2•53•3•Updated Mar 28, 2025Mar 28, 2025
latch
Public
🚨 The latch testing framework
testing typescript typescript-library automated-testing testing-framework remote-testing
TypeScript
•
MIT License
•0•0•6•2•Updated Mar 3, 2025Mar 3, 2025
WARDuino-libs
Public
📦 The WARDuino libraries and tools
rust arduino esp32 npm-package webassembly assemblyscript warduino
TypeScript
•1•0•3•1•Updated Nov 6, 2024Nov 6, 2024
as-warduino-template
Public template
🚀 AssemblyScript project template for WARDuino
assemblyscript template-repository
TypeScript
•0•0•0•0•Updated Aug 21, 2023Aug 21, 2023
wabt
Public
The WebAssembly Binary Toolkit
C++
•
Apache License 2.0
•754•0•0•0•Updated Jul 6, 2023Jul 6, 2023
gaiwan
Public
🧑‍💻 A size-polymorphic programming language
Haskell
•
BSD 3-Clause "New" or "Revised" License
•0•3•9•0•Updated Mar 23, 2023Mar 23, 2023