NLNet Proposals

  • Idea: robotics proposal (TBD, jacky)

accepted

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

not accepted / 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.

Coriolis2 links