Popular repositories Loading

1. rpi_gpio rpi_gpio Public

   Forked from francois2metz/rpi_gpio

   Ruby conversion of RPi.GPIO Python module

   C

2. pugixml pugixml Public

   Forked from zeux/pugixml

   Light-weight, simple and fast XML parser for C++ with XPath support

   C++

3. ikos ikos Public

   Forked from NASA-SW-VnV/ikos

   Static analyzer for C/C++ based on the theory of Abstract Interpretation.

   C++

4. homebrew-core homebrew-core Public

   Forked from NASA-SW-VnV/homebrew-core

   Homebrew formulae from NASA - Software Verification and Validation

   Ruby

5. nssm nssm Public

   Non-Sucking Service Manager

   C++

6. ruby-odbc ruby-odbc Public

   ruby-odbc