公开记录中等
软件健康报告模式 0.27.0 · 指标 1.13.0 · 2026-07-28 15:13 UTC
effekt-lang / effekt
A language with lexical effect handlers and lightweight effect polymorphism
effekt-lang/effekt 的健康指数为 100 分中的 69 分，处于「中等」区间。 其得分最高的类别是Vitality（90/100），最低的是AI Readiness（54/100）。 最近一次更新在今天。 近期的大部分工作由 1 位贡献者完成。
69
总分 / 100软件健康指数
指标归入加权类别，统一采用 1–100 量表。总体分先取类别加权平均；当公开证据触发高风险司法辖区政策时，评级会按政策调整，并设置 49（有风险）的上限。AI 就绪度不计入总体分。
69
优秀85-100堪称典范；基本满足所有检验标准
良好70-84健康；仅有轻微不足
中等50-69可接受，但存在明显不足；建议进行审查
存在风险30-49存在重大薄弱环节；采用时应保持审慎
危急1-29问题严重（项目被弃置、仅有单一维护者、缺乏基本工程规范）
评分画像
每条轴代表一个类别。形状比平均值更重要——健康的对象会填满整个图形，而“一峰一谷”式画像意味着某一维度的优势正掩盖另一维度的风险。
所有权
软件包生态系统
| 注册表 | 软件包 | 版本 | 月下载量 | 版本数 | 最近发布 |
|---|---|---|---|---|---|
| npm | @effekt-lang/effekt | 0.74.0 | 940 | 75 | 1 天前 |
按类别列示的指标
活力
项目是否仍有生命——是否仍在编写代码，是否仍在发布版本？
90
开发活跃度
90优秀
评分方式
| 36/36 | 推送新近度 — 最近一次推送于 0 天前 |
| 26.3/36 | 提交节奏 — 52 周中有 38 周有提交 |
| 18/18 | 提交量 — 最近一年 199 次提交 |
| 10/10 | OpenSSF Scorecard：Maintained — 16 commit(s) and 2 issue activity found in the last 90 days -- score normalized to 10 |
所用输入
| commits_last_year | 199 |
| human_commit_share | 0.79 |
| days_since_last_push | 0 |
| active_weeks_last_year | 38 |
发布纪律
90优秀
评分方式
| 27/27 | 有发布版本 — 已发布 87 个发布版本 |
| 36/36 | 发布时效 — 最近一次发布版本于 1 天前 |
| 27/27 | 发布节奏 — 约每 14 天发布一次 |
| 0/10 | OpenSSF Scorecard：Signed-Releases — Project has not signed or included provenance with any releases. |
所用输入
| releases_count | 87 |
| latest_release_tag | v0.74.0 |
| releases_from_tags | 否 |
| days_since_latest_release | 1 |
| mean_days_between_releases | 14 |
社区与采用
项目是否拥有用户、下载量与关注度，并具备欢迎贡献者参与的配置？
55
流行度与采用
62中等
评分方式
| 43.1/60 | 星标 — 452 个星标 |
| 13.4/25 | 复刻 — 42 个复刻 |
| 5.3/15 | 关注者 — 10 位关注者 |
所用输入
| forks | 42 |
| stars | 452 |
| watchers | 10 |
| growth_state | unverified |
| growth_factor_pct | 100 |
| growth_unverified_reason | no_history |
社区健康
50中等
评分方式
| 22.5/22.5 | README |
| 22.5/22.5 | 许可证 — 可识别的许可证（MIT） |
| 0/18 | CONTRIBUTING 指南 |
| 0/13.5 | 行为准则 |
| 0/7.2 | 议题模板 |
| 0/6.3 | PR 模板 |
所用输入
| has_readme | 是 |
| has_license | 是 |
| has_contributing | 否 |
| has_issue_template | 否 |
| has_code_of_conduct | 否 |
| has_pull_request_template | 否 |
生态采用（下载量）
50中等
评分方式
| 39.6/80 | 月度下载量 — npm 合计每月 940 次下载 |
| 0/20 | 注册表被依赖数 — 该生态系统不报告此项 |
所用输入
| packages | @effekt-lang/effekt |
| dependents | — |
| ecosystems | npm |
| total_downloads | — |
| monthly_downloads | 940 |
已排除计分（无数据或不适用）：注册表被依赖数。 其余权重已重新归一化。
可持续性与治理
项目能否在其成员之外延续——巴士系数、响应能力、由谁支持，以及软件包的维护状况？
65
维护者韧性（巴士系数）
42存在风险
评分方式
| 9/54 | 巴士系数 — 1 位贡献者贡献了半数提交 |
| 9.2/22.5 | 提交分布 — 头号贡献者编写了 59% 的提交 |
| 13.5/13.5 | 贡献者广度 — 28 位贡献者 |
| 10/10 | OpenSSF Scorecard：Contributors — project has 19 contributing companies or organizations |
所用输入
| bus_factor | 1 |
| contributors_sampled | 28 |
| top_contributor_share | 0.593 |
议题与 PR 响应能力
72良好
评分方式
| 31.2/46.8 | 议题解决 — 67% 的议题已关闭 |
| 33.3/38.3 | PR 接受 — 已裁定的 PR 中 689/792 已合并 |
| 7.5/15 | OpenSSF Scorecard：Code-Review — Found 15/30 approved changesets -- score normalized to 5 |
所用输入
| merged_prs | 689 |
| open_issues | 184 |
| closed_issues | 369 |
| issue_closed_ratio | 0.667 |
| closed_unmerged_prs | 103 |
所有权与托管责任
57中等
评分方式
| 30/30 | 所有权背书 — 组织持有 |
| 0/20 | 已验证域名 |
| 8/25 | 所有者影响力 — effekt-lang 有 12 位关注者 |
| 18.9/25 | 既往记录 — 8 个公开仓库，账户约 6 年 |
所用输入
| followers | 12 |
| owner_type | Organization |
| is_verified | — |
| owner_login | effekt-lang |
| public_repos | 8 |
| account_age_days | 2,364 |
软件包维护
100优秀
评分方式
| 25/25 | 已发布且可解析 — npm 上有 1 个软件包 |
| 35/35 | 发布时效 — 最近一次发布于 1 天前 |
| 20/20 | 版本历史 — 75 个已发布版本 |
| 20/20 | 未被弃用 — 活跃，未被弃用或撤回 |
所用输入
| packages | @effekt-lang/effekt |
| ecosystems | npm |
| any_deprecated | 否 |
| min_days_since_publish | 1 |
工程质量
基础的工程与文档实践是否到位？
66
工程实践
66中等
评分方式
| 24/24 | CI 工作流 — 6 个工作流 |
| 24/24 | 存在测试 |
| 0/16 | Linter 配置 |
| 0/9.6 | Pre-commit 钩子 |
| 0/6.4 | .editorconfig |
| 18/20 | OpenSSF Scorecard：CI-Tests — 20 out of 22 merged PRs checked by a CI test -- score normalized to 9 |
所用输入
| has_ci | 是 |
| has_tests | 是 |
| has_editorconfig | 否 |
| has_linter_config | 否 |
| has_precommit_config | 否 |
文档
65中等
评分方式
| 30/30 | README |
| 0/25 | 文档目录 |
| 15/15 | 文档 / 主页站点 — https://effekt-lang.org |
| 10/10 | 仓库描述 |
| 10/10 | 主题标签 — 13 个主题标签 |
| 0/10 | Wiki |
所用输入
| topics | effects, handlers, control-flow, algebraic-effects, delimited-continuation, language, language-design, research-project, effect-handlers, effect-systems, effekt, effekt-lang, lexical-effect-handlers |
| has_wiki | 否 |
| homepage | https://effekt-lang.org |
| has_readme | 是 |
| has_docs_dir | 否 |
| has_description | 是 |
安全
可见的安全与供应链实践是否稳固，且不存在未解决的高风险司法辖区暴露？
64
安全态势
55中等
评分方式
| 7.5/7.5 | Binary-Artifacts — no binaries found in the repo |
| 0/7.5 | Branch-Protection — 无数据 |
| 2.2/2.5 | CI-Tests — 20 out of 22 merged PRs checked by a CI test -- score normalized to 9 |
| 0/2.5 | CII-Best-Practices — no effort to earn an OpenSSF best practices badge detected |
| 3.8/7.5 | Code-Review — Found 15/30 approved changesets -- score normalized to 5 |
| 2.5/2.5 | Contributors — project has 19 contributing companies or organizations |
| 10/10 | Dangerous-Workflow — no dangerous workflow patterns detected |
| 7.5/7.5 | Dependency-Update-Tool — update tool detected |
| 0/5 | Fuzzing — project is not fuzzed |
| 2.5/2.5 | 许可证 — license file detected |
| 7.5/7.5 | Maintained — 16 commit(s) and 2 issue activity found in the last 90 days -- score normalized to 10 |
| 5/5 | Packaging — packaging workflow detected |
| 0/5 | Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 0 |
| 0/5 | SAST — SAST tool is not run on all commits -- score normalized to 0 |
| 0/5 | Security-Policy — security policy file not detected |
| 0/7.5 | Signed-Releases — Project has not signed or included provenance with any releases. |
| 0/7.5 | Token-Permissions — detected GitHub workflow tokens with excessive permissions |
| 5.2/7.5 | Vulnerabilities — 3 existing vulnerabilities detected |
所用输入
| source | openssf_scorecard |
| checks_evaluated | 17 |
| scorecard_version | v5.5.0 |
| checks_inconclusive | 1 |
| scorecard_aggregate | 5.5 |
已排除计分（无数据或不适用）：branch_protection。 其余权重已重新归一化。
依赖安全公告
100优秀
评分方式
| 35/35 | 直接依赖不含已知公告 — 没有直接依赖携带已知公告 |
| 0/25 | 间接依赖不含已知公告 — 在此范围内，传递依赖集合无法与开发和测试依赖区分 |
| 0/40 | 没有长期未处理的公告 — 没有公告带有发布日期 |
所用输入
| source | osv |
| advisories | 0 |
| affected_packages | 0 |
| assessed_packages | 5 |
| unassessed_packages | 0 |
| affected_by_severity | none |
| direct_affected_packages | 0 |
已排除计分（无数据或不适用）：间接依赖不含已知公告, 没有长期未处理的公告。 其余权重已重新归一化。 已将 5 个已解析依赖与 OSV 比对。 该仓库未发布任何索引可解析的软件包，因此改为评估仓库依赖图。该图将开发与测试版本固定同交付的依赖混在一起，因此仅对声明的运行时依赖计分；传递性发现仅作为背景信息列出，不计入评分。 未对可达性进行分析。
AI 就绪度
该仓库在多大程度上具备与 AI 编码代理协同开发与维护的条件？这是一枚独立的实验性徽章——权重为 0.0，因此单独呈现，不影响总体健康评分。
54
AI 代理上下文与指引
40存在风险
评分方式
| 0/45 | 代理指令 — 没有 CLAUDE.md / AGENTS.md / 编辑器规则 |
| 0/15 | 机器可读文档（llms.txt） |
| 40/40 | 可读的提交历史 — 79 次人类提交中有 76 次说明了意图（结构化标题或解释性正文） |
所用输入
| has_llms_txt | 否 |
| legible_history_share | 0.962 |
| agent_instruction_files | — |
| agent_instruction_max_bytes | — |
评分方式
| 12.6/18 | 一条命令的引导启动 — pom.xml（工具链约定，无任务运行器） |
| 22/22 | 自动化测试 |
| 0/11 | Lint / 格式化配置 |
| 11/11 | 静态类型检查 — Scala（静态类型） |
| 0/10 | 可复现环境 |
| 0/10 | 已体现的代理实践 — 最近 100 次提交中没有代理编写的提交 |
| 8/8 | 自动化维护 — 最近 100 次提交中有 3 次为自动依赖更新 |
| 0/10 | OpenSSF Scorecard：Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 0 |
所用输入
| has_nix | 否 |
| has_tests | 是 |
| lockfiles | — |
| has_dockerfile | 否 |
| typed_language | 是 |
| bootstrap_files | — |
| has_devcontainer | 否 |
| has_linter_config | 否 |
| typecheck_configs | — |
| agent_commit_share | 0 |
| toolchain_manifests | pom.xml |
| dependency_bot_commit_share | 0.03 |
面向模型的代码可读性
99优秀
评分方式
| 45/45 | 可类型检查的代码 — Scala（静态类型） |
| 53.6/55 | 可控的文件大小 — 采样的 155 个源文件中有 4 个超过 60KB |
所用输入
| primary_language | Scala |
| largest_source_bytes | 92,113 |
| source_files_sampled | 155 |
| oversized_source_files | 4 |
机器可读接口
40存在风险
评分方式
| 0/40 | API 模式（OpenAPI/GraphQL/proto） |
| 0/20 | MCP 服务器 |
| 40/40 | 可运行示例 — examples |
所用输入
| example_dirs | examples |
| has_mcp_signal | 否 |
| api_schema_files | — |
关键数据
452GitHub 星标
28贡献者
199最近 12 个月提交数
0距最近推送天数
87发布版本数
1巴士系数（bus factor）
184开放议题
Maven, npm软件包生态系统数
数据采集警告
- Star history unavailable: GitHub GraphQL error: Resource not accessible by personal access token
- Could not fetch maven package 'de.bstudios:Effekt' from its registry
更多细节
Star 与 Fork 历史 0 ★ / 42 ⇿
0Star
42Fork
69发布
每颗 star 和每个 fork 的添加时间，来自 GitHub 并按天汇总。累计增长位于其构成来源——每日新增——的正上方，二者可相互对照：稳定的自然增长与短暂的突增形态截然不同。当这一差别可被衡量时，它会作为增长真实性予以报告。
主版本 0次版本 65修订 4
每个点涵盖 6 天。
OpenSSF Scorecard 5.5 / 10
5.5综合
来自开源项目 OpenSSF Scorecard 的独立、工具无关的安全评估。每项检查奖励的是安全实践本身，而非特定供应商的工具。Scorecard 无法判定的检查项标记为 不适用，并从安全评分中剔除（绝不按零分计）。
| 10 | Binary-Artifacts | no binaries found in the repo |
| 不适用 | Branch-Protection | internal error: error during branchesHandler.setup: internal error: some github tokens can't read classic branch protection rules: https://github.com/ossf/scorecard-action/blob/main/docs/authentication/fine-grained-auth-token.md |
| 9 | CI-Tests | 20 out of 22 merged PRs checked by a CI test -- score normalized to 9 |
| 0 | CII-Best-Practices | no effort to earn an OpenSSF best practices badge detected |
| 5 | Code-Review | Found 15/30 approved changesets -- score normalized to 5 |
| 10 | Contributors | project has 19 contributing companies or organizations |
| 10 | Dangerous-Workflow | no dangerous workflow patterns detected |
| 10 | Dependency-Update-Tool | update tool detected |
| 0 | Fuzzing | project is not fuzzed |
| 10 | License | license file detected |
| 10 | Maintained | 16 commit(s) and 2 issue activity found in the last 90 days -- score normalized to 10 |
| 10 | Packaging | packaging workflow detected |
| 0 | Pinned-Dependencies | dependency not pinned by hash detected -- score normalized to 0 |
| 0 | SAST | SAST tool is not run on all commits -- score normalized to 0 |
| 0 | Security-Policy | security policy file not detected |
| 0 | Signed-Releases | Project has not signed or included provenance with any releases. |
| 0 | Token-Permissions | detected GitHub workflow tokens with excessive permissions |
| 7 | Vulnerabilities | 3 existing vulnerabilities detected |
直接依赖 4
| 注册表 | 软件包 | 版本约束 | 清单文件 |
|---|---|---|---|
| Maven | org.eclipse.lsp4j:org.eclipse.lsp4j | 0.12.0 | pom.xml |
| Maven | com.google.code.gson:gson | 2.8.9 | pom.xml |
| Maven | jline:jline | 2.14.6 | pom.xml |
| Maven | org.rogach:scallop_3 | 4.1.0 | pom.xml |
全部依赖 5
来自 GitHub 依赖图的完整解析依赖集合：4 个直接依赖与 1 个间接（传递）软件包。仓库提交锁文件时，传递闭包才是完整的。
| 注册表 | 软件包 | 版本 | 关系 |
|---|---|---|---|
| Maven | com.google.code.gson:gson | 2.8.9 | 直接 |
| Maven | jline:jline | 2.14.6 | 直接 |
| Maven | org.eclipse.lsp4j:org.eclipse.lsp4j | 0.12.0 | 直接 |
| Maven | org.rogach:scallop_3 | 4.1.0 | 直接 |
| Maven | org.codehaus.mojo:license-maven-plugin | 2.0.0 | 间接 |
依赖安全公告 0
该仓库未发布可被索引解析的包，因此评估的是其自身的依赖图——共 5 个包，其中也包含从不交付的开发与测试版本固定：0 个存在已知公告，0 个为直接依赖。
没有已知公告影响已评估的依赖。
公告表示依赖图中记录的版本落入某条公告的受影响范围。可达性未经分析，且依赖图包含开发与测试的版本固定——某项发现可能只涉及工具链而非交付的软件。
原始 JSON 报告 机器可读
{
"data": {
"repo": {
"topics": [
"effects",
"handlers",
"control-flow",
"algebraic-effects",
"delimited-continuation",
"language",
"language-design",
"research-project",
"effect-handlers",
"effect-systems",
"effekt",
"effekt-lang",
"lexical-effect-handlers"
],
"is_fork": false,
"size_kb": 24336,
"has_wiki": false,
"homepage": "https://effekt-lang.org",
"languages": {
"C": 36513,
"LLVM": 33963,
"Scala": 1544642,
"Scheme": 60461,
"JavaScript": 8176
},
"pushed_at": "2026-07-28T15:09:55Z",
"created_at": "2020-03-05T15:49:21Z",
"owner_type": "Organization",
"updated_at": "2026-07-28T13:34:58Z",
"description": "A language with lexical effect handlers and lightweight effect polymorphism",
"is_archived": false,
"is_disabled": false,
"license_spdx": "MIT",
"default_branch": "main",
"license_spdx_raw": "MIT",
"primary_language": "Scala",
"significant_languages": [
"Scala"
]
},
"owner": {
"blog": "https://effekt-lang.org",
"name": "Effekt Language",
"type": "Organization",
"login": "effekt-lang",
"company": null,
"location": null,
"followers": 12,
"avatar_url": "https://avatars.githubusercontent.com/u/60718943?v=4",
"created_at": "2020-02-05T23:18:12Z",
"is_verified": null,
"public_repos": 8,
"account_age_days": 2364
},
"license": {
"state": "standard",
"spdx_id": "MIT",
"raw_spdx": "MIT",
"file_present": true,
"scorecard_found": true,
"profile_has_license": true
},
"activity": {
"releases": [
{
"tag": "v0.74.0",
"kind": "minor",
"published_at": "2026-07-27T07:30:00Z"
},
{
"tag": "v0.73.0",
"kind": "minor",
"published_at": "2026-07-20T07:06:55Z"
},
{
"tag": "v0.72.0",
"kind": "minor",
"published_at": "2026-07-06T08:12:40Z"
},
{
"tag": "v0.71.0",
"kind": "minor",
"published_at": "2026-06-29T08:57:53Z"
},
{
"tag": "v0.70.0",
"kind": "minor",
"published_at": "2026-06-22T09:55:21Z"
},
{
"tag": "v0.69.0",
"kind": "minor",
"published_at": "2026-05-04T07:19:28Z"
},
{
"tag": "v0.68.0",
"kind": "minor",
"published_at": "2026-04-27T06:58:04Z"
},
{
"tag": "v0.67.0",
"kind": "minor",
"published_at": "2026-04-20T06:37:15Z"
},
{
"tag": "v0.66.0",
"kind": "minor",
"published_at": "2026-03-30T06:15:13Z"
},
{
"tag": "v0.65.0",
"kind": "minor",
"published_at": "2026-03-23T05:45:30Z"
},
{
"tag": "v0.64.0",
"kind": "minor",
"published_at": "2026-03-16T05:56:47Z"
},
{
"tag": "v0.63.0",
"kind": "minor",
"published_at": "2026-03-09T05:43:01Z"
},
{
"tag": "v0.62.0",
"kind": "minor",
"published_at": "2026-03-02T05:25:29Z"
},
{
"tag": "v0.61.0",
"kind": "minor",
"published_at": "2026-02-09T05:45:45Z"
},
{
"tag": "v0.60.0",
"kind": "minor",
"published_at": "2026-02-02T05:43:49Z"
},
{
"tag": "v0.59.0",
"kind": "minor",
"published_at": "2026-01-19T04:55:32Z"
},
{
"tag": "v0.58.0",
"kind": "minor",
"published_at": "2026-01-12T04:49:16Z"
},
{
"tag": "v0.57.0",
"kind": "minor",
"published_at": "2025-12-22T04:48:07Z"
},
{
"tag": "v0.56.0",
"kind": "minor",
"published_at": "2025-12-15T04:47:28Z"
},
{
"tag": "v0.55.0",
"kind": "minor",
"published_at": "2025-12-08T04:47:51Z"
},
{
"tag": "v0.54.0",
"kind": "minor",
"published_at": "2025-12-01T04:48:17Z"
},
{
"tag": "v0.53.0",
"kind": "minor",
"published_at": "2025-11-24T04:28:01Z"
},
{
"tag": "v0.52.0",
"kind": "minor",
"published_at": "2025-11-17T04:15:13Z"
},
{
"tag": "v0.51.0",
"kind": "minor",
"published_at": "2025-11-10T04:22:03Z"
},
{
"tag": "v0.50.0",
"kind": "minor",
"published_at": "2025-11-03T04:24:14Z"
},
{
"tag": "v0.49.0",
"kind": "minor",
"published_at": "2025-10-13T04:14:56Z"
},
{
"tag": "v0.48.0",
"kind": "minor",
"published_at": "2025-10-06T03:59:29Z"
},
{
"tag": "v0.47.0",
"kind": "minor",
"published_at": "2025-09-15T04:02:44Z"
},
{
"tag": "v0.46.0",
"kind": "minor",
"published_at": "2025-09-08T04:01:42Z"
},
{
"tag": "v0.45.0",
"kind": "minor",
"published_at": "2025-09-01T04:14:47Z"
},
{
"tag": "v0.44.0",
"kind": "minor",
"published_at": "2025-08-25T04:14:17Z"
},
{
"tag": "v0.43.0",
"kind": "minor",
"published_at": "2025-08-18T04:27:04Z"
},
{
"tag": "v0.42.0",
"kind": "minor",
"published_at": "2025-08-11T04:28:48Z"
},
{
"tag": "v0.41.0",
"kind": "minor",
"published_at": "2025-08-04T04:39:32Z"
},
{
"tag": "v0.40.0",
"kind": "minor",
"published_at": "2025-07-28T04:29:12Z"
},
{
"tag": "v0.39.0",
"kind": "minor",
"published_at": "2025-07-21T04:29:41Z"
},
{
"tag": "v0.38.0",
"kind": "minor",
"published_at": "2025-07-14T04:25:38Z"
},
{
"tag": "v0.37.0",
"kind": "minor",
"published_at": "2025-07-07T04:18:20Z"
},
{
"tag": "v0.36.0",
"kind": "minor",
"published_at": "2025-06-30T04:17:05Z"
},
{
"tag": "v0.35.0",
"kind": "minor",
"published_at": "2025-06-23T04:14:14Z"
},
{
"tag": "v0.34.0",
"kind": "minor",
"published_at": "2025-06-16T04:13:15Z"
},
{
"tag": "v0.33.1",
"kind": "patch",
"published_at": "2025-06-05T12:23:51Z"
},
{
"tag": "v0.33.0",
"kind": "minor",
"published_at": "2025-06-02T04:13:21Z"
},
{
"tag": "v0.32.0",
"kind": "minor",
"published_at": "2025-05-26T04:07:30Z"
},
{
"tag": "v0.31.0",
"kind": "minor",
"published_at": "2025-05-19T04:11:28Z"
},
{
"tag": "v0.30.0",
"kind": "minor",
"published_at": "2025-05-12T04:05:23Z"
},
{
"tag": "v0.29.0",
"kind": "minor",
"published_at": "2025-05-05T04:02:08Z"
},
{
"tag": "v0.28.0",
"kind": "minor",
"published_at": "2025-04-28T03:58:25Z"
},
{
"tag": "v0.27.0",
"kind": "minor",
"published_at": "2025-04-21T04:00:44Z"
},
{
"tag": "v0.26.0",
"kind": "minor",
"published_at": "2025-04-14T03:56:49Z"
},
{
"tag": "v0.25.0",
"kind": "minor",
"published_at": "2025-03-31T03:56:16Z"
},
{
"tag": "v0.24.0",
"kind": "minor",
"published_at": "2025-03-17T07:55:18Z"
},
{
"tag": "v0.23.0",
"kind": "minor",
"published_at": "2025-03-10T08:01:44Z"
},
{
"tag": "v0.22.0",
"kind": "minor",
"published_at": "2025-02-24T03:41:00Z"
},
{
"tag": "v0.21.0",
"kind": "minor",
"published_at": "2025-02-17T03:41:22Z"
},
{
"tag": "v0.20.0",
"kind": "minor",
"published_at": "2025-02-10T12:47:01Z"
},
{
"tag": "v0.19.0",
"kind": "minor",
"published_at": "2025-01-27T03:35:32Z"
},
{
"tag": "v0.18.0",
"kind": "minor",
"published_at": "2025-01-20T03:33:22Z"
},
{
"tag": "v0.17.0",
"kind": "minor",
"published_at": "2025-01-13T03:40:17Z"
},
{
"tag": "v0.16.0",
"kind": "minor",
"published_at": "2025-01-06T03:39:18Z"
},
{
"tag": "v0.15.0",
"kind": "minor",
"published_at": "2024-12-23T03:36:55Z"
},
{
"tag": "v0.14.0",
"kind": "minor",
"published_at": "2024-12-16T03:47:28Z"
},
{
"tag": "v0.13.0",
"kind": "minor",
"published_at": "2024-12-09T03:47:00Z"
},
{
"tag": "v0.12.0",
"kind": "minor",
"published_at": "2024-12-02T03:47:40Z"
},
{
"tag": "v0.11.0",
"kind": "minor",
"published_at": "2024-11-25T03:43:20Z"
},
{
"tag": "v0.10.0",
"kind": "minor",
"published_at": "2024-11-18T03:42:24Z"
},
{
"tag": "v0.9.0",
"kind": "minor",
"published_at": "2024-11-11T03:34:25Z"
},
{
"tag": "v0.8.0",
"kind": "minor",
"published_at": "2024-11-04T03:38:54Z"
},
{
"tag": "v0.7.0",
"kind": "minor",
"published_at": "2024-10-28T03:38:40Z"
},
{
"tag": "v0.6.0",
"kind": "minor",
"published_at": "2025-09-16T14:35:08Z"
},
{
"tag": "v0.5.0",
"kind": "minor",
"published_at": "2024-10-07T03:37:09Z"
},
{
"tag": "v0.4.0",
"kind": "minor",
"published_at": "2024-10-01T18:13:24Z"
},
{
"tag": "v0.3.0",
"kind": "minor",
"published_at": "2024-09-16T16:14:52Z"
},
{
"tag": "v0.2.2",
"kind": "patch",
"published_at": "2024-02-21T09:47:20Z"
},
{
"tag": "v0.2.1",
"kind": "patch",
"published_at": "2023-09-24T21:45:46Z"
},
{
"tag": "v0.2.0",
"kind": "minor",
"published_at": "2022-09-22T08:56:39Z"
},
{
"tag": "v0.1.16",
"kind": "patch",
"published_at": "2020-12-09T12:22:11Z"
},
{
"tag": "v0.1.15",
"kind": "patch",
"published_at": "2020-05-15T14:30:48Z"
},
{
"tag": "v0.1.14",
"kind": "patch",
"published_at": "2020-05-12T16:31:09Z"
},
{
"tag": "v0.1.13",
"kind": "patch",
"published_at": "2020-04-25T13:22:38Z"
},
{
"tag": "v0.1.12",
"kind": "patch",
"published_at": "2020-04-22T15:09:17Z"
},
{
"tag": "v0.1.11",
"kind": "patch",
"published_at": "2020-04-16T15:26:44Z"
},
{
"tag": "v0.1.10",
"kind": "patch",
"published_at": "2020-04-15T09:01:35Z"
},
{
"tag": "v0.1.9",
"kind": "patch",
"published_at": "2020-04-14T08:04:45Z"
},
{
"tag": "v0.1.8",
"kind": "patch",
"published_at": "2020-04-13T17:16:11Z"
},
{
"tag": "v0.1.7",
"kind": "patch",
"published_at": "2020-04-12T14:25:55Z"
},
{
"tag": "v0.1.6",
"kind": "patch",
"published_at": "2020-04-10T12:20:39Z"
}
],
"recent_commits": [
{
"oid": "e15eca1292c5059fbcb4f3cf9fc5e6639352f0a9",
"body": null,
"is_bot": true,
"headline": "Bump version to 0.74.0",
"author_name": "effekt-updater[bot]",
"author_login": "effekt-updater[bot]",
"committed_at": "2026-07-27T07:27:26Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "d011943c51c82e6477d98e46f3022d7cf2aa4d82",
"body": null,
"is_bot": false,
"headline": "Memory managed C::Obj in C FFI (#1409)",
"author_name": "Marvin",
"author_login": "marvinborner",
"committed_at": "2026-07-22T08:59:09Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "4f95f6e94abbc4dc46cd0f99582d20b0ac38a414",
"body": null,
"is_bot": true,
"headline": "Bump version to 0.73.0",
"author_name": "effekt-updater[bot]",
"author_login": "effekt-updater[bot]",
"committed_at": "2026-07-20T07:04:30Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "300c5e16c163b774738936f83c3b0bf9bea2bf14",
"body": "In Lexer, check if we are inside a hole before parsing `}>` to fix issue\n#1301.\n\nResolves #1301\n\n---------\n\nCo-authored-by: Jiří Beneš <mail@jiribenes.com>",
"is_bot": false,
"headline": "Track depth of typed holes in lexer (#1364)",
"author_name": "LTeuse",
"author_login": "LTeuse",
"committed_at": "2026-07-19T19:10:47Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "a8f551c2fca8b51d4ac628e22c3ac54f82a174bd",
"body": "Resolves #1410",
"is_bot": false,
"headline": "Fix '*=' lexing (#1413)",
"author_name": "Jiří Beneš",
"author_login": "jiribenes",
"committed_at": "2026-07-19T18:45:01Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "7ffa22b620b56da1e94da7a593d4d576961d3e2b",
"body": "`string::utf8ByteLength` is `char::utf8ByteCount` but for whole strings:\nefficient on NodeJS and LLVM, but I also included a version written in\nEffekt because I don't know what Chez does...",
"is_bot": false,
"headline": "Add 'string::utf8ByteLength' (#1412)",
"author_name": "Jiří Beneš",
"author_login": "jiribenes",
"committed_at": "2026-07-19T18:42:49Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "628acacebfd53f98c99203e18a8e0b78bd008a92",
"body": null,
"is_bot": false,
"headline": "Fix text of ad casestudy (#1401)",
"author_name": "Martin Ilgner",
"author_login": "martin-ilgner",
"committed_at": "2026-07-17T07:31:29Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "18db9d1607e6cd63d62d7de7a678697b8594f8e7",
"body": null,
"is_bot": true,
"headline": "Bump version to 0.72.0",
"author_name": "effekt-updater[bot]",
"author_login": "effekt-updater[bot]",
"committed_at": "2026-07-06T08:10:11Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "9e69789a8062a3a348a80baeb50a23dfb96fea43",
"body": "We were missing a binding for Show, in the condition of an `if`.\n\nFor example the following would produce an error.\n```scala\nif (show(1) == show(1)) {\n ...\n} else {\n ...\n}\n```\n\n---------\n\nCo-authored-by: Jonathan Immanuel Brachthäuser <jonathan.brachthaeuser@uni-tuebingen.de>",
"is_bot": false,
"headline": "Add missing show binding (#1408)",
"author_name": "Mattis Böckle",
"author_login": "mattisboeckle",
"committed_at": "2026-06-30T12:45:52Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "260aa23fd39d57f55b950fe7b1ed5d4c467bf963",
"body": null,
"is_bot": true,
"headline": "Bump version to 0.71.0",
"author_name": "effekt-updater[bot]",
"author_login": "effekt-updater[bot]",
"committed_at": "2026-06-29T08:55:47Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "ec45c67c8116d58f38a50af0a6c51a32c7b1b174",
"body": "Enables writing extern definitions such as\n```scala\nextern def glfwCreateWindow(width: C::Int, height: C::Int, title: C::String, monitor: C::Ptr, share: GLFWwindow): GLFWwindow = c \"glfwCreateWindow\"\n```\nwhich has to match a linked c function that has the correct name and\ntypes.\n\nIn this specific ca\n[…]\n then be called from effekt.\nThere are some selected types and utility functions in `effekt.effekt`\n\n---------\n\nCo-authored-by: Jonathan Immanuel Brachthäuser <jonathan.brachthaeuser@uni-tuebingen.de>",
"is_bot": false,
"headline": "Implement easy C externs (#1402)",
"author_name": "Mattis Böckle",
"author_login": "mattisboeckle",
"committed_at": "2026-06-22T14:22:58Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "a48ae927de99d1a2b9bed20d45c7b58d7a9b097e",
"body": "ReparseTests have been flaky for a while. There was a problem in\ninitialization order of Files / Classes\n\nPromptSymbol & ResumeSymbol are initialized in core.Type. \nIn symbols.builtins we use these values to build the `coreBuiltin`\nlookup table. Sometimes PromptSymbol & ResumeSymbol were not initialized\nwhen building this Map and therefore `null`.\n\nWhen we later look up these names we get crashes in the tests.",
"is_bot": false,
"headline": "Resolve flaky ReparseTests by making coreBuiltins lazy (#1407)",
"author_name": "Mattis Böckle",
"author_login": "mattisboeckle",
"committed_at": "2026-06-22T14:19:40Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "862b6d501f71a6879424a2f313bd749cee6b7133",
"body": null,
"is_bot": true,
"headline": "Bump version to 0.70.0",
"author_name": "effekt-updater[bot]",
"author_login": "effekt-updater[bot]",
"committed_at": "2026-06-22T09:52:47Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "de52cc3a38edcb7178ab7c24d8184b199a3ee68f",
"body": "Fixes #1404 .",
"is_bot": false,
"headline": "Fix argument count check (#1406)",
"author_name": "Marcial Gaißert",
"author_login": "marzipankaiser",
"committed_at": "2026-06-17T14:32:56Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "b734023bddab0b6c677b92698d5246dbf45db272",
"body": null,
"is_bot": true,
"headline": "Bump version to 0.69.0",
"author_name": "effekt-updater[bot]",
"author_login": "effekt-updater[bot]",
"committed_at": "2026-05-04T07:17:12Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "111c39641dd2d557378e11eaf78d114642912897",
"body": "Speeds up implicits by just storing the Scope in namer (and not trying\nto resolve anything yet).\nNow also contains the iterative deepening.\n\nThis might slightly change semantics of the implicitly passed parameters\ncompared to the \"desugared\" version, since it does not replicate the\npost-filtering in Namer (`resolveFunctionCalltarget`).",
"is_bot": false,
"headline": "Speedup implicits (#1396)",
"author_name": "Marcial Gaißert",
"author_login": "marzipankaiser",
"committed_at": "2026-04-30T14:28:38Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "736a4995b1e9e22d466f290a3f443dff710d05d6",
"body": "In sbt you can now call\n```\ndebug\n```\nto trigger the debug mode\nand\n```\nrelease\n```\nto trigger the release mode.\n\n`effekt.util.Debug` contains a few debugging helpers that are disabled\nduring release:\n\n```scala\ninline def debug(inline f: => Unit): Unit =\n inline if DEBUG then f else ()\n\ninline def \n[…]\n: Boolean): Unit =\n inline if DEBUG then Predef.assert(assertion)\n\ninline def assert(inline assertion: Boolean, inline msg: => String): Unit =\n inline if DEBUG then Predef.assert(assertion, msg)\n```",
"is_bot": false,
"headline": "Add debug flag and separate type checking and inference (#1394)",
"author_name": "Jonathan Immanuel Brachthäuser",
"author_login": "b-studios",
"committed_at": "2026-04-29T15:00:01Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "b8214fdc13a6c5b34c55577132edd7b8c21bd123",
"body": null,
"is_bot": false,
"headline": "LSP: Show documentation on hover for externs (#1395)",
"author_name": "Jiří Beneš",
"author_login": "jiribenes",
"committed_at": "2026-04-29T08:23:46Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "e7f008482c9531c726b75c472ed7802120dbb5ee",
"body": "Resolves #1223, especially useful for overloading disambiguation, see\nexamples.\n\nThis will likely need a syntax highlighter update in effekt-vscode.",
"is_bot": false,
"headline": "Add support for qualified declarations (#1392)",
"author_name": "Jiří Beneš",
"author_login": "jiribenes",
"committed_at": "2026-04-29T07:31:29Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "6e9d0080a99c7283abb645e36c64a687a56c8c12",
"body": "Resolves #1337, quoting:\n\n> Currently, it's impossible to use a function from the current module\nin a qualified way. I've encountered this mostly in collection\ninterfaces like `list`: each collection has a `collect` function, and we\nhave an unwritten convention of using `collect` in a qualified mann\n[…]\n\n> ```scala\n> module foo\n> \n> def bar(): Int = 42\n> \n> def quux() = {\n> val n = bar() // currently works!\n> val m = foo::bar() // error: Cannot find a function named `foo::bar`\n> n + m\n> }\n> ```",
"is_bot": false,
"headline": "Allow qualified use mentioning current module (#1388)",
"author_name": "Jiří Beneš",
"author_login": "jiribenes",
"committed_at": "2026-04-28T17:16:35Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "1b5ab1176ba024e6c32a2469e3f8c38fbd3c325e",
"body": "We had hoped that using `mill` would help with the spurious CI failures,\nbut it doesn't seem to have done so.\nNow we're in a state where we have two increasingly inconsistent ways\n(see the bug I fixed in `build.sbt`?) of building the project, running\ntests, etc.\n\nLet's cut our losses and remove Mill (reverting #1278).",
"is_bot": false,
"headline": "Revert #1278 (Add build.mill setup) (#1387)",
"author_name": "Jiří Beneš",
"author_login": "jiribenes",
"committed_at": "2026-04-28T14:36:46Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "9433c5b5a23acc8da038254e57cbd1e2a89461c9",
"body": null,
"is_bot": true,
"headline": "Bump version to 0.68.0",
"author_name": "effekt-updater[bot]",
"author_login": "effekt-updater[bot]",
"committed_at": "2026-04-27T06:55:18Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "5eb942346026ef2f50fa150ff88f76a7ef769c09",
"body": "This implements implicits similar to\n> Daan Leijen, Tim Whiting: Syntactic Implicit Parameters with Static\nOverloading\n\nIt also implements their use to get source positions in the code.\n\n### Syntax and Intended Behaviour\nPutting a `?` in front of a value/block parameter makes it potentially\nimplicit\n[…]\n3 s.t. they\nprovide only the definitions for base and recursive cases (not for all\ntypes used etc).\n\n---------\n\nCo-authored-by: Jonathan Immanuel Brachthäuser <jonathan.brachthaeuser@uni-tuebingen.de>",
"is_bot": false,
"headline": "Name-based implicits in Effekt (#1380)",
"author_name": "Marcial Gaißert",
"author_login": "marzipankaiser",
"committed_at": "2026-04-21T15:06:37Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "7e5beeeff060a69f6e1af438418ea0d2d4fc2a8c",
"body": "…1339 (#1369)\n\n### Problem\n```scala\ndef main() = {\n val (a, b) = (1, 2) else panic(\"unreachable\")\n}\n```\nreport `Unreachable case` at `main` instead of else (see #1339)",
"is_bot": false,
"headline": "Fix position for unreachable case warning in irrefutable 'val-else' #…",
"author_name": "LTeuse",
"author_login": "LTeuse",
"committed_at": "2026-04-21T11:01:42Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "daffa306e377e714084249b189f0b8fa02012456",
"body": "This PR replaces the extern body for the \"vm\" target by an automatically\ngenerated `QualifiedSignature`.",
"is_bot": false,
"headline": "Track qualified signature for extern definitons (#1370)",
"author_name": "Tim Süberkrüb",
"author_login": "timsueberkrueb",
"committed_at": "2026-04-20T15:35:18Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "2a3349f598f3416b6b53568d5ff3ab318e20a23b",
"body": "In this PR I am trying to get rid of more usages of the macro by\nexplicating the traversal in `Tree.Rewrite` manually. Instead of\nspecifying the special cases in partial functions, now users have to\noverride the specific `rewrite` method for the nonterminal of interest\nand call `super.rewrite(...)` for the homomorphic cases.\n\n---------\n\nCo-authored-by: Philipp Schuster <philipp.schuster@uni-tuebingen.de>",
"is_bot": false,
"headline": "Replace partial functions by dynamic dispatch (#1383)",
"author_name": "Jonathan Immanuel Brachthäuser",
"author_login": "b-studios",
"committed_at": "2026-04-20T09:52:40Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "034ec83832d644dd2b38067d58685653ee79a720",
"body": null,
"is_bot": true,
"headline": "Bump version to 0.67.0",
"author_name": "effekt-updater[bot]",
"author_login": "effekt-updater[bot]",
"committed_at": "2026-04-20T06:34:36Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "e2095dee551b1df87843eb31c3c2d4ed3a8a1029",
"body": "Since the optimizer calls `Deadcode(main)` explicitly, this also means\nthat all unused show-related functions get removed when optimising :)",
"is_bot": false,
"headline": "Reduce special cases in Deadcode (#1379)",
"author_name": "Jiří Beneš",
"author_login": "jiribenes",
"committed_at": "2026-04-15T16:00:13Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "1bae57feef98e6660c552d2bd6b40028007ae2ab",
"body": "Add the two functions `shuffle` and `pick` to the `random` module in the\nstdlib according the issue #1307\n\n---------\n\nCo-authored-by: Philipp Schuster <philipp.schuster@uni-tuebingen.de>",
"is_bot": false,
"headline": "Add `random::shuffle` and `random::pick` (#1361)",
"author_name": "Dennis Kleinhans",
"author_login": "DennisKleinhans",
"committed_at": "2026-04-14T08:17:59Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "f992caa68d6dcd58194bb24ea9ae5f60157ae3a4",
"body": "Does #1373",
"is_bot": false,
"headline": "Move peeking from scanner to stream (#1376)",
"author_name": "Philipp Schuster",
"author_login": "phischu",
"committed_at": "2026-04-14T07:38:18Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "42e13d8c37623ed6445351d42e85b103306cbb78",
"body": null,
"is_bot": false,
"headline": "Make dictionaries actually mutable (#1377)",
"author_name": "Philipp Schuster",
"author_login": "phischu",
"committed_at": "2026-04-14T07:38:03Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "1c2b9a02087ccb700cd7dd2d8d472d89e2a9bd05",
"body": "This parses right hand sides for external types and threads them through\nto the backends.\nIn the backends, currently just generates a comment with the type\ndeclaration.\n\nResolves #1132.\n\nDrivebys:\n- Disallows `extern def ...() =` without right hand sides and with a `=`\n(allows it without a `=`)\n- Does reachability analysis and deadcode for externs and extern types\n- Some other minor stuff",
"is_bot": false,
"headline": "Extern type representations (#1372)",
"author_name": "Marcial Gaißert",
"author_login": "marzipankaiser",
"committed_at": "2026-04-13T15:30:35Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "a2fbfe4a85e056e8307c85a7a7cd17b75ea9f5b6",
"body": "Can be used as a workaround for #604\n\n---------\n\nCo-authored-by: Jonathan Brachthäuser <jonathan@b-studios.de>",
"is_bot": false,
"headline": "Add type ascriptions to standard library (#1365)",
"author_name": "Philipp Schuster",
"author_login": "phischu",
"committed_at": "2026-04-13T15:03:16Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "b61a27bbf3cc4d2a9dc372f3d84d83d7726230dc",
"body": null,
"is_bot": false,
"headline": "Rename `read` to `next` (#1349)",
"author_name": "Philipp Schuster",
"author_login": "phischu",
"committed_at": "2026-04-13T06:37:13Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "f5c794029ccb57146ae1fb60661c5e23f365af65",
"body": "Resolves #1325",
"is_bot": false,
"headline": "Implement signals in raw llvm (#1368)",
"author_name": "Philipp Schuster",
"author_login": "phischu",
"committed_at": "2026-04-11T08:36:56Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "891c7542aee55bf45cad0445e12938619df48d9a",
"body": "Moved the `readDouble` function from the `json` module into the scanner\nmodule",
"is_bot": false,
"headline": "Move 'json::readDouble' into the 'scanner' module (#1371)",
"author_name": "Dennis Kleinhans",
"author_login": "DennisKleinhans",
"committed_at": "2026-04-10T16:11:53Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "0adb0ef031cf70645f2cdb5acd66a752dcd0c721",
"body": "(Rewrite PR #1346, to fix issue #1345)\nAdded import `io/promise` to:\n- the visible `effekt:ignore` import block (documentation for users)\n- the hidden `effekt:prelude:hide` block (actual execution context)",
"is_bot": false,
"headline": "import io/promise to io tour (#1345) (#1367)",
"author_name": "LTeuse",
"author_login": "LTeuse",
"committed_at": "2026-04-10T16:00:00Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "48eb56bf624868cf481a67d4de6f78488472ea4b",
"body": "Also, me and Philipp decided that we should make js and chez behave\nsimilar to llvm in the `show` function\n\nFixes #1302\n\n---------\n\nCo-authored-by: Marvin Borner <git@marvinborner.de>",
"is_bot": false,
"headline": "Implement println for char (#1360)",
"author_name": "Martin Ilgner",
"author_login": "martin-ilgner",
"committed_at": "2026-04-10T11:02:39Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "8acd841b794293d57a3e3ea000d32e32fdc4a9ee",
"body": "Fix #1355: `-1.5` gets parsed as `-1.5` instead of `-0.5`\nReplaces #1356: I made a new PR so that we can add tests\n\n---------\n\nCo-authored-by: Joshua Schlucke <joshua.dev.no-reply@ochre.ovh>",
"is_bot": false,
"headline": "Fix negative double parsing in 'json::readDouble' (#1359)",
"author_name": "Jiří Beneš",
"author_login": "jiribenes",
"committed_at": "2026-04-10T09:08:07Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "ad6f80fea7b1a23e087ecb250d0575388cb43d63",
"body": null,
"is_bot": true,
"headline": "Bump version to 0.66.0",
"author_name": "effekt-updater[bot]",
"author_login": "effekt-updater[bot]",
"committed_at": "2026-03-30T06:12:28Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "9f0425350c915d6b3003c5edc2c4656d0c8a6f6e",
"body": "We now have collecting functions with initial capacity as a performance\nhint. Addresses #1309.",
"is_bot": false,
"headline": "Collect with initial capacity (#1350)",
"author_name": "Philipp Schuster",
"author_login": "phischu",
"committed_at": "2026-03-29T17:35:45Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "db2996232d0d440ee81ac5b005c913b3d2073375",
"body": "…(#1317)\n\nImproves the error message of #1224 by propagating more information for\nboxed functions whenever possible, specifically when we know the\nexpected type of the call, but were previously too shy to try and apply\nit:\n\n```scala\ntype Status[B] {\n Done(value: Int)\n More(state: B)\n}\n\ndef ex1(): \n[…]\n{\n case Done(v) => v\n // f() checked with expected = None\n case More(f) => f() match { // still fails with \"Unbox requires a boxed type, but got B.\"\n case n => n\n }\n }\n result\n}\n```",
"is_bot": false,
"headline": "Improve type inference of function calls by propagating expectations …",
"author_name": "Jiří Beneš",
"author_login": "jiribenes",
"committed_at": "2026-03-29T14:31:50Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "5764fd403bc6eefd0ba2f34b1957cdebb1d163e0",
"body": "on Chez, use `(gensym)` for prompts instead of an int counter\non JS, use `Symbol()` for prompts instead of an int counter\n\nThis is likely [and hopefully] not noticeably faster, but I find it more\nsemantically correct than mutable int counters, not to mention that it's\ncloser to what LLVM does.\n\nThe top-level prompt has a pretty name `\"toplevel\"` so that we can\nidentify it if needed.",
"is_bot": false,
"headline": "Use builtin symbols for prompt identifiers at runtime (#1331)",
"author_name": "Jiří Beneš",
"author_login": "jiribenes",
"committed_at": "2026-03-26T10:25:03Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "ac82c7f22ba26394deb27aefc0f081cb811910bc",
"body": "This should fix some of the community projects",
"is_bot": false,
"headline": "Bring back generic show on some platforms (#1344)",
"author_name": "Philipp Schuster",
"author_login": "phischu",
"committed_at": "2026-03-26T09:57:15Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "471d634b2f9d60bcb5f411a3328adc99f4550ab2",
"body": "This should fix #1158\n\n---------\n\nCo-authored-by: Jonathan Brachthäuser <jonathan@b-studios.de>",
"is_bot": false,
"headline": "Rewrite core transformer (#1336)",
"author_name": "Philipp Schuster",
"author_login": "phischu",
"committed_at": "2026-03-25T13:30:02Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "b364a64b545cffebbb0bdd31af46f37b4bee9d8c",
"body": "I tried clarifying a few things that we under-explain / that people get\nstuck on, esp. `with` and `resume`.\nFurthermore, I redid the effect polymorphism explanation since although\nit was very cool (and perhaps we should have this on the specialised\npage for effect poly), it didn't actually help people very much...",
"is_bot": false,
"headline": "Tour: explain 'with', 'resume' + effect poly differently (#1338)",
"author_name": "Jiří Beneš",
"author_login": "jiribenes",
"committed_at": "2026-03-25T13:27:35Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "cf6e906531bc8befd970896f6d3e415aca11c392",
"body": "This benchmark program is faster than the equivalent one in other\nlanguages for small inputs when compiled with the llvm backend, but much\nmuch slower for large inputs. We suspect there to be a performance bug\nthat makes it have the wrong time complexity. One should investigate,\nfor example by plotting the timing for different input sizes, and\ncomparing to other backends.",
"is_bot": false,
"headline": "More benchmarks for tasks and channels (#1286)",
"author_name": "Philipp Schuster",
"author_login": "phischu",
"committed_at": "2026-03-25T10:28:07Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "8542a18b7a430b8932aef260b303b404292b6322",
"body": "Previously, we:\n1. for each `var`, we allocated a new closure for its own `set` method\n2. for each `RESET`, we allocated two closures for their `fresh` and\n`arena` methods\n\n... what if we, uh, didn't do that?\n\n---\n\nThis could have been resolved both with prototypes and classes, but I\nchose to use cl\n[…]\n | −2.5%\nproduct_early | 248 ms | 241 ms | −2.7%\ntriples | 375 ms | 366 ms | −2.4%\ndyck_one | 404 ms | 385 ms | −4.8%\nnumber_matrix | 357 ms | 344 ms | −3.7%\nfinancial_format | 294 ms | 284 ms | −3.4%",
"is_bot": false,
"headline": "JS runtime: Use classes for Ref and Arena instead of closures (#1332)",
"author_name": "Jiří Beneš",
"author_login": "jiribenes",
"committed_at": "2026-03-23T14:45:41Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "8a4811ea53c7dbb52748a9c7a9f06b370499632f",
"body": null,
"is_bot": true,
"headline": "Bump version to 0.65.0",
"author_name": "effekt-updater[bot]",
"author_login": "effekt-updater[bot]",
"committed_at": "2026-03-23T05:42:48Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "c5c0cebca306b90d9ec017e55594d9dc2905ea45",
"body": "Port the tail recursive rerooting from Chez CPS runtime (#1160) to JS\nruntime.\n\nThe original port was slightly slower (geomean 0.1% slower), I optimised\nit by hand by reusing the small `path` array by using a global\n`_rerootPath` that just gets overwritten every time (so allocations for\nthe path are\n[…]\ntion, some benchmarks like triples are ~1-2% faster,\nnow geomean is 0%.\n\nOne bonus that hasn't shown up in the benchmarks is that this is no\nlonger recursive so it shouldn't blow the JS stack anymore.",
"is_bot": false,
"headline": "Port Chez CPS runtime 'diffs' to JS runtime (#1330)",
"author_name": "Jiří Beneš",
"author_login": "jiribenes",
"committed_at": "2026-03-21T14:57:02Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "21cc87c3f9746d802c39133364751854a07be1e5",
"body": "TLDR Backtracking over an unconditional variable write results in bad\noutput on Chez CPS.\n\n---\n\nI got nerdsniped at a presentation today looking at the\nimplementation of backtrackable state via snapshottable stores in Chez.\n\nCompare the JS version\n\nhttps://github.com/effekt-lang/effekt/blob/da69e03c\n[…]\n$ effekt --backend=chez-callcc --no-optimize --ir-write-all $FILE.effekt\n43\n```\n\nThe fix is simple, just do the same thing as JS does: always restore the\ngeneration correctly (see the attached patch).",
"is_bot": false,
"headline": "Fix backtracked mutable state on Chez CPS (#1329)",
"author_name": "Jiří Beneš",
"author_login": "jiribenes",
"committed_at": "2026-03-20T21:48:12Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "da69e03c4c5bb248a6cb8fb40e4355b83e5ce8ce",
"body": "This PR adds a few more infix operators. This is mostly just lexing and\nparsing so doesn't come with a lot of conceptual cost for the\nimplementation.\n\nA few things are not clear / implemented:\n\n- we should name things consistently (I actually would like to rename\n`infixAdd` to `InfixPlus`, but this \n[…]\nrting them somehow\n- I didn't add `a === b` and `a !== b` since the tokens `===` are\nalready used to represent `==`, ahhh.\n\n---------\n\nCo-authored-by: dvdvgt <40773635+dvdvgt@users.noreply.github.com>",
"is_bot": false,
"headline": "Add more (infix) operators (#1091)",
"author_name": "Jonathan Immanuel Brachthäuser",
"author_login": "b-studios",
"committed_at": "2026-03-18T13:06:25Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "c3bc5a132c9cefa2d0e6c259a85eeab0eb6eb22e",
"body": null,
"is_bot": false,
"headline": "Update assertion for negative Double test case",
"author_name": "Marcial Gaißert",
"author_login": "marzipankaiser",
"committed_at": "2026-03-16T15:05:57Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "b8d80f7abbca14bdc8fa074d5b4704d45e83595a",
"body": "This tags literals in the CPS IR with their core type, since in Scala.js\nmatching against Byte also matches Doubles in the respective range\n(thus, converting literal `-126.0` to the byte `129`).\n\nStill to be tested.\n\nThanks @jiribenes for helping to identify the root cause of this.",
"is_bot": false,
"headline": "CPS: Tag literals with their core type (#1323)",
"author_name": "Marcial Gaißert",
"author_login": "marzipankaiser",
"committed_at": "2026-03-16T13:57:21Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "2475a67cd698bcec3b786b47f0569e222bb36e36",
"body": null,
"is_bot": true,
"headline": "Bump version to 0.64.0",
"author_name": "effekt-updater[bot]",
"author_login": "effekt-updater[bot]",
"committed_at": "2026-03-16T05:54:13Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "6febf381f94e579ec5e13f6a96216c5e15dff447",
"body": "The option `Xms` specifies the initial amount of reserved memory the JVM\nis starting with. The option `Xmx` specifies the maximum amount of\nmemory the JVM is allowed to use. `Xmx` is given with `Xmx4g` and\n`Xmx8g` and are thereby contradictory.",
"is_bot": false,
"headline": "Delete redundant jvm option (#1321)",
"author_name": "dvdvgt",
"author_login": "dvdvgt",
"committed_at": "2026-03-09T14:29:51Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "785b63d1fbd03a35409914ed960ad730dfb39882",
"body": null,
"is_bot": true,
"headline": "Bump version to 0.63.0",
"author_name": "effekt-updater[bot]",
"author_login": "effekt-updater[bot]",
"committed_at": "2026-03-09T05:40:22Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "5ff14ac6d9793a284e9b4c007ee4929444fc05aa",
"body": "… 'fail' (#1320)\n\nFrom @marvinborner's comment on #923:\n\n> We should really have some `assertNoFail` instead, no?\n\n---\n\nWell, now we do. :)",
"is_bot": false,
"headline": "Add test::{assertFail,assertNoFail} for asserting presence/absence of…",
"author_name": "Jiří Beneš",
"author_login": "jiribenes",
"committed_at": "2026-03-07T22:05:26Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "17af2ec9a64e786866991700113948293a05dfaf",
"body": "This adds a `binstream` file to the stdlib that can be used to easily\ncreate streams of bytes.\nSee #870 for a usage example (this was mostly factored out from there).\n\n---------\n\nCo-authored-by: Jiří Beneš <mail@jiribenes.com>\nCo-authored-by: Philipp Schuster <philipp.schuster@uni-tuebingen.de>",
"is_bot": false,
"headline": "Stdlib: Binary/Byte stream utilities (#923)",
"author_name": "Marcial Gaißert",
"author_login": "marzipankaiser",
"committed_at": "2026-03-07T20:05:48Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "c3301fbbbdd10a2001121f9a97aeddc83152dc23",
"body": null,
"is_bot": false,
"headline": "Add 'bytearray::sort' as a counting, in-place sort (#1311)",
"author_name": "Jiří Beneš",
"author_login": "jiribenes",
"committed_at": "2026-03-07T14:46:14Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "0ac81733a5dd456887488c5e5f202b3f05757e3a",
"body": null,
"is_bot": false,
"headline": "Fix reading from upstream (#1319)",
"author_name": "Philipp Schuster",
"author_login": "phischu",
"committed_at": "2026-03-07T12:13:22Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "4737b13bb7dfd7145f3ca342ef74b9ea60a8e240",
"body": "...with a drive-by of adding docs for stream-related methods on\ncollections (like `collection::feed`, `collection::collect`, etc.)",
"is_bot": false,
"headline": "Improve documentation for 'array' and 'resizable_array' (#1312)",
"author_name": "Jiří Beneš",
"author_login": "jiribenes",
"committed_at": "2026-03-07T10:40:55Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "117f72092b7ac36fd3bdf22c0f7ef9a0621ce3f3",
"body": "Resolves #737 \nImproves the error message in #1291 \n\nExample from #737 \n```scala\ndef getFirst(words: List[String]): String = words(0)\n// before: Unbox requires a boxed type, but got List[String].\n// now: Expected words to be a function, but got a value of type List[String] instead,\n// which cann\n[…]\ned to keep the message terse and easily scannable (with the\n\"Expected X, but got Y\" idiom), while explaining all the details later\n(~> \"this is a value of type Foo, but only functions can be called\").",
"is_bot": false,
"headline": "Improve error message for calling a value as a function (#1315)",
"author_name": "Jiří Beneš",
"author_login": "jiribenes",
"committed_at": "2026-03-06T15:52:34Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "ad0e2577d8292c33f04b8f12957f15cf862a9463",
"body": "…our (#1316)\n\nReflect in the Tour that\n```\nmynewtype match { MyNewtype(x) => x }`\n```\nis also writable as:\n\n```\nval MyNewtype(x) = mynewtype\n// code using x, since it's in scope now\n```",
"is_bot": false,
"headline": "Mention LHS pattern matching in 'val' in the Records section of the T…",
"author_name": "Jiří Beneš",
"author_login": "jiribenes",
"committed_at": "2026-03-06T14:15:35Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "da946a7cc7ed7d5ff95d9329210d97b656f31d65",
"body": "Resolves #543 since nobody else wanted to do it :)\n\nThe design is a bit weird: I don't know how to return something like\n`undefined` from the LLVM backend, so since we need two calls to decide\nthe size of the resulting buffer anyways, I opted to reuse the `size`\nfor indicating failure when it's `-1`.\nThis _should_ also work on Windows, but I haven't tested it there.",
"is_bot": false,
"headline": "Add getter for environment variables to stdlib (#1310)",
"author_name": "Jiří Beneš",
"author_login": "jiribenes",
"committed_at": "2026-03-04T16:10:31Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "e03139f7fa63abda2eeb7858eb47476267291ae9",
"body": "Bumps\n[actions/download-artifact](https://github.com/actions/download-artifact)\nfrom 6 to 8.\n<details>\n<summary>Release notes</summary>\n<p><em>Sourced from <a\nhref=\"https://github.com/actions/download-artifact/releases\">actions/download-artifact's\nreleases</a>.</em></p>\n<blockquote>\n<h2>v8.0.0</h2>\n\n[…]\nnless you reopen the\nPR or upgrade to it yourself)\n\n\n</details>\n\nSigned-off-by: dependabot[bot] <support@github.com>\nCo-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>",
"is_bot": true,
"headline": "Bump actions/download-artifact from 6 to 8 (#1304)",
"author_name": "dependabot[bot]",
"author_login": "dependabot[bot]",
"committed_at": "2026-03-03T18:38:57Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "dc964711d6a2704b9c434d49a9e7f0db05dcf8b7",
"body": "Bumps\n[actions/upload-artifact](https://github.com/actions/upload-artifact)\nfrom 5 to 7.\n<details>\n<summary>Release notes</summary>\n<p><em>Sourced from <a\nhref=\"https://github.com/actions/upload-artifact/releases\">actions/upload-artifact's\nreleases</a>.</em></p>\n<blockquote>\n<h2>v7.0.0</h2>\n<h2>v7 W\n[…]\nnless you reopen the\nPR or upgrade to it yourself)\n\n\n</details>\n\nSigned-off-by: dependabot[bot] <support@github.com>\nCo-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>",
"is_bot": true,
"headline": "Bump actions/upload-artifact from 5 to 7 (#1303)",
"author_name": "dependabot[bot]",
"author_login": "dependabot[bot]",
"committed_at": "2026-03-03T18:38:49Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "46ab5acfee35b618b78def69c16f620ddae29b91",
"body": null,
"is_bot": false,
"headline": "Delete skip from scanner (#1295)",
"author_name": "Philipp Schuster",
"author_login": "phischu",
"committed_at": "2026-03-03T15:04:46Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "b64b15a7c943a0551f54fdaa2aad52ed44b032ce",
"body": "Added support for '(b: Byte) == (b2: Byte)' and '(b: Byte) != (b2: Byte)'.\nAs a drive-by, added 'bytearray::build' as an equivalent of 'array::build'.",
"is_bot": false,
"headline": "Add primitive (in)equality on 'Byte's (#1306)",
"author_name": "Jiří Beneš",
"author_login": "jiribenes",
"committed_at": "2026-03-03T10:32:32Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "12001cf9c9c0093210b44349873be79f8db16c0d",
"body": "This is a very approximate implementation in that the only thing I\nbarely tested is the `client_server` benchmark (which I can't run right\nnow, my LLVM backend doesn't work).\n\nIt does work with my LSP-in-Effekt demo locally :)\n\n---------\n\nCo-authored-by: Philipp Schuster <philipp.schuster@uni-tuebingen.de>",
"is_bot": false,
"headline": "Port 'io/network' to the jsNode backend (#1305)",
"author_name": "Jiří Beneš",
"author_login": "jiribenes",
"committed_at": "2026-03-03T08:47:48Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "7533c36e48c12dc770bc9bbe11bfaf08126a5e8d",
"body": null,
"is_bot": true,
"headline": "Bump version to 0.62.0",
"author_name": "effekt-updater[bot]",
"author_login": "effekt-updater[bot]",
"committed_at": "2026-03-02T05:22:40Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "8b5005c553bd52f3dac96a4004eaad866dd791ed",
"body": null,
"is_bot": false,
"headline": "Add missing parser for extern types (#1300)",
"author_name": "Philipp Schuster",
"author_login": "phischu",
"committed_at": "2026-02-27T14:59:34Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "32abb70465a33e3c4cbc960a92158d7f5e4523cb",
"body": "We were throwing away information about extern data types when\ntransforming to core.\nThis info is relevant for some Core -> Core phases (like\nMonomorphization #1024), so we know whether a type is Extern instead of\nguessing.",
"is_bot": false,
"headline": "Keep information about extern data types (#1296)",
"author_name": "Mattis Böckle",
"author_login": "mattisboeckle",
"committed_at": "2026-02-24T15:27:14Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "74652cddc896295992c971af722348e8d069faef",
"body": "Co-authored-by: Tim Süberkrüb <dev@timsueberkrueb.io>",
"is_bot": false,
"headline": "Rename literal effect to write (#1294)",
"author_name": "phischu",
"author_login": "phischu",
"committed_at": "2026-02-24T15:18:30Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "881b143a1fcbd8a5ed29623c058453426a78ba2f",
"body": "Bumps [actions/cache](https://github.com/actions/cache) from 4 to 5.\n<details>\n<summary>Release notes</summary>\n<p><em>Sourced from <a\nhref=\"https://github.com/actions/cache/releases\">actions/cache's\nreleases</a>.</em></p>\n<blockquote>\n<h2>v5.0.0</h2>\n<blockquote>\n<p>[!IMPORTANT]\n<strong><code>actio\n[…]\nbled on this pull request as it has\nbeen open for over 30 days.\n\nSigned-off-by: dependabot[bot] <support@github.com>\nCo-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>",
"is_bot": true,
"headline": "Bump actions/cache from 4 to 5 (#1275)",
"author_name": "dependabot[bot]",
"author_login": "dependabot[bot]",
"committed_at": "2026-02-18T10:18:19Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "6b36b6dc0edf7d21db736971d10670c0e8b5b281",
"body": null,
"is_bot": true,
"headline": "Bump version to 0.61.0",
"author_name": "effekt-updater[bot]",
"author_login": "effekt-updater[bot]",
"committed_at": "2026-02-09T05:42:43Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "06d6deea59bbb839d60db8cd561e56498a6fe88e",
"body": "Originally by @PhictionalOne, started in #1148 (was on a repo fork).\n\nResolves #814 by adding hexadecimal literals for bytes: `0xAA`, `0x00`,\n`0xFF`, `0xA0`, etc, exclusively of type `Byte`.\n\n---------\n\nCo-authored-by: Phi <code@phictional.de>\nCo-authored-by: dvdvgt <40773635+dvdvgt@users.noreply.github.com>\nCo-authored-by: phischu <philipp.schuster@uni-tuebingen.de>",
"is_bot": false,
"headline": "Add hexadecimal literals for 'Byte' (#1170)",
"author_name": "Jiří Beneš",
"author_login": "jiribenes",
"committed_at": "2026-02-03T15:58:43Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "047dc9f4c96fc2adbe48fac0dc7556a51d50749c",
"body": "Utility functions via my EPE project.\n\nThe assertion functions are taken from #923 because it did not get\nmerged.\n\nMaybe we can use this PR to merge some other utility functions that\nwould not otherwise make it into the standard library (e.g. by being\nstuck in some other PR)?\n\nAlso, I'm not sure if \n[…]\nlse resume(())\n }\n```\n\n(there were some other presenters who wanted more nondeterministic\nfunctions in stdlib, right?)\n\n---------\n\nCo-authored-by: Philipp Schuster <philipp.schuster@uni-tuebingen.de>",
"is_bot": false,
"headline": "Add some utility functions (#1292)",
"author_name": "Marvin",
"author_login": "marvinborner",
"committed_at": "2026-02-03T15:35:11Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "0c726ecc5d567d74d901cfeb9240729815a01e81",
"body": "Implement new Core -> Core Phase which\nsynthesizes `show` definitions for any type based on ground show\ndefinitions\n\nFor example \n```scala\ntype MaybeInt {\n Nothing()\n Just(x: Int)\n}\n```\ncould generate something along the lines of\n```scala\ndef show(value: MaybeInt): String = value match {\n case Nothing() => \"Nothing\"\n case Just(x: Int) => \"Just(${x.show})\"\n}\n```\n\n---------\n\nCo-authored-by: Tim Süberkrüb <dev@timsueberkrueb.io>\nCo-authored-by: Jonathan Brachthäuser <jonathan@b-studios.de>",
"is_bot": false,
"headline": "Show instances for ground types (#1123)",
"author_name": "Mattis Böckle",
"author_login": "mattisboeckle",
"committed_at": "2026-02-03T14:10:51Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "52f0027311ff049798cae01cc1a692f22c9bcbea",
"body": null,
"is_bot": true,
"headline": "Bump version to 0.60.0",
"author_name": "effekt-updater[bot]",
"author_login": "effekt-updater[bot]",
"committed_at": "2026-02-02T05:41:04Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "6569c7a0a02440ee4bf98155911a8ac1bcc6ba88",
"body": "Co-authored-by: Jiří Beneš <mail@jiribenes.com>",
"is_bot": false,
"headline": "Warn when encountering implicitly interpolated strings (#1293)",
"author_name": "dvdvgt",
"author_login": "dvdvgt",
"committed_at": "2026-01-28T11:54:28Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "9c3d12e632ac50310758e6bcdd7a007c2a7203c5",
"body": null,
"is_bot": true,
"headline": "Bump version to 0.59.0",
"author_name": "effekt-updater[bot]",
"author_login": "effekt-updater[bot]",
"committed_at": "2026-01-19T04:52:46Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "4abad0f8e2a966e0129c9ebd3122b0f3956e8008",
"body": "Fixes #1287",
"is_bot": false,
"headline": "Unbox local state in mutable references (#1288)",
"author_name": "phischu",
"author_login": "phischu",
"committed_at": "2026-01-17T18:10:55Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "93a7ce3f1fbfc713d5a7a7780182732f3bda0dbf",
"body": null,
"is_bot": false,
"headline": "Partial functions in standard library (#1243)",
"author_name": "phischu",
"author_login": "phischu",
"committed_at": "2026-01-17T12:12:38Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "2d914f2226c75733a76863471a4c4aab6841fe4d",
"body": "This PR adds an initial [mill](https://mill-build.org/) setup. It is\nintended for evaluating `mill` as an alternative to `sbt` for `effekt`.\nWe run a subset of the test suite using `mill` instead of `sbt`. This PR\ndoes not remove any of the existing config and touches no deployment\nlogic. If we deci\n[…]\nll clean`\n* `sbt 'project effektJVM; compile'` -> `mill project.testCompile`\n* `sbt 'project effektJVM; install'` -> `mill project.install`\n* `sbt 'project effektJVM; testOnly'` -> `mill project.test`",
"is_bot": false,
"headline": "Add build.mill setup (#1278)",
"author_name": "Tim Süberkrüb",
"author_login": "timsueberkrueb",
"committed_at": "2026-01-14T08:28:16Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "a606fc5a7a9174f319c162e489ef33d0e03692ed",
"body": "see https://github.com/effekt-lang/effekt-plots/pull/12",
"is_bot": false,
"headline": "Add chez-cps benchmark config (#1269)",
"author_name": "Marvin",
"author_login": "marvinborner",
"committed_at": "2026-01-12T22:05:12Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "0425ffda215bea03541378e7ed15675ac1248b48",
"body": null,
"is_bot": true,
"headline": "Bump version to 0.58.0",
"author_name": "effekt-updater[bot]",
"author_login": "effekt-updater[bot]",
"committed_at": "2026-01-12T04:46:59Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "29ce4db3e4731c795081dca5a3c8d11cf2fa4dba",
"body": "Resolves issue #1283 by using `Type.equals`, see more details there.",
"is_bot": false,
"headline": "Fix crash on joining boxes with different capture sets (#1284)",
"author_name": "Jiří Beneš",
"author_login": "jiribenes",
"committed_at": "2026-01-11T19:41:49Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "df7b33d1b1ccc961d8066510d88c2f2835447321",
"body": "This fixes the stack overflows of the compiler we are seeing.",
"is_bot": false,
"headline": "Increase JVM stack size for compiler (#1282)",
"author_name": "phischu",
"author_login": "phischu",
"committed_at": "2026-01-08T12:28:43Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "0de2294c8bc0a1aa226d1feda490ba2587d7713c",
"body": "…rmerCPS (#1235)\n\nCloses #1229",
"is_bot": false,
"headline": "Prevent capture of function parameters in nested functions in Transfo…",
"author_name": "dvdvgt",
"author_login": "dvdvgt",
"committed_at": "2026-01-07T10:34:07Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "110f7301872b262739f00e991fc7ae247edf7306",
"body": null,
"is_bot": false,
"headline": "CI: add explicit version for manual NPM publish",
"author_name": "Jiří Beneš",
"author_login": "jiribenes",
"committed_at": "2025-12-23T15:59:16Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "e1529886fd9deae8efe11622b20c0cf9c2855359",
"body": null,
"is_bot": true,
"headline": "Bump version to 0.57.0",
"author_name": "effekt-updater[bot]",
"author_login": "effekt-updater[bot]",
"committed_at": "2025-12-22T04:45:50Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "704d5145cbe98f8de193c848c5f776db2021069f",
"body": "Co-authored-by: Jonathan Brachthäuser <jonathan@b-studios.de>\nCo-authored-by: Jonathan Immanuel Brachthäuser <jonathan.brachthaeuser@uni-tuebingen.de>",
"is_bot": false,
"headline": "Fix #603 (#1267)",
"author_name": "Tim Süberkrüb",
"author_login": "timsueberkrueb",
"committed_at": "2025-12-20T14:52:02Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "69628250b367c0ff5450da5a1e873ecfdf7d4a2e",
"body": "… speed up compiler (#1277)\n\nWe now defer a lot of checks regarding free variables and constraints to\n`moduleDecl.typecheck()`. Instead, we construct the free structure of\nthe free variables computation, like\n\n```\nFree.Without(List(x, TInt), Nil,\n Free.Join(..., ...))\n```\nand have different version\n[…]\nly, the call to `moduleDecl.typecheck()` is hidden behind a\ndebug flag. So wellformedness will only be checked whenever effekt is\ncalled with `--debug` or you insert calls manually during development.",
"is_bot": false,
"headline": "Defer checking of constraints and wellformedness of free variables to…",
"author_name": "Jonathan Immanuel Brachthäuser",
"author_login": "b-studios",
"committed_at": "2025-12-19T16:15:01Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "bdd966366950c9c4efdb28bdf7ffd48d988c2512",
"body": null,
"is_bot": false,
"headline": "Change default branch to main (#1261)",
"author_name": "Tim Süberkrüb",
"author_login": "timsueberkrueb",
"committed_at": "2025-12-19T14:03:54Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "68bf2a8892bd59ab0c4d05ced7b6ea51b043009a",
"body": "There are two issues related to the core reparse tests that currently\nslow down our development:\n\n1. They take a long time to execute because the core parser is very\nslow. The full test suite currently takes ~13m in CI\n2. Since separating out the reparse tests from the rest of the test\nsuite we some\n[…]\ndisappear by reverting this change.\n\nThis PR\n\n* runs reparse tests only on the \"benchmarks\" subset of the full test\nsuite\n* reverts the separation of the reparse test from the remaining internal\ntests",
"is_bot": false,
"headline": "Workaround poor reparse test performance and #1240 (#1268)",
"author_name": "Tim Süberkrüb",
"author_login": "timsueberkrueb",
"committed_at": "2025-12-17T10:48:11Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "ad40ac059f15087c3c6ea1f5f76d56ca372cac30",
"body": "This PR aims to address #1203 where usage information got lost because\nthe input of the renamer didn't follow Barendregt and contained\nduplicate bindings.\n\nAs a consequence, we only remember the last freshened binding occurence\nand lost usage information. Now I invert the mapping to remember ALL\nfreshened binding occurrences.",
"is_bot": false,
"headline": "Remember mapping in the other direction to address #1203 (#1262)",
"author_name": "Jonathan Immanuel Brachthäuser",
"author_login": "b-studios",
"committed_at": "2025-12-16T17:26:11Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "52f190ca8ef45d1ca1bff672dbe174394d1641a0",
"body": "This should be fine after #1263.",
"is_bot": false,
"headline": "Remove stack size increase (#1266)",
"author_name": "Jiří Beneš",
"author_login": "jiribenes",
"committed_at": "2025-12-16T17:25:08Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "be3e30cbae46c957dbe63a8212e6e7277d21a2d4",
"body": null,
"is_bot": false,
"headline": "Rename exhaustively to loop (#1246)",
"author_name": "phischu",
"author_login": "phischu",
"committed_at": "2025-12-16T16:37:38Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "2c21e7acb80d6291e643b591daa8414dfeb172a2",
"body": "Co-authored-by: Jonathan Immanuel Brachthäuser <jonathan.brachthaeuser@uni-tuebingen.de>",
"is_bot": false,
"headline": "Soften 'functions are second-class' statement in language tour (#1159)",
"author_name": "dvdvgt",
"author_login": "dvdvgt",
"committed_at": "2025-12-16T16:17:36Z",
"body_truncated": false,
"is_coding_agent": false
}
],
"releases_count": 87,
"commits_last_year": 199,
"latest_release_at": "2026-07-27T07:30:00Z",
"latest_release_tag": "v0.74.0",
"releases_from_tags": false,
"days_since_last_push": 0,
"active_weeks_last_year": 38,
"days_since_latest_release": 1,
"mean_days_between_releases": 14
},
"community": {
"has_readme": true,
"has_license": true,
"has_description": true,
"has_contributing": false,
"health_percentage": 37,
"has_issue_template": false,
"has_code_of_conduct": false,
"has_pull_request_template": false
},
"ecosystem": {
"packages": [
{
"name": "@effekt-lang/effekt",
"exists": true,
"license": "MIT",
"keywords": [],
"ecosystem": "npm",
"matches_repo": true,
"registry_url": "https://www.npmjs.com/package/@effekt-lang/effekt",
"is_deprecated": false,
"latest_version": "0.74.0",
"repository_url": "https://github.com/effekt-lang/effekt",
"versions_count": 75,
"total_downloads": null,
"dependents_count": null,
"deprecation_note": null,
"maintainers_count": 1,
"monthly_downloads": 940,
"first_published_at": "2023-12-06T11:17:53.258000Z",
"latest_published_at": "2026-07-27T07:30:13.763000Z",
"latest_version_yanked": null,
"days_since_latest_publish": 1
}
]
},
"popularity": {
"forks": 42,
"stars": 452,
"watchers": 10,
"fork_history": {
"days": [
{
"date": "2020-09-11",
"count": 1
},
{
"date": "2020-10-17",
"count": 1
},
{
"date": "2021-04-16",
"count": 1
},
{
"date": "2022-07-28",
"count": 1
},
{
"date": "2022-09-19",
"count": 1
},
{
"date": "2022-10-18",
"count": 1
},
{
"date": "2022-11-03",
"count": 1
},
{
"date": "2023-02-25",
"count": 1
},
{
"date": "2023-04-14",
"count": 1
},
{
"date": "2023-05-04",
"count": 1
},
{
"date": "2023-05-13",
"count": 1
},
{
"date": "2023-10-23",
"count": 1
},
{
"date": "2023-12-13",
"count": 1
},
{
"date": "2024-04-21",
"count": 1
},
{
"date": "2024-08-17",
"count": 2
},
{
"date": "2024-08-29",
"count": 1
},
{
"date": "2024-08-31",
"count": 1
},
{
"date": "2024-09-10",
"count": 1
},
{
"date": "2024-10-02",
"count": 3
},
{
"date": "2024-11-10",
"count": 1
},
{
"date": "2024-12-09",
"count": 1
},
{
"date": "2024-12-10",
"count": 1
},
{
"date": "2024-12-11",
"count": 1
},
{
"date": "2024-12-18",
"count": 1
},
{
"date": "2024-12-19",
"count": 1
},
{
"date": "2024-12-20",
"count": 1
},
{
"date": "2025-02-20",
"count": 1
},
{
"date": "2025-03-05",
"count": 1
},
{
"date": "2025-03-26",
"count": 1
},
{
"date": "2025-03-28",
"count": 1
},
{
"date": "2025-06-26",
"count": 1
},
{
"date": "2025-08-02",
"count": 1
},
{
"date": "2025-08-05",
"count": 1
},
{
"date": "2025-10-02",
"count": 1
},
{
"date": "2025-10-24",
"count": 1
},
{
"date": "2026-03-24",
"count": 1
},
{
"date": "2026-03-25",
"count": 1
},
{
"date": "2026-04-04",
"count": 1
},
{
"date": "2026-04-15",
"count": 1
}
],
"complete": true,
"collected": 42,
"total_forks": 42
},
"star_history": null,
"open_issues_and_prs": 241
},
"ai_readiness": {
"has_nix": false,
"example_dirs": [
"examples"
],
"has_llms_txt": false,
"has_dockerfile": false,
"has_mcp_signal": false,
"bootstrap_files": [],
"api_schema_files": [],
"has_devcontainer": false,
"typecheck_configs": [],
"toolchain_manifests": [
"pom.xml"
],
"largest_source_bytes": 92113,
"source_files_sampled": 155,
"oversized_source_files": 4,
"agent_instruction_files": [],
"agent_instruction_max_bytes": null
},
"dependencies": {
"manifests": [
"package.json",
"pom.xml"
],
"advisories": {
"error": null,
"scope": "repository_graph",
"source": "osv",
"findings": [],
"collected": true,
"malicious": [],
"truncated": false,
"by_severity": {},
"advisory_count": 0,
"affected_count": 0,
"assessed_count": 5,
"malicious_count": 0,
"assessed_package": null,
"unassessed_count": 0,
"direct_affected_count": 0
},
"ecosystems": [
"maven",
"npm"
],
"dependencies": [
{
"name": "org.eclipse.lsp4j:org.eclipse.lsp4j",
"manifest": "pom.xml",
"ecosystem": "maven",
"version_constraint": "0.12.0"
},
{
"name": "com.google.code.gson:gson",
"manifest": "pom.xml",
"ecosystem": "maven",
"version_constraint": "2.8.9"
},
{
"name": "jline:jline",
"manifest": "pom.xml",
"ecosystem": "maven",
"version_constraint": "2.14.6"
},
{
"name": "org.rogach:scallop_3",
"manifest": "pom.xml",
"ecosystem": "maven",
"version_constraint": "4.1.0"
}
],
"all_dependencies": {
"error": null,
"source": "github-sbom",
"packages": [
{
"name": "com.google.code.gson:gson",
"direct": true,
"version": "2.8.9",
"ecosystem": "maven"
},
{
"name": "jline:jline",
"direct": true,
"version": "2.14.6",
"ecosystem": "maven"
},
{
"name": "org.eclipse.lsp4j:org.eclipse.lsp4j",
"direct": true,
"version": "0.12.0",
"ecosystem": "maven"
},
{
"name": "org.rogach:scallop_3",
"direct": true,
"version": "4.1.0",
"ecosystem": "maven"
},
{
"name": "org.codehaus.mojo:license-maven-plugin",
"direct": false,
"version": "2.0.0",
"ecosystem": "maven"
}
],
"collected": true,
"truncated": false,
"total_count": 5,
"direct_count": 4,
"indirect_count": 1
}
},
"maintainership": {
"issues": {
"open_prs": 57,
"merged_prs": 689,
"open_issues": 184,
"closed_ratio": 0.667,
"closed_issues": 369,
"closed_unmerged_prs": 103
},
"bus_factor": 1,
"bot_contributors": 2,
"top_contributors": [
{
"type": "User",
"login": "b-studios",
"commits": 2130,
"avatar_url": "https://avatars.githubusercontent.com/u/408265?v=4"
},
{
"type": "User",
"login": "marzipankaiser",
"commits": 331,
"avatar_url": "https://avatars.githubusercontent.com/u/2551444?v=4"
},
{
"type": "User",
"login": "dvdvgt",
"commits": 240,
"avatar_url": "https://avatars.githubusercontent.com/u/40773635?v=4"
},
{
"type": "User",
"login": "phischu",
"commits": 231,
"avatar_url": "https://avatars.githubusercontent.com/u/991845?v=4"
},
{
"type": "User",
"login": "jiribenes",
"commits": 205,
"avatar_url": "https://avatars.githubusercontent.com/u/11269173?v=4"
},
{
"type": "User",
"login": "marvinborner",
"commits": 123,
"avatar_url": "https://avatars.githubusercontent.com/u/32108934?v=4"
},
{
"type": "User",
"login": "JonathanStarup",
"commits": 82,
"avatar_url": "https://avatars.githubusercontent.com/u/32037926?v=4"
},
{
"type": "User",
"login": "jfrech",
"commits": 81,
"avatar_url": "https://avatars.githubusercontent.com/u/35227571?v=4"
},
{
"type": "User",
"login": "serkm",
"commits": 61,
"avatar_url": "https://avatars.githubusercontent.com/u/38533904?v=4"
},
{
"type": "User",
"login": "timsueberkrueb",
"commits": 51,
"avatar_url": "https://avatars.githubusercontent.com/u/11774614?v=4"
}
],
"contributors_sampled": 28,
"top_contributor_share": 0.593
},
"quality_signals": {
"has_ci": true,
"has_tests": true,
"ci_workflows": [
"acme.yml",
"autorelease.yml",
"ci-main.yml",
"ci-pr.yml",
"deploy.yml",
"manual-npm-publish.yml"
],
"has_docs_dir": false,
"linter_configs": [],
"has_editorconfig": false,
"has_linter_config": false,
"has_precommit_config": false
},
"security_signals": {
"lockfiles": [],
"scorecard": {
"checks": [
{
"name": "Binary-Artifacts",
"score": 10,
"reason": "no binaries found in the repo",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#binary-artifacts"
},
{
"name": "Branch-Protection",
"score": null,
"reason": "internal error: error during branchesHandler.setup: internal error: some github tokens can't read classic branch protection rules: https://github.com/ossf/scorecard-action/blob/main/docs/authentication/fine-grained-auth-token.md",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#branch-protection"
},
{
"name": "CI-Tests",
"score": 9,
"reason": "20 out of 22 merged PRs checked by a CI test -- score normalized to 9",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#ci-tests"
},
{
"name": "CII-Best-Practices",
"score": 0,
"reason": "no effort to earn an OpenSSF best practices badge detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#cii-best-practices"
},
{
"name": "Code-Review",
"score": 5,
"reason": "Found 15/30 approved changesets -- score normalized to 5",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#code-review"
},
{
"name": "Contributors",
"score": 10,
"reason": "project has 19 contributing companies or organizations",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#contributors"
},
{
"name": "Dangerous-Workflow",
"score": 10,
"reason": "no dangerous workflow patterns detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#dangerous-workflow"
},
{
"name": "Dependency-Update-Tool",
"score": 10,
"reason": "update tool detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#dependency-update-tool"
},
{
"name": "Fuzzing",
"score": 0,
"reason": "project is not fuzzed",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#fuzzing"
},
{
"name": "License",
"score": 10,
"reason": "license file detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#license"
},
{
"name": "Maintained",
"score": 10,
"reason": "16 commit(s) and 2 issue activity found in the last 90 days -- score normalized to 10",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#maintained"
},
{
"name": "Packaging",
"score": 10,
"reason": "packaging workflow detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#packaging"
},
{
"name": "Pinned-Dependencies",
"score": 0,
"reason": "dependency not pinned by hash detected -- score normalized to 0",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#pinned-dependencies"
},
{
"name": "SAST",
"score": 0,
"reason": "SAST tool is not run on all commits -- score normalized to 0",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#sast"
},
{
"name": "Security-Policy",
"score": 0,
"reason": "security policy file not detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#security-policy"
},
{
"name": "Signed-Releases",
"score": 0,
"reason": "Project has not signed or included provenance with any releases.",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#signed-releases"
},
{
"name": "Token-Permissions",
"score": 0,
"reason": "detected GitHub workflow tokens with excessive permissions",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#token-permissions"
},
{
"name": "Vulnerabilities",
"score": 7,
"reason": "3 existing vulnerabilities detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#vulnerabilities"
}
],
"commit": "e15eca1292c5059fbcb4f3cf9fc5e6639352f0a9",
"ran_at": "2026-07-28T15:13:01Z",
"aggregate_score": 5.5,
"scorecard_version": "v5.5.0"
},
"has_codeql_workflow": false,
"has_security_policy": false,
"has_dependabot_config": true
},
"contribution_flow": {
"collected": true,
"ci_last_run_at": "2026-07-27T07:30:07Z",
"oldest_open_prs": [
{
"number": 43,
"created_at": "2021-01-05T18:23:51Z",
"last_comment_at": "2024-04-26T08:09:02Z",
"last_comment_author": "b-studios"
},
{
"number": 134,
"created_at": "2022-09-08T16:29:52Z",
"last_comment_at": "2023-01-12T11:01:03Z",
"last_comment_author": "marzipankaiser"
},
{
"number": 192,
"created_at": "2022-11-20T10:44:18Z",
"last_comment_at": "2024-07-30T15:37:30Z",
"last_comment_author": "b-studios"
},
{
"number": 272,
"created_at": "2023-06-20T12:46:06Z",
"last_comment_at": null,
"last_comment_author": null
},
{
"number": 276,
"created_at": "2023-07-26T11:19:20Z",
"last_comment_at": null,
"last_comment_author": null
},
{
"number": 313,
"created_at": "2023-11-16T21:41:15Z",
"last_comment_at": "2023-11-24T15:08:02Z",
"last_comment_author": "b-studios"
},
{
"number": 329,
"created_at": "2023-12-03T20:06:30Z",
"last_comment_at": "2023-12-18T10:16:06Z",
"last_comment_author": "b-studios"
},
{
"number": 372,
"created_at": "2024-01-25T12:12:01Z",
"last_comment_at": "2024-01-25T13:44:17Z",
"last_comment_author": "b-studios"
},
{
"number": 384,
"created_at": "2024-01-29T13:48:27Z",
"last_comment_at": null,
"last_comment_author": null
},
{
"number": 398,
"created_at": "2024-02-27T14:33:26Z",
"last_comment_at": "2025-06-30T14:12:27Z",
"last_comment_author": "marvinborner"
},
{
"number": 440,
"created_at": "2024-03-27T14:43:52Z",
"last_comment_at": null,
"last_comment_author": null
},
{
"number": 446,
"created_at": "2024-04-21T19:12:48Z",
"last_comment_at": null,
"last_comment_author": null
},
{
"number": 466,
"created_at": "2024-05-23T19:11:30Z",
"last_comment_at": "2024-05-24T09:30:05Z",
"last_comment_author": "b-studios"
},
{
"number": 559,
"created_at": "2024-08-28T17:43:32Z",
"last_comment_at": null,
"last_comment_author": null
},
{
"number": 701,
"created_at": "2024-11-19T15:16:05Z",
"last_comment_at": "2024-12-20T22:27:16Z",
"last_comment_author": "dvdvgt"
},
{
"number": 731,
"created_at": "2024-12-09T18:05:50Z",
"last_comment_at": "2025-01-16T14:35:56Z",
"last_comment_author": "JakubSchwenkbeck"
},
{
"number": 768,
"created_at": "2025-01-09T13:27:28Z",
"last_comment_at": "2025-07-16T14:43:18Z",
"last_comment_author": "serkm"
},
{
"number": 784,
"created_at": "2025-01-20T18:03:01Z",
"last_comment_at": null,
"last_comment_author": null
},
{
"number": 806,
"created_at": "2025-01-29T10:55:17Z",
"last_comment_at": null,
"last_comment_author": null
},
{
"number": 822,
"created_at": "2025-02-07T17:12:39Z",
"last_comment_at": "2025-05-02T11:26:22Z",
"last_comment_author": "mattisboeckle"
}
],
"last_merged_pr_at": "2026-07-22T08:59:09Z",
"ci_last_conclusion": "FAILURE",
"oldest_open_issues": [
{
"number": 7,
"created_at": "2020-04-02T08:42:40Z",
"last_comment_at": "2024-03-22T08:51:58Z",
"last_comment_author": "jiribenes"
},
{
"number": 8,
"created_at": "2020-04-02T14:13:03Z",
"last_comment_at": "2025-10-01T14:08:28Z",
"last_comment_author": "jiribenes"
},
{
"number": 23,
"created_at": "2020-04-21T11:17:10Z",
"last_comment_at": "2025-02-15T20:57:09Z",
"last_comment_author": "jiribenes"
},
{
"number": 30,
"created_at": "2020-10-20T10:56:35Z",
"last_comment_at": "2024-02-05T17:28:59Z",
"last_comment_author": "b-studios"
},
{
"number": 53,
"created_at": "2021-05-23T13:45:41Z",
"last_comment_at": null,
"last_comment_author": null
},
{
"number": 64,
"created_at": "2022-04-15T14:04:00Z",
"last_comment_at": null,
"last_comment_author": null
},
{
"number": 65,
"created_at": "2022-04-15T18:04:03Z",
"last_comment_at": null,
"last_comment_author": null
},
{
"number": 66,
"created_at": "2022-04-15T18:04:44Z",
"last_comment_at": "2023-11-04T15:16:12Z",
"last_comment_author": "serkm"
},
{
"number": 67,
"created_at": "2022-04-15T18:05:54Z",
"last_comment_at": "2025-10-22T10:03:38Z",
"last_comment_author": "kyay10"
},
{
"number": 68,
"created_at": "2022-04-15T18:07:16Z",
"last_comment_at": "2023-05-09T11:06:21Z",
"last_comment_author": "phischu"
},
{
"number": 74,
"created_at": "2022-04-24T22:03:51Z",
"last_comment_at": null,
"last_comment_author": null
},
{
"number": 78,
"created_at": "2022-05-01T13:40:17Z",
"last_comment_at": null,
"last_comment_author": null
},
{
"number": 121,
"created_at": "2022-09-02T13:25:37Z",
"last_comment_at": "2024-01-28T12:47:28Z",
"last_comment_author": "b-studios"
},
{
"number": 125,
"created_at": "2022-09-02T15:40:06Z",
"last_comment_at": "2023-04-07T19:43:45Z",
"last_comment_author": "b-studios"
},
{
"number": 135,
"created_at": "2022-09-09T10:48:59Z",
"last_comment_at": "2025-10-29T20:28:54Z",
"last_comment_author": "jiribenes"
},
{
"number": 149,
"created_at": "2022-09-23T13:50:15Z",
"last_comment_at": "2022-09-23T14:57:18Z",
"last_comment_author": "b-studios"
},
{
"number": 157,
"created_at": "2022-09-27T11:26:34Z",
"last_comment_at": "2024-01-16T14:00:04Z",
"last_comment_author": "b-studios"
},
{
"number": 247,
"created_at": "2023-03-16T14:05:10Z",
"last_comment_at": null,
"last_comment_author": null
},
{
"number": 252,
"created_at": "2023-04-03T08:11:36Z",
"last_comment_at": "2026-04-13T07:13:47Z",
"last_comment_author": "phischu"
},
{
"number": 261,
"created_at": "2023-04-16T19:27:19Z",
"last_comment_at": null,
"last_comment_author": null
}
]
}
},
"config": {
"disabled_metrics": [],
"disabled_categories": [],
"disabled_components": {}
},
"source": {
"url": "https://github.com/effekt-lang/effekt",
"host": "github.com",
"name": "effekt",
"owner": "effekt-lang"
},
"metrics": {
"overall": {
"key": "overall",
"band": "moderate",
"name": "Overall health",
"note": null,
"notes": [],
"value": 69,
"inputs": {
"security": 64,
"vitality": 90,
"community": 55,
"governance": 65,
"engineering": 66
},
"components": []
},
"categories": [
{
"key": "vitality",
"band": "excellent",
"name": "Vitality",
"value": 90,
"weight": 0.22,
"metrics": [
{
"key": "development_activity",
"band": "excellent",
"name": "Development activity",
"note": null,
"notes": [],
"value": 90,
"inputs": {
"commits_last_year": 199,
"human_commit_share": 0.79,
"days_since_last_push": 0,
"active_weeks_last_year": 38
},
"components": [
{
"key": "push_recency",
"name": "Push recency",
"detail": "last push 0 days ago",
"points": 36,
"status": "met",
"details": [
{
"code": "push_recency",
"params": {
"days": 0
}
}
],
"max_points": 36
},
{
"key": "commit_cadence",
"name": "Commit cadence",
"detail": "38/52 weeks with commits",
"points": 26.3,
"status": "partial",
"details": [
{
"code": "commit_cadence_weeks",
"params": {
"weeks": 38
}
}
],
"max_points": 36
},
{
"key": "commit_volume",
"name": "Commit volume",
"detail": "199 commits in the last year",
"points": 18,
"status": "met",
"details": [
{
"code": "commits_last_year",
"params": {
"count": 199
}
}
],
"max_points": 18
},
{
"key": "openssf_scorecard_maintained",
"name": "OpenSSF Scorecard: Maintained",
"detail": "16 commit(s) and 2 issue activity found in the last 90 days -- score normalized to 10",
"points": 10,
"status": "met",
"details": [],
"max_points": 10
}
]
},
{
"key": "release_discipline",
"band": "excellent",
"name": "Release discipline",
"note": null,
"notes": [],
"value": 90,
"inputs": {
"releases_count": 87,
"latest_release_tag": "v0.74.0",
"releases_from_tags": false,
"days_since_latest_release": 1,
"mean_days_between_releases": 14
},
"components": [
{
"key": "ships_releases",
"name": "Ships releases",
"detail": "87 releases published",
"points": 27,
"status": "met",
"details": [
{
"code": "releases_published",
"params": {
"count": 87
}
}
],
"max_points": 27
},
{
"key": "release_recency",
"name": "Release recency",
"detail": "latest release 1 days ago",
"points": 36,
"status": "met",
"details": [
{
"code": "release_recency",
"params": {
"days": 1
}
}
],
"max_points": 36
},
{
"key": "release_cadence",
"name": "Release cadence",
"detail": "a release every ~14 days",
"points": 27,
"status": "met",
"details": [
{
"code": "release_cadence",
"params": {
"gap": 14
}
}
],
"max_points": 27
},
{
"key": "openssf_scorecard_signed_releases",
"name": "OpenSSF Scorecard: Signed-Releases",
"detail": "Project has not signed or included provenance with any releases.",
"points": 0,
"status": "missed",
"details": [],
"max_points": 10
}
]
},
{
"key": "abandonment",
"band": "excellent",
"name": "Abandonment",
"note": null,
"notes": [],
"value": 100,
"inputs": {
"cap": null,
"state": "maintained",
"guards": [],
"signals": [],
"red_flag": false,
"multiplier_pct": 100,
"declared_reason": null,
"unverified_reason": null,
"unanswered_open_prs": null,
"unanswered_open_issues": null,
"days_since_last_merged_pr": null,
"days_since_last_human_commit": 6,
"days_since_last_human_commit_is_floor": false
},
"components": [
{
"key": "project_is_still_maintained",
"name": "Project is still maintained",
"detail": "last human commit 6 days ago",
"points": 100,
"status": "met",
"details": [
{
"code": "abandonment_maintained",
"params": {
"days": 6
}
}
],
"max_points": 100
}
]
}
],
"description": "Is the project alive — is code being written and are releases shipping?"
},
{
"key": "community",
"band": "moderate",
"name": "Community & Adoption",
"value": 55,
"weight": 0.18,
"metrics": [
{
"key": "popularity",
"band": "moderate",
"name": "Popularity & adoption",
"note": null,
"notes": [],
"value": 62,
"inputs": {
"forks": 42,
"stars": 452,
"watchers": 10,
"growth_state": "unverified",
"growth_factor_pct": 100,
"growth_unverified_reason": "no_history"
},
"components": [
{
"key": "stars",
"name": "Stars",
"detail": "452 stars",
"points": 43.1,
"status": "partial",
"details": [
{
"code": "stars",
"params": {
"count": 452
}
}
],
"max_points": 60
},
{
"key": "forks",
"name": "Forks",
"detail": "42 forks",
"points": 13.4,
"status": "partial",
"details": [
{
"code": "forks",
"params": {
"count": 42
}
}
],
"max_points": 25
},
{
"key": "watchers",
"name": "Watchers",
"detail": "10 watchers",
"points": 5.3,
"status": "partial",
"details": [
{
"code": "watchers",
"params": {
"count": 10
}
}
],
"max_points": 15
}
]
},
{
"key": "community_health",
"band": "moderate",
"name": "Community health",
"note": null,
"notes": [],
"value": 50,
"inputs": {
"has_readme": true,
"has_license": true,
"has_contributing": false,
"has_issue_template": false,
"has_code_of_conduct": false,
"has_pull_request_template": false
},
"components": [
{
"key": "readme",
"name": "README",
"detail": null,
"points": 22.5,
"status": "met",
"details": [],
"max_points": 22.5
},
{
"key": "license",
"name": "License",
"detail": "recognized license (MIT)",
"points": 22.5,
"status": "met",
"details": [
{
"code": "license_standard",
"params": {}
},
{
"code": "license_spdx",
"params": {
"spdx": "MIT"
}
}
],
"max_points": 22.5
},
{
"key": "contributing_guide",
"name": "CONTRIBUTING guide",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 18
},
{
"key": "code_of_conduct",
"name": "Code of conduct",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 13.5
},
{
"key": "issue_template",
"name": "Issue template",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 7.2
},
{
"key": "pr_template",
"name": "PR template",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 6.3
}
]
},
{
"key": "ecosystem_adoption",
"band": "moderate",
"name": "Ecosystem adoption (downloads)",
"note": "Excluded from scoring (no data or not applicable): Registry dependents. Remaining weights renormalized.",
"notes": [
{
"code": "excluded_no_data",
"params": {
"components": [
"registry_dependents"
]
}
},
{
"code": "weights_renormalized",
"params": {}
}
],
"value": 50,
"inputs": {
"packages": [
"@effekt-lang/effekt"
],
"dependents": null,
"ecosystems": "npm",
"total_downloads": null,
"monthly_downloads": 940
},
"components": [
{
"key": "monthly_downloads",
"name": "Monthly downloads",
"detail": "940 downloads/month across npm",
"points": 39.6,
"status": "partial",
"details": [
{
"code": "downloads_monthly",
"params": {
"count": 940,
"ecosystems": "npm"
}
}
],
"max_points": 80
},
{
"key": "registry_dependents",
"name": "Registry dependents",
"detail": "not reported by this ecosystem",
"points": 0,
"status": "excluded",
"details": [
{
"code": "not_reported_by_this_ecosystem",
"params": {}
}
],
"max_points": 20
}
]
}
],
"description": "Does the project have users, downloads, attention, and a welcoming setup for contributors?"
},
{
"key": "governance",
"band": "moderate",
"name": "Sustainability & Governance",
"value": 65,
"weight": 0.24,
"metrics": [
{
"key": "maintainer_resilience",
"band": "at_risk",
"name": "Maintainer resilience (bus factor)",
"note": null,
"notes": [],
"value": 42,
"inputs": {
"bus_factor": 1,
"contributors_sampled": 28,
"top_contributor_share": 0.593
},
"components": [
{
"key": "bus_factor",
"name": "Bus factor",
"detail": "1 contributor(s) cover half of all commits",
"points": 9,
"status": "partial",
"details": [
{
"code": "bus_factor",
"params": {
"count": 1
}
}
],
"max_points": 54
},
{
"key": "commit_distribution",
"name": "Commit distribution",
"detail": "top contributor authored 59% of commits",
"points": 9.2,
"status": "partial",
"details": [
{
"code": "top_contributor_share",
"params": {
"share": 59
}
}
],
"max_points": 22.5
},
{
"key": "contributor_breadth",
"name": "Contributor breadth",
"detail": "28 contributors",
"points": 13.5,
"status": "met",
"details": [
{
"code": "contributors_sampled",
"params": {
"count": 28
}
}
],
"max_points": 13.5
},
{
"key": "openssf_scorecard_contributors",
"name": "OpenSSF Scorecard: Contributors",
"detail": "project has 19 contributing companies or organizations",
"points": 10,
"status": "met",
"details": [],
"max_points": 10
}
]
},
{
"key": "responsiveness",
"band": "good",
"name": "Issue & PR responsiveness",
"note": null,
"notes": [],
"value": 72,
"inputs": {
"merged_prs": 689,
"open_issues": 184,
"closed_issues": 369,
"issue_closed_ratio": 0.667,
"closed_unmerged_prs": 103
},
"components": [
{
"key": "issue_resolution",
"name": "Issue resolution",
"detail": "67% of issues closed",
"points": 31.2,
"status": "partial",
"details": [
{
"code": "issues_closed_share",
"params": {
"share": 67
}
}
],
"max_points": 46.75
},
{
"key": "pr_acceptance",
"name": "PR acceptance",
"detail": "689/792 decided PRs merged",
"points": 33.3,
"status": "partial",
"details": [
{
"code": "decided_prs_merged",
"params": {
"merged": 689,
"decided": 792
}
}
],
"max_points": 38.25
},
{
"key": "openssf_scorecard_code_review",
"name": "OpenSSF Scorecard: Code-Review",
"detail": "Found 15/30 approved changesets -- score normalized to 5",
"points": 7.5,
"status": "partial",
"details": [],
"max_points": 15
}
]
},
{
"key": "stewardship",
"band": "moderate",
"name": "Ownership & stewardship",
"note": null,
"notes": [],
"value": 57,
"inputs": {
"followers": 12,
"owner_type": "Organization",
"is_verified": null,
"owner_login": "effekt-lang",
"public_repos": 8,
"account_age_days": 2364
},
"components": [
{
"key": "ownership_backing",
"name": "Ownership backing",
"detail": "organization-owned",
"points": 30,
"status": "met",
"details": [
{
"code": "owner_organization",
"params": {}
}
],
"max_points": 30
},
{
"key": "verified_domain",
"name": "Verified domain",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 20
},
{
"key": "owner_reach",
"name": "Owner reach",
"detail": "12 followers of effekt-lang",
"points": 8,
"status": "partial",
"details": [
{
"code": "owner_followers",
"params": {
"count": 12,
"login": "effekt-lang"
}
}
],
"max_points": 25
},
{
"key": "track_record",
"name": "Track record",
"detail": "8 public repos, account ~6 yr old",
"points": 18.9,
"status": "partial",
"details": [
{
"code": "public_repos",
"params": {
"count": 8
}
},
{
"code": "account_age_years",
"params": {
"years": 6
}
}
],
"max_points": 25
}
]
},
{
"key": "package_maintenance",
"band": "excellent",
"name": "Package maintenance",
"note": null,
"notes": [],
"value": 100,
"inputs": {
"packages": [
"@effekt-lang/effekt"
],
"ecosystems": "npm",
"any_deprecated": false,
"min_days_since_publish": 1
},
"components": [
{
"key": "published_resolvable",
"name": "Published & resolvable",
"detail": "1 package(s) on npm",
"points": 25,
"status": "met",
"details": [
{
"code": "packages_published",
"params": {
"count": 1,
"ecosystems": "npm"
}
}
],
"max_points": 25
},
{
"key": "publish_recency",
"name": "Publish recency",
"detail": "latest publish 1 days ago",
"points": 35,
"status": "met",
"details": [
{
"code": "publish_recency",
"params": {
"days": 1
}
}
],
"max_points": 35
},
{
"key": "version_history",
"name": "Version history",
"detail": "75 published versions",
"points": 20,
"status": "met",
"details": [
{
"code": "published_versions",
"params": {
"count": 75
}
}
],
"max_points": 20
},
{
"key": "not_deprecated",
"name": "Not deprecated",
"detail": "active, not deprecated or yanked",
"points": 20,
"status": "met",
"details": [
{
"code": "package_not_deprecated",
"params": {}
}
],
"max_points": 20
}
]
}
],
"description": "Will the project survive its people — bus factor, responsiveness, who backs it, and package upkeep?"
},
{
"key": "engineering",
"band": "moderate",
"name": "Engineering Quality",
"value": 66,
"weight": 0.2,
"metrics": [
{
"key": "engineering_practices",
"band": "moderate",
"name": "Engineering practices",
"note": null,
"notes": [],
"value": 66,
"inputs": {
"has_ci": true,
"has_tests": true,
"has_editorconfig": false,
"has_linter_config": false,
"has_precommit_config": false
},
"components": [
{
"key": "ci_workflows",
"name": "CI workflows",
"detail": "6 workflow(s)",
"points": 24,
"status": "met",
"details": [
{
"code": "ci_workflows",
"params": {
"count": 6
}
}
],
"max_points": 24
},
{
"key": "tests_present",
"name": "Tests present",
"detail": null,
"points": 24,
"status": "met",
"details": [],
"max_points": 24
},
{
"key": "linter_config",
"name": "Linter config",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 16
},
{
"key": "pre_commit_hooks",
"name": "Pre-commit hooks",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 9.6
},
{
"key": "editorconfig",
"name": ".editorconfig",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 6.4
},
{
"key": "openssf_scorecard_ci_tests",
"name": "OpenSSF Scorecard: CI-Tests",
"detail": "20 out of 22 merged PRs checked by a CI test -- score normalized to 9",
"points": 18,
"status": "partial",
"details": [],
"max_points": 20
}
]
},
{
"key": "documentation",
"band": "moderate",
"name": "Documentation",
"note": null,
"notes": [],
"value": 65,
"inputs": {
"topics": [
"effects",
"handlers",
"control-flow",
"algebraic-effects",
"delimited-continuation",
"language",
"language-design",
"research-project",
"effect-handlers",
"effect-systems",
"effekt",
"effekt-lang",
"lexical-effect-handlers"
],
"has_wiki": false,
"homepage": "https://effekt-lang.org",
"has_readme": true,
"has_docs_dir": false,
"has_description": true
},
"components": [
{
"key": "readme",
"name": "README",
"detail": null,
"points": 30,
"status": "met",
"details": [],
"max_points": 30
},
{
"key": "documentation_directory",
"name": "Documentation directory",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 25
},
{
"key": "documentation_homepage_site",
"name": "Documentation / homepage site",
"detail": "https://effekt-lang.org",
"points": 15,
"status": "met",
"details": [],
"max_points": 15
},
{
"key": "repository_description",
"name": "Repository description",
"detail": null,
"points": 10,
"status": "met",
"details": [],
"max_points": 10
},
{
"key": "topics",
"name": "Topics",
"detail": "13 topics",
"points": 10,
"status": "met",
"details": [
{
"code": "topics_count",
"params": {
"count": 13
}
}
],
"max_points": 10
},
{
"key": "wiki",
"name": "Wiki",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 10
}
]
}
],
"description": "Are baseline engineering and documentation practices in place?"
},
{
"key": "security",
"band": "moderate",
"name": "Security",
"value": 64,
"weight": 0.16,
"metrics": [
{
"key": "security_posture",
"band": "moderate",
"name": "Security posture",
"note": "Excluded from scoring (no data or not applicable): Branch-Protection. Remaining weights renormalized.",
"notes": [
{
"code": "excluded_no_data",
"params": {
"components": [
"branch_protection"
]
}
},
{
"code": "weights_renormalized",
"params": {}
}
],
"value": 55,
"inputs": {
"source": "openssf_scorecard",
"checks_evaluated": 17,
"scorecard_version": "v5.5.0",
"checks_inconclusive": 1,
"scorecard_aggregate": 5.5
},
"components": [
{
"key": "binary_artifacts",
"name": "Binary-Artifacts",
"detail": "no binaries found in the repo",
"points": 7.5,
"status": "met",
"details": [],
"max_points": 7.5
},
{
"key": "branch_protection",
"name": "Branch-Protection",
"detail": "internal error: error during branchesHandler.setup: internal error: some github tokens can't read classic branch protection rules: https://github.com/ossf/scorecard-action/blob/main/docs/authentication/fine-grained-auth-token.md",
"points": 0,
"status": "excluded",
"details": [
{
"code": "no_data",
"params": {}
}
],
"max_points": 7.5
},
{
"key": "ci_tests",
"name": "CI-Tests",
"detail": "20 out of 22 merged PRs checked by a CI test -- score normalized to 9",
"points": 2.2,
"status": "partial",
"details": [],
"max_points": 2.5
},
{
"key": "cii_best_practices",
"name": "CII-Best-Practices",
"detail": "no effort to earn an OpenSSF best practices badge detected",
"points": 0,
"status": "missed",
"details": [],
"max_points": 2.5
},
{
"key": "code_review",
"name": "Code-Review",
"detail": "Found 15/30 approved changesets -- score normalized to 5",
"points": 3.8,
"status": "partial",
"details": [],
"max_points": 7.5
},
{
"key": "contributors",
"name": "Contributors",
"detail": "project has 19 contributing companies or organizations",
"points": 2.5,
"status": "met",
"details": [],
"max_points": 2.5
},
{
"key": "dangerous_workflow",
"name": "Dangerous-Workflow",
"detail": "no dangerous workflow patterns detected",
"points": 10,
"status": "met",
"details": [],
"max_points": 10
},
{
"key": "dependency_update_tool",
"name": "Dependency-Update-Tool",
"detail": "update tool detected",
"points": 7.5,
"status": "met",
"details": [],
"max_points": 7.5
},
{
"key": "fuzzing",
"name": "Fuzzing",
"detail": "project is not fuzzed",
"points": 0,
"status": "missed",
"details": [],
"max_points": 5
},
{
"key": "license",
"name": "License",
"detail": "license file detected",
"points": 2.5,
"status": "met",
"details": [],
"max_points": 2.5
},
{
"key": "maintained",
"name": "Maintained",
"detail": "16 commit(s) and 2 issue activity found in the last 90 days -- score normalized to 10",
"points": 7.5,
"status": "met",
"details": [],
"max_points": 7.5
},
{
"key": "packaging",
"name": "Packaging",
"detail": "packaging workflow detected",
"points": 5,
"status": "met",
"details": [],
"max_points": 5
},
{
"key": "pinned_dependencies",
"name": "Pinned-Dependencies",
"detail": "dependency not pinned by hash detected -- score normalized to 0",
"points": 0,
"status": "missed",
"details": [],
"max_points": 5
},
{
"key": "sast",
"name": "SAST",
"detail": "SAST tool is not run on all commits -- score normalized to 0",
"points": 0,
"status": "missed",
"details": [],
"max_points": 5
},
{
"key": "security_policy",
"name": "Security-Policy",
"detail": "security policy file not detected",
"points": 0,
"status": "missed",
"details": [],
"max_points": 5
},
{
"key": "signed_releases",
"name": "Signed-Releases",
"detail": "Project has not signed or included provenance with any releases.",
"points": 0,
"status": "missed",
"details": [],
"max_points": 7.5
},
{
"key": "token_permissions",
"name": "Token-Permissions",
"detail": "detected GitHub workflow tokens with excessive permissions",
"points": 0,
"status": "missed",
"details": [],
"max_points": 7.5
},
{
"key": "vulnerabilities",
"name": "Vulnerabilities",
"detail": "3 existing vulnerabilities detected",
"points": 5.2,
"status": "partial",
"details": [],
"max_points": 7.5
}
]
},
{
"key": "dependency_advisories",
"band": "excellent",
"name": "Dependency advisories",
"note": "Excluded from scoring (no data or not applicable): Indirect dependencies free of known advisories, No advisories left outstanding. Remaining weights renormalized. Matched 5 resolved dependencies against OSV. This repository publishes no package the index resolves, so the repository dependency graph was assessed instead. That graph mixes development and test pins with shipped dependencies, so only the declared runtime dependencies are scored; transitive findings are reported as context and excluded from the score. Reachability is not analyzed.",
"notes": [
{
"code": "excluded_no_data",
"params": {
"components": [
"indirect_dependencies_free_of_known_advisories",
"no_advisories_left_outstanding"
]
}
},
{
"code": "weights_renormalized",
"params": {}
},
{
"code": "advisories_scope_repository",
"params": {
"assessed": 5
}
},
{
"code": "advisories_repo_graph_caveat",
"params": {}
},
{
"code": "advisories_reachability",
"params": {}
}
],
"value": 100,
"inputs": {
"source": "osv",
"advisories": 0,
"affected_packages": 0,
"assessed_packages": 5,
"unassessed_packages": 0,
"affected_by_severity": "none",
"direct_affected_packages": 0
},
"components": [
{
"key": "direct_dependencies_free_of_known_advisories",
"name": "Direct dependencies free of known advisories",
"detail": "no direct dependency carries a known advisory",
"points": 35,
"status": "met",
"details": [
{
"code": "no_direct_advisories",
"params": {}
}
],
"max_points": 35
},
{
"key": "indirect_dependencies_free_of_known_advisories",
"name": "Indirect dependencies free of known advisories",
"detail": "transitive set not separable from development and test dependencies in this scope",
"points": 0,
"status": "excluded",
"details": [
{
"code": "advisories_scope_not_separable",
"params": {}
}
],
"max_points": 25
},
{
"key": "no_advisories_left_outstanding",
"name": "No advisories left outstanding",
"detail": "no advisory carries a publication date",
"points": 0,
"status": "excluded",
"details": [
{
"code": "advisories_no_publication_date",
"params": {}
}
],
"max_points": 40
}
]
},
{
"key": "malicious_dependencies",
"band": "excellent",
"name": "Malicious dependencies",
"note": null,
"notes": [],
"value": 100,
"inputs": {
"source": "osv",
"meaning": "reported as a malicious package by the OpenSSF corpus; the remedy is removal or moving off the compromised name, never an upgrade of the same artifact. Versions the registry has since pulled are listed but not scored",
"packages": [],
"red_flag": false,
"assessed_packages": 5,
"malicious_packages": 0,
"direct_malicious_packages": 0,
"withdrawn_malicious_packages": 0,
"installable_malicious_packages": 0
},
"components": [
{
"key": "no_dependency_reported_as_a_malicious_package",
"name": "No dependency reported as a malicious package",
"detail": "no dependency is reported as a malicious package",
"points": 100,
"status": "met",
"details": [
{
"code": "no_malicious_dependencies",
"params": {}
}
],
"max_points": 100
}
]
},
{
"key": "high_risk_jurisdiction_exposure",
"band": "excellent",
"name": "High-Risk Jurisdiction Exposure",
"note": "Only high-confidence self-published location evidence affects this multiplier. Ambiguous matches are review-only; country evidence is not proof of nationality, citizenship, legal registration, malicious intent, or sanctions status.",
"notes": [
{
"code": "jurisdiction_evidence_limits",
"params": {}
}
],
"value": 100,
"inputs": {
"meaning": "self-published location evidence; not nationality or citizenship",
"red_flag": false,
"exposures": [],
"policy_countries": [
"Russia",
"Iran",
"North Korea"
],
"review_only_matches": 0,
"assessed_self_published_locations": 12
},
"components": [
{
"key": "policy_exposure_multiplier",
"name": "Policy exposure multiplier",
"detail": "no confirmed policy-scope location match",
"points": 100,
"status": "met",
"details": [
{
"code": "jurisdiction_no_match",
"params": {}
}
],
"max_points": 100
}
]
}
],
"description": "Are visible security and supply-chain practices strong, with no malicious dependency and no unresolved high-risk jurisdiction exposure?"
},
{
"key": "ai_readiness",
"band": "moderate",
"name": "AI Readiness",
"value": 54,
"weight": 0,
"metrics": [
{
"key": "ai_agent_context",
"band": "at_risk",
"name": "Agent context & guidance",
"note": null,
"notes": [],
"value": 40,
"inputs": {
"has_llms_txt": false,
"legible_history_share": 0.962,
"agent_instruction_files": [],
"agent_instruction_max_bytes": null
},
"components": [
{
"key": "agent_instructions",
"name": "Agent instructions",
"detail": "no CLAUDE.md / AGENTS.md / editor rules",
"points": 0,
"status": "missed",
"details": [
{
"code": "no_agent_instructions",
"params": {}
}
],
"max_points": 45
},
{
"key": "machine_readable_docs_llms_txt",
"name": "Machine-readable docs (llms.txt)",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 15
},
{
"key": "legible_commit_history",
"name": "Legible commit history",
"detail": "76 of 79 human commits state their intent (structured subject or explanatory body)",
"points": 40,
"status": "met",
"details": [
{
"code": "legible_history",
"params": {
"legible": 76,
"sampled": 79
}
}
],
"max_points": 40
}
]
},
{
"key": "ai_verify_loop",
"band": "moderate",
"name": "Verify loop (build / test / typecheck)",
"note": null,
"notes": [],
"value": 54,
"inputs": {
"has_nix": false,
"has_tests": true,
"lockfiles": [],
"has_dockerfile": false,
"typed_language": true,
"bootstrap_files": [],
"has_devcontainer": false,
"has_linter_config": false,
"typecheck_configs": [],
"agent_commit_share": 0,
"toolchain_manifests": [
"pom.xml"
],
"dependency_bot_commit_share": 0.03
},
"components": [
{
"key": "one_command_bootstrap",
"name": "One-command bootstrap",
"detail": "pom.xml (toolchain convention, no task runner)",
"points": 12.6,
"status": "partial",
"details": [
{
"code": "toolchain_convention",
"params": {
"files": "pom.xml"
}
}
],
"max_points": 18
},
{
"key": "automated_tests",
"name": "Automated tests",
"detail": null,
"points": 22,
"status": "met",
"details": [],
"max_points": 22
},
{
"key": "lint_format_config",
"name": "Lint / format config",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 11
},
{
"key": "static_type_checking",
"name": "Static type checking",
"detail": "Scala (statically typed)",
"points": 11,
"status": "met",
"details": [
{
"code": "statically_typed_language",
"params": {
"language": "Scala"
}
}
],
"max_points": 11
},
{
"key": "reproducible_environment",
"name": "Reproducible environment",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 10
},
{
"key": "demonstrated_agent_practice",
"name": "Demonstrated agent practice",
"detail": "no agent-authored commits among the last 100",
"points": 0,
"status": "missed",
"details": [
{
"code": "no_agent_authored_commits",
"params": {
"sampled": 100
}
}
],
"max_points": 10
},
{
"key": "automated_maintenance",
"name": "Automated maintenance",
"detail": "3 of the last 100 commits are automated dependency updates",
"points": 8,
"status": "met",
"details": [
{
"code": "dependency_bot_commits",
"params": {
"count": 3,
"sampled": 100
}
}
],
"max_points": 8
},
{
"key": "openssf_scorecard_pinned_dependencies",
"name": "OpenSSF Scorecard: Pinned-Dependencies",
"detail": "dependency not pinned by hash detected -- score normalized to 0",
"points": 0,
"status": "missed",
"details": [],
"max_points": 10
}
]
},
{
"key": "ai_code_legibility",
"band": "excellent",
"name": "Code legibility for models",
"note": null,
"notes": [],
"value": 99,
"inputs": {
"primary_language": "Scala",
"largest_source_bytes": 92113,
"source_files_sampled": 155,
"oversized_source_files": 4
},
"components": [
{
"key": "type_checkable_code",
"name": "Type-checkable code",
"detail": "Scala (statically typed)",
"points": 45,
"status": "met",
"details": [
{
"code": "statically_typed_language",
"params": {
"language": "Scala"
}
}
],
"max_points": 45
},
{
"key": "manageable_file_sizes",
"name": "Manageable file sizes",
"detail": "4/155 source files over 60KB",
"points": 53.6,
"status": "partial",
"details": [
{
"code": "oversized_source_files",
"params": {
"kb": 60,
"sampled": 155,
"oversized": 4
}
}
],
"max_points": 55
}
]
},
{
"key": "ai_interfaces",
"band": "at_risk",
"name": "Machine-readable interfaces",
"note": null,
"notes": [],
"value": 40,
"inputs": {
"example_dirs": [
"examples"
],
"has_mcp_signal": false,
"api_schema_files": []
},
"components": [
{
"key": "api_schema_openapi_graphql_proto",
"name": "API schema (OpenAPI/GraphQL/proto)",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 40
},
{
"key": "mcp_server",
"name": "MCP server",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 20
},
{
"key": "runnable_examples",
"name": "Runnable examples",
"detail": "examples",
"points": 40,
"status": "met",
"details": [
{
"code": "file_list",
"params": {
"files": "examples"
}
}
],
"max_points": 40
}
]
}
],
"description": "How well is the repo equipped to be developed and maintained with AI coding agents? An independent, experimental badge — weight 0.0, so it is surfaced on its own and does not affect the overall health score."
}
],
"metrics_version": "1.13.0"
},
"warnings": [
"Star history unavailable: GitHub GraphQL error: Resource not accessible by personal access token",
"Could not fetch maven package 'de.bstudios:Effekt' from its registry"
],
"report_type": "repository",
"generated_at": "2026-07-28T15:13:30.985657Z",
"schema_version": "0.27.0",
"badge_url": "https://raw.githubusercontent.com/inspect-software/badges/main/v1/e/effekt-lang/effekt.svg",
"full_name": "effekt-lang/effekt",
"license_state": "standard",
"license_spdx": "MIT"
}