Pinned Loading

1. pyr0 pyr0 Public

   Attempt to make a python based Operating System, it means that we use language feature to provide security instead of using hardware as in a classical operating system.

   C++ 9 2

2. coqsat coqsat Public

   Coq implementation and proof of a basic SAT algorithm

   Coq

3. strace/strace strace/strace Public

   strace is a diagnostic, debugging and instructional userspace utility for Linux

   C 2.3k 435

4. linux linux Public

   Forked from torvalds/linux

   Linux kernel source tree

   C