Skip to content
@TOPLLab

TOPL Lab

Theory & Operations of Programming Languages Lab at Ghent University

Pinned

  1. WARDuino WARDuino Public

    📟 A dynamic WebAssembly VM for embedded systems

    C++ 72 7

  2. GraphRedex GraphRedex Public

    🌐 An interactive semantics explorer

    TypeScript 6 1

Repositories

Showing 9 of 9 repositories
  • WARDuino Public

    📟 A dynamic WebAssembly VM for embedded systems

    TOPLLab/WARDuino’s past year of commit activity
    C++ 72 MPL-2.0 7 71 (1 issue needs help) 4 Updated Jun 22, 2024
  • latch Public

    🚨 The latch testing framework

    TOPLLab/latch’s past year of commit activity
    TypeScript 0 MIT 0 3 0 Updated Jun 20, 2024
  • WARDuino-VSCode Public

    🕵️ A VSCode debugger plugin for WARDuino.

    TOPLLab/WARDuino-VSCode’s past year of commit activity
    TypeScript 2 MPL-2.0 1 52 1 Updated Jun 20, 2024
  • topllab.github.io Public
    TOPLLab/topllab.github.io’s past year of commit activity
    Markdown 0 0 0 0 Updated May 30, 2024
  • GraphRedex Public

    🌐 An interactive semantics explorer

    TOPLLab/GraphRedex’s past year of commit activity
    TypeScript 6 MIT 1 0 1 Updated Mar 28, 2024
  • WARDuino-libs Public

    📦 The WARDuino libraries and tools

    TOPLLab/WARDuino-libs’s past year of commit activity
    TypeScript 0 0 2 0 Updated Sep 27, 2023
  • as-warduino-template Public template

    🚀 AssemblyScript project template for WARDuino

    TOPLLab/as-warduino-template’s past year of commit activity
    TypeScript 0 0 0 0 Updated Aug 21, 2023
  • wabt Public Forked from WebAssembly/wabt

    The WebAssembly Binary Toolkit

    TOPLLab/wabt’s past year of commit activity
    C++ 0 Apache-2.0 688 0 0 Updated Jul 6, 2023
  • gaiwan Public

    🧑‍💻 A size-polymorphic programming language

    TOPLLab/gaiwan’s past year of commit activity
    Haskell 3 BSD-3-Clause 0 9 0 Updated Mar 23, 2023

Most used topics

Loading…