Workspaces and the Leap IDE have an important connection. A workspace is a pre-configured developer environment that has Ocean, the problem inspector, and other standard libraries pre-installed. You can think of a workspace as a temporary project, backed by a GitHub repository, that is saved in your Leap account. The Leap IDE is the tool you use to open up, edit, develop, and run the code that is stored in a workspace.
See also the Leap IDE User Guide.