{"id":18983,"login":"berberman","has_sponsors_listing":true,"data":{"kind":"user","name":"Potato Hatsue","uuid":"26041945","email":"berberman@yandex.com","login":"berberman","company":"UCSC","twitter":null,"website":null,"html_url":"https://github.com/berberman","icon_url":"https://avatars.githubusercontent.com/u/26041945?v=4","location":"Robetta","metadata":{"funding":null,"has_sponsors_listing":true},"followers":205,"following":125,"owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/berberman","created_at":"2022-11-15T01:10:14.680Z","updated_at":"2026-08-22T10:13:08.242Z","description":"PhD student interested in PL/Lean ITP ","total_stars":396,"funding_links":["https://github.com/sponsors/berberman"],"last_synced_at":"2026-08-22T10:13:08.225Z","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/berberman/repositories","repositories_count":99},"created_at":"2024-11-25T14:00:22.710Z","updated_at":"2026-09-02T02:01:38.439Z","last_synced_at":"2026-09-02T02:01:38.439Z","sponsors_count":5,"sponsorships_count":0,"active_sponsorships_count":0,"active_sponsors_count":1,"sponsor_profile":{"bio":"I am a PhD student mainly interested in interactive theorem provers and programming languages. I contribute to various open source projects.","past_sponsors":4,"featured_works":[],"current_sponsors":1},"minimum_sponsorship_amount":5,"url":"https://sponsors.ecosyste.ms/accounts/berberman","api_url":"https://sponsors.ecosyste.ms/api/v1/accounts/berberman","html_url":"https://github.com/berberman","sponsors_url":"https://github.com/sponsors/berberman","sponsors_api_url":"https://sponsors.ecosyste.ms/api/v1/accounts/berberman/sponsors","sponsorships_api_url":"https://sponsors.ecosyste.ms/api/v1/accounts/berberman/sponsorships"}