These are the open-source projects I've done so far with seL4:
This is a short list of some interesting links that explains some of the powers of FP.
How to write correct parallel programs using FP.
How using FP simplifies verification of software.