Popular repositories Loading

1. fevm fevm Public

   Formalization of EVM in Coq

   Coq 5 1

2. TinyROS TinyROS Public

   The essential kernel of Real-time Operating System

   3 1

3. PSCV PSCV Public

   Monitor and aspect file generator which are used to automatically instrument SystemC code. The instrumented code can be used with Statistical Model Checking Tool Plasma Lab

   C++ 2

4. while-static-analyzer while-static-analyzer Public

   An implementation of a simple static analyzer for While-like language

   OCaml 2

5. Vision Vision Public

   Sidewalk Detection Algorithm based on Line Detection

   Java 2 3

6. PhotoEncryptor PhotoEncryptor Public

   Photo Encryptor for iOS including iPhone and iPad

   1