Pinned Loading

1. linux-noah/noahlinux-noah/noahPublic archive

   Bash on Ubuntu on macOS

   C 1.9k 90

2. xv6xv6Public

   xv6 porting to GAIA architecture

   C 46 12

3. GAIA3GAIA3Public

   GAIA Processor

   VHDL 28 4

4. keiichiw/ucckeiichiw/uccPublic

   Udon C Compiler: C compiler for our original CPU

   C 85 8

5. LeanHOLLeanHOLPublic

   super tiny implementation of higher-order logic proof assistant in lean

   Lean 22

6. yabai-satyabai-satPublic

   sat solver; backtrack + BCP + non-chronological backtracking + (linear-time) CDCL + 2WL + eVSIDS + luby restarts + phase saving + trail reuse + (full) conflict clause minimization + in-process simp…

   C++ 16 2