6ardamu

3 ms·

1. 1.▲
   by 6ardamu 4y ago

   Its main competitor these days seems to be RIOT: https://www.riot-os.org/
2. 2.▲
   by 6ardamu 5y ago

   There are several mentions that Peter died from metastatic cancer. This is not entirely accurate. He choose to leave this world using euthanasia as his last tweet shows[0]. Euthanasia is legal in Belgium. [0]: https://twitter.com
3. 3.▲
   by 6ardamu 5y ago

   IceSL[0] would also qualify to be on that list. [0]: https://icesl.loria.fr/
4. 4.▲
   by 6ardamu 5y ago

   A notion of subsumption was also studied in the context of QBF solving. https://doi.org/10.1007/978-3-642-24372-1_14