Pinned Loading

1. epfl-lara/lisa epfl-lara/lisa Public

   Proof assistant based on first-order logic and set theory

   Scala 34 20

2. quantlearn quantlearn Public

   Learning LTL formulae from finite system traces.

   C++

3. ardio ardio Public

   Model for fast and memory efficient audio processing on embedded systems, with an Arduino based implementation.

   C++

4. petris petris Public

   An FPGA based Tetris clone, with an emulated VGA output running on SDL.

   Verilog