TOPL Lab

All

9 repositories

GraphRedex
Public
🌐 An interactive semantics explorer
plt-redex
TypeScript
•
MIT License
•0•7•0•0•Updated Nov 28, 2024Nov 28, 2024
latch
Public
🚨 The latch testing framework
testing typescript typescript-library automated-testing testing-framework remote-testing
TypeScript
•
MIT License
•0•0•4•1•Updated Nov 27, 2024Nov 27, 2024
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
•8•82•82•8•Updated Nov 27, 2024Nov 27, 2024
WARDuino-libs
Public
📦 The WARDuino libraries and tools
rust arduino esp32 npm-package webassembly assemblyscript warduino
TypeScript
•0•0•2•0•Updated Nov 6, 2024Nov 6, 2024
topllab.github.io
Public
Markdown
•0•0•0•0•Updated Sep 26, 2024Sep 26, 2024
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•1•Updated Jun 20, 2024Jun 20, 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
•702•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