About Mokshasoft AB

Mokshasoft is a one-man company doing freelance work within open-source, with an interest in the following areas:

  • Computer security
  • Functional programming (using Haskell, Idris and elm)
  • seL4 - a formally verified microkernel
  • Formal verification

seL4 - a formally verified microkernel

These are the open-source projects I've done so far with seL4:

Why Functional Programming (FP)?

This is a short list of some interesting links that explains some of the powers of FP.