{"adoption": {"forks": 30, "observed_at": "2026-08-28T04:03:30.861895+00:00", "stars": 1081}, "canonical_url": "https://ross.abutalabs.com/products/barliman", "card": {"archived": false, "artifact_type": "application", "description": "Prototype smart text editor", "domain": ["developer-tools", "text-editors", "programming-languages", "artificial-intelligence"], "enriched": true, "function": ["editor", "interpreter", "parser", "machine-learning"], "health_score": 79, "homepage": null, "language": "Scheme", "license": "MIT", "license_family": "permissive", "maturity": "experimental", "member_repos": ["webyrd/Barliman"], "name": "webyrd/Barliman", "platform": [], "pushed_at": "2026-08-16T23:23:15+00:00", "repo": "webyrd/Barliman", "stars": 1081, "tags": ["program-synthesis", "relational-programming", "minikanren", "scheme", "smart-editor", "prototype", "macos", "desktop"], "topics": [], "urls": [], "use_cases": ["synthesize scheme code from examples and tests", "check if a function definition is consistent with test cases", "experiment with program synthesis and relational interpreters", "define custom programming languages with their own syntax and semantics", "live coding assistant that fills in partially written functions"], "what_it_is": "Barliman is a prototype smart text editor that performs real-time program synthesis using relational interpreters. Given tests and a partially-specified function definition, it attempts to guess code that passes the tests or prove consistency/inconsistency between definitions and tests.", "when_to_avoid": [], "when_to_choose": ["you want a production-ready IDE or polished UI", "you need synthesis for side-effectful or large-scale programs", "you need broad language support out of the box"]}, "data_as_of": "2026-08-30T08:39:29.467469+00:00", "members": [{"path": "/products/barliman", "repo": "webyrd/Barliman", "role": "main", "score": 76}], "provenance": {"archived": {"kind": "observed", "observed_at": "2026-08-28T04:03:30.861895+00:00", "source": "github"}, "artifact_type": {"confidence": null, "enriched_at": "2026-08-30T06:51:24.530848+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "8a032add63caa096d7fd21f4f47a546d66f512f72640a69308e4394b40f522fd", "fetched_at": "2026-08-28T04:03:30.861895+00:00", "kind": "readme", "missing": false, "url": "https://github.com/webyrd/Barliman"}], "taxonomy_version": 1}, "description": {"kind": "observed", "observed_at": "2026-08-28T04:03:30.861895+00:00", "source": "github"}, "domain": {"confidence": null, "enriched_at": "2026-08-30T06:51:24.530848+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "8a032add63caa096d7fd21f4f47a546d66f512f72640a69308e4394b40f522fd", "fetched_at": "2026-08-28T04:03:30.861895+00:00", "kind": "readme", "missing": false, "url": "https://github.com/webyrd/Barliman"}], "taxonomy_version": 1}, "enriched": {"inputs": [], "kind": "computed", "method": "enrichment_status"}, "function": {"confidence": null, "enriched_at": "2026-08-30T06:51:24.530848+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "8a032add63caa096d7fd21f4f47a546d66f512f72640a69308e4394b40f522fd", "fetched_at": "2026-08-28T04:03:30.861895+00:00", "kind": "readme", "missing": false, "url": "https://github.com/webyrd/Barliman"}], "taxonomy_version": 1}, "health_score": {"inputs": ["days_since_push", "days_since_release", "archived"], "kind": "computed", "method": "health_v1"}, "homepage": {"kind": "observed", "observed_at": "2026-08-28T04:03:30.861895+00:00", "source": "github"}, "language": {"kind": "observed", "observed_at": "2026-08-28T04:03:30.861895+00:00", "source": "github"}, "license": {"kind": "observed", "observed_at": "2026-08-28T04:03:30.861895+00:00", "source": "github"}, "license_family": {"inputs": ["license"], "kind": "computed", "method": "license_family"}, "maturity": {"confidence": null, "enriched_at": "2026-08-30T06:51:24.530848+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "8a032add63caa096d7fd21f4f47a546d66f512f72640a69308e4394b40f522fd", "fetched_at": "2026-08-28T04:03:30.861895+00:00", "kind": "readme", "missing": false, "url": "https://github.com/webyrd/Barliman"}], "taxonomy_version": 1}, "member_repos": {"kind": "observed", "observed_at": "2026-08-28T04:03:30.861895+00:00", "source": "github"}, "name": {"kind": "observed", "observed_at": "2026-08-28T04:03:30.861895+00:00", "source": "github"}, "platform": {"confidence": null, "enriched_at": "2026-08-30T06:51:24.530848+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "8a032add63caa096d7fd21f4f47a546d66f512f72640a69308e4394b40f522fd", "fetched_at": "2026-08-28T04:03:30.861895+00:00", "kind": "readme", "missing": false, "url": "https://github.com/webyrd/Barliman"}], "taxonomy_version": 1}, "pushed_at": {"kind": "observed", "observed_at": "2026-08-28T04:03:30.861895+00:00", "source": "github"}, "repo": {"kind": "observed", "observed_at": "2026-08-28T04:03:30.861895+00:00", "source": "github"}, "stars": {"kind": "observed", "observed_at": "2026-08-28T04:03:30.861895+00:00", "source": "github"}, "tags": {"confidence": null, "enriched_at": "2026-08-30T06:51:24.530848+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "8a032add63caa096d7fd21f4f47a546d66f512f72640a69308e4394b40f522fd", "fetched_at": "2026-08-28T04:03:30.861895+00:00", "kind": "readme", "missing": false, "url": "https://github.com/webyrd/Barliman"}], "taxonomy_version": 1}, "topics": {"kind": "observed", "observed_at": "2026-08-28T04:03:30.861895+00:00", "source": "github"}, "urls": {"kind": "observed", "observed_at": "2026-08-28T04:03:30.861895+00:00", "source": "github"}, "use_cases": {"confidence": null, "enriched_at": "2026-08-30T06:51:24.530848+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "8a032add63caa096d7fd21f4f47a546d66f512f72640a69308e4394b40f522fd", "fetched_at": "2026-08-28T04:03:30.861895+00:00", "kind": "readme", "missing": false, "url": "https://github.com/webyrd/Barliman"}], "taxonomy_version": 1}, "what_it_is": {"confidence": null, "enriched_at": "2026-08-30T06:51:24.530848+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "8a032add63caa096d7fd21f4f47a546d66f512f72640a69308e4394b40f522fd", "fetched_at": "2026-08-28T04:03:30.861895+00:00", "kind": "readme", "missing": false, "url": "https://github.com/webyrd/Barliman"}], "taxonomy_version": 1}, "when_to_avoid": {"confidence": null, "enriched_at": "2026-08-30T06:51:24.530848+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "8a032add63caa096d7fd21f4f47a546d66f512f72640a69308e4394b40f522fd", "fetched_at": "2026-08-28T04:03:30.861895+00:00", "kind": "readme", "missing": false, "url": "https://github.com/webyrd/Barliman"}], "taxonomy_version": 1}, "when_to_choose": {"confidence": null, "enriched_at": "2026-08-30T06:51:24.530848+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "8a032add63caa096d7fd21f4f47a546d66f512f72640a69308e4394b40f522fd", "fetched_at": "2026-08-28T04:03:30.861895+00:00", "kind": "readme", "missing": false, "url": "https://github.com/webyrd/Barliman"}], "taxonomy_version": 1}}, "score": {"components": {"activity": 98, "longevity": 100, "rhythm": 35}, "computed_at": "2026-09-03T02:20:16.233290+00:00", "flags": ["no_releases"], "formula": "round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10)", "inputs": {"age_days": 3758, "days_push": 17, "days_rel": null, "gap_med": null, "n_releases_24m": 0}, "score": 76, "version": 2}, "staleness": {"enrichment_outdated": false, "low_confidence": false, "scrape_days": 9, "stale_scrape": false}}