NLNet Proposals

Standby submitters:

  • Felix (Spain)
  • Thierry (Belgium)
  • jacky (germany / taiwan)
  • chris (via purism)
  • caliga

MESA RADV Discussion links

gcc links

Wishbone links

OpenCL links

Formal Proofs

Evgeny Ukhanov.