Popular repositories Loading

1. processdash processdash Public

   Forked from dtuma/processdash

   Project planning and tracking app for agile, high-maturity teams

   Java

2. git_track git_track Public

   Forked from modal/vcs_track

   GIT_TRACK is a set of scripts that generate a c/c++ header file with the current git commit SHA1 and data.

   Shell

3. tendra.org tendra.org Public

   Forked from tendra/tendra

   The TenDRA Project

   C

4. nasa-osal nasa-osal Public

   Forked from nasa/osal

   The Core Flight System (cFS) Operating System Abstraction Layer (OSAL)

   C

5. CompCert CompCert Public

   Forked from AbsInt/CompCert

   The CompCert formally-verified C compiler

   Coq