vg_head

↗ HN profile [ 81.1 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Forma: The parallel CPU vector renderer (fuchsia.googlesource.com)
  2. Logic and Proof (leanprover.github.io)