NLNet Proposals

being written

submitted

completed

  • nlnet 2018 - accepted, underway. completed 2022jul20, with thanks and gratitude to NLnet and EU Horizon 2020
  • nlnet 2019 coriolis2 - submitted 2019sep22 - submitter found (lip6.fr) - questions received 22nov2019 - accepted 20dec2019, MOU done
  • nlnet 2019 video - submitted 2019sep22 - submitter found (lauri) - questions received 22nov2019 - accepted 20dec2019, MOU done
  • nlnet 2019 formal - submitted 2019sep23 - submitter found (dan) - questions received 22nov2019 - accepted 20dec2019, MOU done
  • nlnet 2019 amdvlk port - submitted 2019sep23 (withdrawn), added RADV, re-submitted 2019sep26 - submitter found (frieder) - questions received 22nov2019 - accepted 20dec2019, MOU done
  • nlnet 2019 wishbone streaming - submitted 2019sep26 - submitter found (hank) - accepted 20dec2019, MOU done
  • nlnet 2019 standards - submitted 2019sep27 - submitter found (phcomp) - accepted 20dec2019, MOU done
  • nlnet 2021 lip6 vlsi LIP6 VLSI tools - submitted 29jul2021 - Ref 2021-08-049 - accepted 09nov2021 - MOU TODO - transferred to LIP6
  • nlnet 2021 crypto router - 12jan2021 draft - submitter found (jan) submitted 24jan2021 - MOU done

accepted

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