{"payload":{"header_redesign_enabled":false,"results":[{"id":"220093229","archived":false,"color":"#4b0079","followers":485,"has_funding_file":false,"hl_name":"lemmy/BlockingQueue","hl_trunc_description":"Tutorial \"Weeks of debugging can save you hours of TLA+\". Each git commit introduces a new concept => check the git history!","language":"TLA","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":220093229,"name":"BlockingQueue","owner_id":88777,"owner_login":"lemmy","updated_at":"2024-09-03T18:34:17.805Z","has_issues":true}},"sponsorable":false,"topics":["java","specification","model-checking","fifo","fifo-queue","tla","tlaplus","tlaps"],"type":"Public","help_wanted_issues_count":0,"good_first_issue_issues_count":0,"starred_by_current_user":false}],"type":"repositories","page":1,"page_count":1,"elapsed_millis":72,"errors":[],"result_count":1,"facets":[],"protected_org_logins":[],"topics":null,"query_id":"","logged_in":false,"sign_up_path":"/signup?source=code_search_results","sign_in_path":"/login?return_to=https%3A%2F%2Fgithub.com%2Fsearch%3Fq%3Drepo%253Alemmy%252FBlockingQueue%2B%2Blanguage%253ATLA","metadata":null,"warn_limited_results":false,"csrf_tokens":{"/lemmy/BlockingQueue/star":{"post":"qvBnxNIuIaisXS2PmLQCfCSxJM_qxgvLI8rjo-1ae4Ox0sM9zSJ0F25m8KwMEvFqAlARe33r-CFnnAzMecwZ1A"},"/lemmy/BlockingQueue/unstar":{"post":"w4uqy6ydZrksl6olArgaJC3BXGSLo5404pq8I5UD4EzOg6NZxGknJVlxJ-YmWh7t4QuJ37UsJemQ19W-O2ls6g"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"CpdCAie1K58iRpbOlpTZFyCVFD4dYpOl3TgV8AgoaBUF4nYRb1zpiYJfhidTgfwmraZI_Oli3yw39WwNVmFC0A"}}},"title":"Repository search results"}