{"id":23410890,"url":"https://github.com/spl/homebrew-koka","last_synced_at":"2026-04-11T21:43:25.497Z","repository":{"id":66389228,"uuid":"152713310","full_name":"spl/homebrew-koka","owner":"spl","description":"Homebrew tap for Koka and Madoko","archived":false,"fork":false,"pushed_at":"2018-10-16T09:28:13.000Z","size":30,"stargazers_count":0,"open_issues_count":1,"forks_count":0,"subscribers_count":2,"default_branch":"master","last_synced_at":"2025-07-14T11:50:33.310Z","etag":null,"topics":["homebrew","homebrew-tap","koka","madoko"],"latest_commit_sha":null,"homepage":"","language":"Ruby","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/spl.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}},"created_at":"2018-10-12T07:46:17.000Z","updated_at":"2018-10-16T09:28:14.000Z","dependencies_parsed_at":"2023-03-13T20:29:49.772Z","dependency_job_id":null,"html_url":"https://github.com/spl/homebrew-koka","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/spl/homebrew-koka","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/spl%2Fhomebrew-koka","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/spl%2Fhomebrew-koka/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/spl%2Fhomebrew-koka/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/spl%2Fhomebrew-koka/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/spl","download_url":"https://codeload.github.com/spl/homebrew-koka/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/spl%2Fhomebrew-koka/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":31696743,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-04-11T21:17:31.016Z","status":"ssl_error","status_checked_at":"2026-04-11T21:17:24.556Z","response_time":54,"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":["homebrew","homebrew-tap","koka","madoko"],"created_at":"2024-12-22T17:53:13.830Z","updated_at":"2026-04-11T21:43:25.458Z","avatar_url":"https://github.com/spl.png","language":"Ruby","funding_links":[],"categories":[],"sub_categories":[],"readme":"# Homebrew Formulae for Koka and Madoko\n\nThis repository contains [Homebrew] formulae for the following:\n\n* [Koka] is a function-oriented strongly-typed language that separates pure\n  values from side-effecting computations.\n* [Madoko] is a markdown processor for academic documents that produces PDF and\n  HTML.\n\n[Homebrew]: https://brew.sh/\n[Koka]: https://github.com/koka-lang/koka\n[Madoko]: https://www.madoko.net/\n\nThe reason for the existence of this [Homebrew tap] is to make it easier to\ninstall Koka and, especially, Madoko, which is built with Koka. The current\nrelease of Madoko is very old, and building it from source is not easy and\nrequires an old version of Koka.\n\n[Homebrew tap]: https://docs.brew.sh/Taps\n\n## Installation and running\n\n### Koka\n\n#### Current\n\nThis is the HEAD revision as of the time of writing. This is not a released\nversion because there have been no releases since v0.7.1.\n\n```\n$ brew install spl/koka/koka\n$ koka\n```\n\n#### v0.7.1\n\nThis is the last release on GitHub.\n\n```\n$ brew install spl/koka/koka@0.7.1\n$ koka-0.7.1\n```\n\n#### v0.6.0-dev\n\nThis version is required to build Madoko.\n\n```\n$ brew install spl/koka/koka@0.6.0-dev\n$ koka-0.6.0-dev\n```\n\n### Madoko\n\nThis is the HEAD revision as of the time of writing. The last release, which is\nvery old, is available with `npm install -g madoko`.\n\nNote: Madoko is built with `koka-0.6.0-dev`. Installing the `madoko` formula\nwill also install the `koka@0.6.0-dev` formula.\n\nNote: Building Madoko may consume a large amount of memory. On my system with 16\nGB of RAM, it took upwards of 18.3 GB. See [koka-lang/madoko#10] for discussion\nof this issue.\n\n[koka-lang/madoko#10]: https://github.com/koka-lang/madoko/issues/10\n\n```\n$ brew install spl/koka/madoko\n$ madoko\n```\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fspl%2Fhomebrew-koka","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fspl%2Fhomebrew-koka","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fspl%2Fhomebrew-koka/lists"}