TOPL Lab

Theory & Operations of Programming Languages Lab at Ghent University

Ghent University

Pinned Repositories

as-warduino-template
🚀 AssemblyScript project template for WARDuino
Language:TypeScript0 1 00
cedric-thesis-24-25
📕 Thesis Cédric Meukens 24-25
Language:Java00
gaiwan
🧑‍💻 A size-polymorphic programming language
Language:Haskell3 2 110
GraphRedex
🌐 An interactive semantics explorer
Language:TypeScript7 3 00
latch
🚨 The latch testing framework
Language:TypeScript0 2 70
MIO
A multiverse debugger for WARDuino
Language:Kotlin10
wabt
The WebAssembly Binary Toolkit
Language:C++0 1 00
WARDuino
📟 A dynamic WebAssembly VM for embedded systems
Language:C++97 7 1749
WARDuino-libs
📦 The WARDuino libraries and tools
Language:TypeScript0 4 31
WARDuino-VSCode
🕵️ A VSCode debugger plugin for WARDuino.
Language:TypeScript2 3 922

TOPL Lab 's Repositories

TOPLLab/WARDuino
📟 A dynamic WebAssembly VM for embedded systems
Language:C++97 7 1749
TOPLLab/GraphRedex
🌐 An interactive semantics explorer
Language:TypeScript7 3 00
TOPLLab/gaiwan
🧑‍💻 A size-polymorphic programming language
Language:Haskell3 2 110
TOPLLab/WARDuino-VSCode
🕵️ A VSCode debugger plugin for WARDuino.
Language:TypeScript2 3 922
TOPLLab/MIO
A multiverse debugger for WARDuino
Language:Kotlin10
TOPLLab/as-warduino-template
🚀 AssemblyScript project template for WARDuino
Language:TypeScript0 1 00
TOPLLab/cedric-thesis-24-25
📕 Thesis Cédric Meukens 24-25
Language:Java00
TOPLLab/latch
🚨 The latch testing framework
Language:TypeScript0 2 70
TOPLLab/topllab.github.io
Language:Markdown0 2 00
TOPLLab/wabt
The WebAssembly Binary Toolkit
Language:C++0 1 00
TOPLLab/WARDuino-libs
📦 The WARDuino libraries and tools
Language:TypeScript0 4 31