Mokshasoft is a one-man company doing freelance work within open-source, with an interest in the following areas:
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.
+46 707 31 06 27
jonas.cl@protonmail.com
GitHub
GitLab