TOPL Lab

All

11 repositories

cedric-thesis-24-25
Public
📕 Thesis Cédric Meukens 24-25
Java
•0•0•5•5•Updated Feb 26, 2026Feb 26, 2026
latch
Public
🚨 The latch testing framework
testing typescript typescript-library automated-testing testing-framework remote-testing
TypeScript
•
MIT License
•1•0•7•0•Updated Feb 25, 2026Feb 25, 2026
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
•11•99•98•16•Updated Feb 17, 2026Feb 17, 2026
MIO
Public
A multiverse debugger for WARDuino
debugger debugging iot webassembly warduino
Kotlin
•
Mozilla Public License 2.0
•0•1•2•2•Updated Feb 15, 2026Feb 15, 2026
GraphRedex
Public
🌐 An interactive semantics explorer
plt-redex
TypeScript
•
MIT License
•0•7•0•9•Updated Jan 22, 2026Jan 22, 2026
topllab.github.io
Public
Markdown
•0•0•0•2•Updated Nov 15, 2025Nov 15, 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
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
•796•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