NLNet Proposals

  • nlnet 2018 - accepted, underway
  • nlnet 2019 video - submitted 2019sep22 - submitter found (lauri) - questions received 22nov2019
  • nlnet 2019 coriolis2 - submitted 2019sep22 - submitter found (lip6.fr) - questions received 22nov2019
  • Additional related proposal from Chips4Makers - submitter found (chips4makers)
  • nlnet 2019 formal - submitted 2019sep23 - submitter found (dan) - questions received 22nov2019
  • nlnet 2019 amdvlk port - submitted 2019sep23 (withdrawn), added RADV, re-submitted 2019sep26 - submitter found (frieder) - questions received 22nov2019
  • nlnet 2019 gcc - submitted 2019sep23 - submitter found (wim) - WITHDRAWN
  • nlnet 2019 wishbone streaming - submitted 2019sep26 - submitter found (hank)
  • nlnet 2019 standards - submitted 2019sep27 - submitter found (phcomp)
  • nlnet 2019 opencl - submitted 2019sep29 - submitter found (michael) - WITHDRAWN

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.