Implement Taler Exchange functionality in OCaml-based unikernel
Funded solution
Reliable, scriptable memory-safe OpenPGP with JSON input/output
Verilog-A compact models validation for Open PDK’s
Improve MPTCP support in the Linux kernel
Privacy-preserving, energy efficient data replication and verification
Open Hardware high performance CPU with speculative execution