Pinned

1. aaltitoad aaltitoad Public

   Extendable verification engine and simulator for Tick Tock Automata constructs

   C++ 6

2. graphedit graphedit Public

   The extendable graph editor

   Java 6

3. expr expr Public

   Simple variable and environment manipulation language

   C++ 1

4. ctl-expr ctl-expr Public

   An extension of expr that recognises Computation Tree Logic

   C++ 1

5. flashlib flashlib Public

   Simple PIC32 flash memory utility library with emulated eeprom access

   C

6. avrcpp avrcpp Public

   Development utilities for AVR development in C/C++

   C++ 1