{"adoption": {"forks": 219, "observed_at": "2026-08-28T04:08:33.601275+00:00", "stars": 4046}, "canonical_url": "https://ross.abutalabs.com/products/koka", "card": {"archived": false, "artifact_type": "cli-tool", "description": "Koka language compiler and interpreter", "domain": ["programming-languages", "compilers"], "enriched": true, "function": ["compiler", "interpreter", "programming-language", "type-system"], "health_score": 97, "homepage": "http://koka-lang.org", "language": "Koka", "license": "NOASSERTION", "license_family": "other", "maturity": "experimental", "member_repos": ["koka-lang/koka"], "name": "koka-lang/koka", "platform": ["windows", "cpp", "cli"], "pushed_at": "2026-08-15T16:25:40+00:00", "repo": "koka-lang/koka", "stars": 4046, "tags": ["algebraic-effects", "effect-handlers", "functional-language", "perceus", "reference-counting", "research-language", "algorithms", "linux", "macos"], "topics": ["algebraic-effects", "koka", "handler", "haskell", "effect-handlers"], "urls": [], "use_cases": ["experiment with algebraic effects and handlers", "learn a functional language with effect types", "compile functional programs to C without a GC runtime", "study advanced type systems and effect inference", "build async/await or exception abstractions as user libraries"], "what_it_is": "Koka is a strongly typed functional programming language with a polymorphic effect type system and algebraic effect handlers, developed as a research language. Its compiler and interpreter compile Koka programs directly to C without a garbage collector using the Perceus reference-counting method.", "when_to_avoid": ["you need a production-ready language with mature ecosystem and libraries", "you need guaranteed long-term stability for a commercial project", "your team requires mainstream tooling and hiring pool"], "when_to_choose": ["you want to explore or research effect handlers and effect typing", "you need precise control over memory via reference counting without a runtime", "you are doing programming-language research or teaching"]}, "data_as_of": "2026-08-30T08:39:29.467469+00:00", "members": [{"path": "/products/koka", "repo": "koka-lang/koka", "role": "main", "score": 90}], "provenance": {"archived": {"kind": "observed", "observed_at": "2026-08-28T04:08:33.601275+00:00", "source": "github"}, "artifact_type": {"confidence": null, "enriched_at": "2026-08-29T18:23:43.246451+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "d09f935a34d3357a58232af0a6ed6898ea0cb23c67f5c9f1d6f419fc1ce31ecd", "fetched_at": "2026-08-28T04:08:33.601275+00:00", "kind": "readme", "missing": false, "url": "https://github.com/koka-lang/koka"}, {"content_hash": "c0fd1829a3dc21e2054259a2f58b298cec6b91d33d32bc0fbcb54ff71fd74e20", "fetched_at": "2026-08-29T09:16:06.130217+00:00", "kind": "homepage", "missing": false, "url": "http://koka-lang.org"}], "taxonomy_version": 1}, "description": {"kind": "observed", "observed_at": "2026-08-28T04:08:33.601275+00:00", "source": "github"}, "domain": {"confidence": null, "enriched_at": "2026-08-29T18:23:43.246451+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "d09f935a34d3357a58232af0a6ed6898ea0cb23c67f5c9f1d6f419fc1ce31ecd", "fetched_at": "2026-08-28T04:08:33.601275+00:00", "kind": "readme", "missing": false, "url": "https://github.com/koka-lang/koka"}, {"content_hash": "c0fd1829a3dc21e2054259a2f58b298cec6b91d33d32bc0fbcb54ff71fd74e20", "fetched_at": "2026-08-29T09:16:06.130217+00:00", "kind": "homepage", "missing": false, "url": "http://koka-lang.org"}], "taxonomy_version": 1}, "enriched": {"inputs": [], "kind": "computed", "method": "enrichment_status"}, "function": {"confidence": null, "enriched_at": "2026-08-29T18:23:43.246451+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "d09f935a34d3357a58232af0a6ed6898ea0cb23c67f5c9f1d6f419fc1ce31ecd", "fetched_at": "2026-08-28T04:08:33.601275+00:00", "kind": "readme", "missing": false, "url": "https://github.com/koka-lang/koka"}, {"content_hash": "c0fd1829a3dc21e2054259a2f58b298cec6b91d33d32bc0fbcb54ff71fd74e20", "fetched_at": "2026-08-29T09:16:06.130217+00:00", "kind": "homepage", "missing": false, "url": "http://koka-lang.org"}], "taxonomy_version": 1}, "health_score": {"inputs": ["days_since_push", "days_since_release", "archived"], "kind": "computed", "method": "health_v1"}, "homepage": {"kind": "observed", "observed_at": "2026-08-28T04:08:33.601275+00:00", "source": "github"}, "language": {"kind": "observed", "observed_at": "2026-08-28T04:08:33.601275+00:00", "source": "github"}, "license": {"kind": "observed", "observed_at": "2026-08-28T04:08:33.601275+00:00", "source": "github"}, "license_family": {"inputs": ["license"], "kind": "computed", "method": "license_family"}, "maturity": {"confidence": null, "enriched_at": "2026-08-29T18:23:43.246451+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "d09f935a34d3357a58232af0a6ed6898ea0cb23c67f5c9f1d6f419fc1ce31ecd", "fetched_at": "2026-08-28T04:08:33.601275+00:00", "kind": "readme", "missing": false, "url": "https://github.com/koka-lang/koka"}, {"content_hash": "c0fd1829a3dc21e2054259a2f58b298cec6b91d33d32bc0fbcb54ff71fd74e20", "fetched_at": "2026-08-29T09:16:06.130217+00:00", "kind": "homepage", "missing": false, "url": "http://koka-lang.org"}], "taxonomy_version": 1}, "member_repos": {"kind": "observed", "observed_at": "2026-08-28T04:08:33.601275+00:00", "source": "github"}, "name": {"kind": "observed", "observed_at": "2026-08-28T04:08:33.601275+00:00", "source": "github"}, "platform": {"confidence": null, "enriched_at": "2026-08-29T18:23:43.246451+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "d09f935a34d3357a58232af0a6ed6898ea0cb23c67f5c9f1d6f419fc1ce31ecd", "fetched_at": "2026-08-28T04:08:33.601275+00:00", "kind": "readme", "missing": false, "url": "https://github.com/koka-lang/koka"}, {"content_hash": "c0fd1829a3dc21e2054259a2f58b298cec6b91d33d32bc0fbcb54ff71fd74e20", "fetched_at": "2026-08-29T09:16:06.130217+00:00", "kind": "homepage", "missing": false, "url": "http://koka-lang.org"}], "taxonomy_version": 1}, "pushed_at": {"kind": "observed", "observed_at": "2026-08-28T04:08:33.601275+00:00", "source": "github"}, "repo": {"kind": "observed", "observed_at": "2026-08-28T04:08:33.601275+00:00", "source": "github"}, "stars": {"kind": "observed", "observed_at": "2026-08-28T04:08:33.601275+00:00", "source": "github"}, "tags": {"confidence": null, "enriched_at": "2026-08-29T18:23:43.246451+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "d09f935a34d3357a58232af0a6ed6898ea0cb23c67f5c9f1d6f419fc1ce31ecd", "fetched_at": "2026-08-28T04:08:33.601275+00:00", "kind": "readme", "missing": false, "url": "https://github.com/koka-lang/koka"}, {"content_hash": "c0fd1829a3dc21e2054259a2f58b298cec6b91d33d32bc0fbcb54ff71fd74e20", "fetched_at": "2026-08-29T09:16:06.130217+00:00", "kind": "homepage", "missing": false, "url": "http://koka-lang.org"}], "taxonomy_version": 1}, "topics": {"kind": "observed", "observed_at": "2026-08-28T04:08:33.601275+00:00", "source": "github"}, "urls": {"kind": "observed", "observed_at": "2026-08-28T04:08:33.601275+00:00", "source": "github"}, "use_cases": {"confidence": null, "enriched_at": "2026-08-29T18:23:43.246451+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "d09f935a34d3357a58232af0a6ed6898ea0cb23c67f5c9f1d6f419fc1ce31ecd", "fetched_at": "2026-08-28T04:08:33.601275+00:00", "kind": "readme", "missing": false, "url": "https://github.com/koka-lang/koka"}, {"content_hash": "c0fd1829a3dc21e2054259a2f58b298cec6b91d33d32bc0fbcb54ff71fd74e20", "fetched_at": "2026-08-29T09:16:06.130217+00:00", "kind": "homepage", "missing": false, "url": "http://koka-lang.org"}], "taxonomy_version": 1}, "what_it_is": {"confidence": null, "enriched_at": "2026-08-29T18:23:43.246451+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "d09f935a34d3357a58232af0a6ed6898ea0cb23c67f5c9f1d6f419fc1ce31ecd", "fetched_at": "2026-08-28T04:08:33.601275+00:00", "kind": "readme", "missing": false, "url": "https://github.com/koka-lang/koka"}, {"content_hash": "c0fd1829a3dc21e2054259a2f58b298cec6b91d33d32bc0fbcb54ff71fd74e20", "fetched_at": "2026-08-29T09:16:06.130217+00:00", "kind": "homepage", "missing": false, "url": "http://koka-lang.org"}], "taxonomy_version": 1}, "when_to_avoid": {"confidence": null, "enriched_at": "2026-08-29T18:23:43.246451+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "d09f935a34d3357a58232af0a6ed6898ea0cb23c67f5c9f1d6f419fc1ce31ecd", "fetched_at": "2026-08-28T04:08:33.601275+00:00", "kind": "readme", "missing": false, "url": "https://github.com/koka-lang/koka"}, {"content_hash": "c0fd1829a3dc21e2054259a2f58b298cec6b91d33d32bc0fbcb54ff71fd74e20", "fetched_at": "2026-08-29T09:16:06.130217+00:00", "kind": "homepage", "missing": false, "url": "http://koka-lang.org"}], "taxonomy_version": 1}, "when_to_choose": {"confidence": null, "enriched_at": "2026-08-29T18:23:43.246451+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "d09f935a34d3357a58232af0a6ed6898ea0cb23c67f5c9f1d6f419fc1ce31ecd", "fetched_at": "2026-08-28T04:08:33.601275+00:00", "kind": "readme", "missing": false, "url": "https://github.com/koka-lang/koka"}, {"content_hash": "c0fd1829a3dc21e2054259a2f58b298cec6b91d33d32bc0fbcb54ff71fd74e20", "fetched_at": "2026-08-29T09:16:06.130217+00:00", "kind": "homepage", "missing": false, "url": "http://koka-lang.org"}], "taxonomy_version": 1}}, "score": {"components": {"activity": 97, "longevity": 100, "rhythm": 75}, "computed_at": "2026-09-03T02:39:23.370411+00:00", "flags": ["no_license"], "formula": "round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10)", "inputs": {"age_days": 3555, "days_push": 18, "days_rel": 169, "gap_med": 13, "n_releases_24m": 4}, "score": 90, "version": 2}, "staleness": {"enrichment_outdated": false, "low_confidence": false, "scrape_days": 9, "stale_scrape": false}}