Pinned Loading

1. colibri-VM colibri-VM Public

   A virtual machine for executing programs written in Nectar.

   C++ 3

2. nectar-lang nectar-lang Public

   A new general-purposed programming language for Colibri VM

   C 4

3. RTdejavu RTdejavu Public

   Forked from havelund/dejavu

   The DejaVu runtime verification system, using BDDs for storing data occurring in observed events.

   Scala 1

4. TeamLS/Buzz TeamLS/Buzz Public

   A quiz game developed in Java, with categories, music, graphics, high scores, multiplayer and two languages (Greek and English).

   Java 15 3

5. mnemosyne mnemosyne Public

   Event Data Preprocessing for DejaVu Runtime Monitor

   Go

6. migranize migranize Public

   Automatically generates Rails migration files

   Ruby 2