Skip to content
@TOPLLab

TOPL Lab

Theory & Operations of Programming Languages Lab at Ghent University

Pinned Loading

  1. WARDuino WARDuino Public

    📟 A dynamic WebAssembly VM for embedded systems

    C++ 82 8

  2. GraphRedex GraphRedex Public

    🌐 An interactive semantics explorer

    TypeScript 7

Repositories

Showing 9 of 9 repositories
  • WARDuino Public

    📟 A dynamic WebAssembly VM for embedded systems

    TOPLLab/WARDuino’s past year of commit activity
    C++ 82 MPL-2.0 8 80 (1 issue needs help) 8 Updated Nov 26, 2024
  • GraphRedex Public

    🌐 An interactive semantics explorer

    TOPLLab/GraphRedex’s past year of commit activity
    TypeScript 7 MIT 0 0 1 Updated Nov 19, 2024
  • WARDuino-libs Public

    📦 The WARDuino libraries and tools

    TOPLLab/WARDuino-libs’s past year of commit activity
    TypeScript 0 0 2 0 Updated Nov 6, 2024
  • latch Public

    🚨 The latch testing framework

    TOPLLab/latch’s past year of commit activity
    TypeScript 0 MIT 0 4 1 Updated Oct 8, 2024
  • topllab.github.io Public
    TOPLLab/topllab.github.io’s past year of commit activity
    Markdown 0 0 0 0 Updated Sep 26, 2024
  • WARDuino-VSCode Public

    🕵️ A VSCode debugger plugin for WARDuino.

    TOPLLab/WARDuino-VSCode’s past year of commit activity
    TypeScript 2 MPL-2.0 2 53 1 Updated Jun 20, 2024
  • 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 718 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

Top languages

Loading…

Most used topics

Loading…