Repositories list

• latch

  Public
  🚨 The latch testing framework

  testingtypescripttypescript-library+ 3

  testingtypescripttypescript-libraryautomated-testingtesting-frameworkremote-testing

  WebAssembly

  •

  MIT License

  •11 fork in TOPLLab/latch•00 stars in TOPLLab/latch•99 issues in TOPLLab/latch•77 pull requests in TOPLLab/latch•Updated Oct 18, 2026Oct 18, 2026

• WARDuino

  Public
  📟 A dynamic WebAssembly VM for embedded systems

  debuggeriotarduino+ 10

  debuggeriotarduinoembeddedinterpreterruntimeesp32webassemblywasmespressif+ 3

  C++

  •

  Mozilla Public License 2.0

  •1212 forks in TOPLLab/WARDuino•107107 stars in TOPLLab/WARDuino•100100 issues in TOPLLab/WARDuino•2222 pull requests in TOPLLab/WARDuino•Updated Sep 29, 2026Sep 29, 2026

• MIO

  Public
  A multiverse debugger for WARDuino

  debuggerdebuggingiot+ 2

  debuggerdebuggingiotwebassemblywarduino

  Kotlin

  •

  Mozilla Public License 2.0

  •00 forks in TOPLLab/MIO•22 stars in TOPLLab/MIO•33 issues in TOPLLab/MIO•33 pull requests in TOPLLab/MIO•Updated Sep 29, 2026Sep 29, 2026

• cedric-thesis-24-25

  Public
  📕 Thesis Cédric Meukens 24-25

  Java

  •11 fork in TOPLLab/cedric-thesis-24-25•00 stars in TOPLLab/cedric-thesis-24-25•55 issues in TOPLLab/cedric-thesis-24-25•1111 pull requests in TOPLLab/cedric-thesis-24-25•Updated May 9, 2026May 9, 2026

• GraphRedex

  Public
  🌐 An interactive semantics explorer

  plt-redex

  plt-redex

  TypeScript

  •

  MIT License

  •11 fork in TOPLLab/GraphRedex•77 stars in TOPLLab/GraphRedex•00 issues in TOPLLab/GraphRedex•1010 pull requests in TOPLLab/GraphRedex•Updated Jan 22, 2026Jan 22, 2026

• WARDuino-demos

  Public
  🎥 Demo's and examples for the WARDuino VM

  TypeScript

  •00 forks in TOPLLab/WARDuino-demos•00 stars in TOPLLab/WARDuino-demos•00 issues in TOPLLab/WARDuino-demos•00 pull requests in TOPLLab/WARDuino-demos•Updated Dec 10, 2025Dec 10, 2025

• topllab.github.io

  Public
  Markdown

  •00 forks in TOPLLab/topllab.github.io•00 stars in TOPLLab/topllab.github.io•00 issues in TOPLLab/topllab.github.io•22 pull requests in TOPLLab/topllab.github.io•Updated Nov 15, 2025Nov 15, 2025

• WARDuino-VSCode

  Public
  🕵️ A VSCode debugger plugin for WARDuino.

  debuggerdebuggingiot+ 4

  debuggerdebuggingiotarduinovscodewebassemblyvscode-extension

  TypeScript

  •

  Mozilla Public License 2.0

  •22 forks in TOPLLab/WARDuino-VSCode•22 stars in TOPLLab/WARDuino-VSCode•5353 issues in TOPLLab/WARDuino-VSCode•33 pull requests in TOPLLab/WARDuino-VSCode•Updated Mar 28, 2025Mar 28, 2025

• WARDuino-libs

  Public
  📦 The WARDuino libraries and tools

  rustarduinoesp32+ 4

  rustarduinoesp32npm-packagewebassemblyassemblyscriptwarduino

  TypeScript

  •11 fork in TOPLLab/WARDuino-libs•00 stars in TOPLLab/WARDuino-libs•33 issues in TOPLLab/WARDuino-libs•11 pull request in TOPLLab/WARDuino-libs•Updated Nov 6, 2024Nov 6, 2024

• as-warduino-template

  Public template
  🚀 AssemblyScript project template for WARDuino

  assemblyscripttemplate-repository

  assemblyscripttemplate-repository

  TypeScript

  •00 forks in TOPLLab/as-warduino-template•00 stars in TOPLLab/as-warduino-template•00 issues in TOPLLab/as-warduino-template•00 pull requests in TOPLLab/as-warduino-template•Updated Aug 21, 2023Aug 21, 2023

• wabt

  Public
  The WebAssembly Binary Toolkit

  C++

  •

  Apache License 2.0

  •840840 forks in TOPLLab/wabt•00 stars in TOPLLab/wabt•00 issues in TOPLLab/wabt•00 pull requests in TOPLLab/wabt•Updated Jul 6, 2023Jul 6, 2023

• gaiwan

  Public
  🧑‍💻 A size-polymorphic programming language

  Haskell

  •

  BSD 3-Clause "New" or "Revised" License

  •00 forks in TOPLLab/gaiwan•33 stars in TOPLLab/gaiwan•99 issues in TOPLLab/gaiwan•00 pull requests in TOPLLab/gaiwan•Updated Mar 23, 2023Mar 23, 2023