Space offers some queries in its REST API, like $top, $skip, $fields and some more. I am wondering, what library is used for that?
https://www.jetbrains.com/help/space/third-party-software-used-in-space.html#backend-libraries shows all libraries that are used for Space, but I couldn't find the one responsible for the queries.
And besides: $top, $skip and $fields look like they are inspired by the OData protocol. Are they based on some standard?