Popular repositories Loading

1. opendnssec opendnssec Public

   Forked from opendnssec/opendnssec

   OpenDNSSEC - an open-source turn-key solution for DNSSEC

   C

2. seL4_projects_libs seL4_projects_libs Public

   Forked from seL4/seL4_projects_libs

   C

3. Catch2 Catch2 Public

   Forked from catchorg/Catch2

   A modern, C++-native, header-only, test framework for unit-tests, TDD and BDD - using C++11, C++14, C++17 and later (or C++03 on the Catch1.x branch)

   C++

4. qgroundcontrol qgroundcontrol Public

   Forked from mavlink/qgroundcontrol

   Cross-platform ground control station for drones (Android, iOS, Mac OS, Linux, Windows)

   C++

5. mavlink mavlink Public

   Forked from mavlink/mavlink

   Marshalling / communication library for drones.

   CMake

6. seL4 seL4 Public

   Forked from seL4/seL4

   The seL4 microkernel

   C