{"id":18584994,"url":"https://github.com/bor0/bsc-thesis","last_synced_at":"2026-02-08T15:03:05.372Z","repository":{"id":145916234,"uuid":"521685228","full_name":"bor0/bsc-thesis","owner":"bor0","description":"My second bachelor's thesis","archived":false,"fork":false,"pushed_at":"2022-08-26T10:39:06.000Z","size":568,"stargazers_count":1,"open_issues_count":0,"forks_count":0,"subscribers_count":2,"default_branch":"main","last_synced_at":"2025-07-23T00:07:13.068Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":null,"language":"TeX","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"other","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/bor0.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE.md","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}},"created_at":"2022-08-05T15:18:13.000Z","updated_at":"2025-02-24T10:43:34.000Z","dependencies_parsed_at":"2023-05-01T06:00:57.768Z","dependency_job_id":null,"html_url":"https://github.com/bor0/bsc-thesis","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/bor0/bsc-thesis","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/bor0%2Fbsc-thesis","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/bor0%2Fbsc-thesis/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/bor0%2Fbsc-thesis/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/bor0%2Fbsc-thesis/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/bor0","download_url":"https://codeload.github.com/bor0/bsc-thesis/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/bor0%2Fbsc-thesis/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":29234154,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-02-08T14:18:14.570Z","status":"ssl_error","status_checked_at":"2026-02-08T14:18:14.071Z","response_time":57,"last_error":"SSL_read: 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":"2024-11-07T00:29:44.416Z","updated_at":"2026-02-08T15:03:00.365Z","avatar_url":"https://github.com/bor0.png","language":"TeX","funding_links":[],"categories":[],"sub_categories":[],"readme":"Implementing a programming language and a theorem prover\n========================================================\nWelcome to the repository of my second Bachelor's thesis. I worked on this in order to improve my GPA over my first Bachelor's thesis.\n\nCurrently, the only supported language is Macedonian, but feel free to fork and translate it to other languages.\n\nInstallation setup:\n\n1. Update brew and install pandoc: `brew update \u0026\u0026 brew install pandoc`\n2. Install mactex from https://www.tug.org/mactex/\n3. Run `./build.sh` to build the thesis\n\nThis thesis is dedicated to my family, especially my wife Dijana, and our kids.\n\nBoro Sitnikovski, 2022\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fbor0%2Fbsc-thesis","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fbor0%2Fbsc-thesis","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fbor0%2Fbsc-thesis/lists"}