License scan on the whole Software Heritage archive
Funded solution
Reliable, scriptable memory-safe OpenPGP with JSON input/output
Implement Taler Exchange functionality in OCaml-based unikernel
Improve MPTCP support in the Linux kernel
Verilog-A compact models validation for Open PDK’s
Privacy-preserving, energy efficient data replication and verification