Popular repositories Loading

1. quantcoin quantcoin Public

   A simple cryptocoin developed for improve the understanding of blockchain and subjects involved.

   Python 7 2

2. playframework playframework Public

   Forked from playframework/playframework

   Play Framework

   Scala

3. nss_cms nss_cms Public

   a simple cms verifier using the nss library

   C++

4. omnidesktop omnidesktop Public

   An extension/set of software that enables an sharable desktop between devices (laptops, desktops, ...)

5. polynomial_reduction polynomial_reduction Public

   Python

6. language-proverif language-proverif Public

   A language package for proverif syntax highlight in the atom text editor

   CoffeeScript