The programming language itself and all documentation can be found at https://seq-lang.org/ .