The source code of the project is available here: https://github.com/GaloisInc/daedalus (haskell)