leviathan source code