{"id":25687512,"url":"https://github.com/fbbdev/fbbdev","last_synced_at":"2026-03-02T11:31:52.011Z","repository":{"id":186349849,"uuid":"675029641","full_name":"fbbdev/fbbdev","owner":"fbbdev","description":"Repository for my profile readme","archived":false,"fork":false,"pushed_at":"2026-02-07T10:38:18.000Z","size":6,"stargazers_count":0,"open_issues_count":0,"forks_count":0,"subscribers_count":1,"default_branch":"main","last_synced_at":"2026-02-07T19:48:27.569Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":null,"language":null,"has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/fbbdev.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":null,"code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null,"notice":null,"maintainers":null,"copyright":null,"agents":null,"dco":null,"cla":null}},"created_at":"2023-08-05T14:42:46.000Z","updated_at":"2026-02-07T10:38:22.000Z","dependencies_parsed_at":null,"dependency_job_id":"5fff431c-a405-406f-98a4-e3b5ef0ca93e","html_url":"https://github.com/fbbdev/fbbdev","commit_stats":null,"previous_names":["fbbdev/fbbdev"],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/fbbdev/fbbdev","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/fbbdev%2Ffbbdev","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/fbbdev%2Ffbbdev/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/fbbdev%2Ffbbdev/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/fbbdev%2Ffbbdev/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/fbbdev","download_url":"https://codeload.github.com/fbbdev/fbbdev/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/fbbdev%2Ffbbdev/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":30000029,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-03-02T11:09:27.951Z","status":"ssl_error","status_checked_at":"2026-03-02T11:08:53.255Z","response_time":60,"last_error":"SSL_connect returned=1 errno=0 peeraddr=140.82.121.6:443 state=error: unexpected eof while reading","robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":false,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":[],"created_at":"2025-02-24T20:18:37.805Z","updated_at":"2026-03-02T11:31:51.995Z","avatar_url":"https://github.com/fbbdev.png","language":null,"readme":"### Hello! 👋\n\n- 🔍 I'm doing research at [SNS](https://www.sns.it/en/) on [the proof theory of classical logic](https://arxiv.org/abs/2307.16594)\n- 🔧 I'm working on the virtual classrooms at [uwMeeting](https://uwmeeting.com/?lng=en)\n- ✨ I make nice software (see below)\n- 📫 Come visit me at [fbbdev.it](https://fbbdev.it)\n\n\u003cpicture\u003e\n  \u003csource\n    srcset=\"https://github-readme-stats.vercel.app/api?username=fbbdev\u0026show_icons=true\u0026text_bold=false\u0026rank_icon=percentile\u0026include_all_commits=true\u0026custom_title=@fbbdev%27s+github+stats\u0026theme=dark\"\n    media=\"(prefers-color-scheme: dark)\"\n    height=\"200\"\u003e\n  \u003csource\n    srcset=\"https://github-readme-stats.vercel.app/api?username=fbbdev\u0026show_icons=true\u0026text_bold=false\u0026rank_icon=percentile\u0026include_all_commits=true\u0026custom_title=@fbbdev%27s+github+stats\"\n    media=\"(prefers-color-scheme: light), (prefers-color-scheme: no-preference)\"\n    height=\"200\"\u003e\n  \u003cimg src=\"https://github-readme-stats.vercel.app/api?username=fbbdev\u0026show_icons=true\u0026text_bold=false\u0026rank_icon=percentile\u0026include_all_commits=true\u0026custom_title=@fbbdev%27s+github+stats\" height=\"200\"\u003e\n\u003c/picture\u003e\n\u003cpicture\u003e\n  \u003csource\n    srcset=\"https://github-readme-stats.vercel.app/api/top-langs/?username=fbbdev\u0026hide=meson%2Ccmake%2Cnsis%2Cmakefile%2Cpeg.js\u0026layout=compact\u0026langs_count=8\u0026card_width=320\u0026theme=dark\"\n    media=\"(prefers-color-scheme: dark)\"\n    height=\"200\"\u003e\n  \u003csource\n    srcset=\"https://github-readme-stats.vercel.app/api/top-langs/?username=fbbdev\u0026hide=meson%2Ccmake%2Cnsis%2Cmakefile%2Cpeg.js\u0026layout=compact\u0026langs_count=8\u0026card_width=320\"\n    media=\"(prefers-color-scheme: light), (prefers-color-scheme: no-preference)\"\n    height=\"200\"\u003e\n  \u003cimg src=\"https://github-readme-stats.vercel.app/api/top-langs/?username=fbbdev\u0026hide=meson%2Ccmake%2Cnsis%2Cmakefile%2Cpeg.js\u0026layout=compact\u0026langs_count=8\u0026card_width=320\" height=\"200\"\u003e\n\u003c/picture\u003e\n","funding_links":[],"categories":[],"sub_categories":[],"project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Ffbbdev%2Ffbbdev","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Ffbbdev%2Ffbbdev","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Ffbbdev%2Ffbbdev/lists"}