GitLabGitterTravis CIRam DassPlanet EarthGalois connectionLatticeJoin and meetQuiescence searchBellman equationDhall