{"adoption": {"forks": 630, "observed_at": "2026-08-28T04:08:06.798476+00:00", "stars": 3479}, "canonical_url": "https://ross.abutalabs.com/products/idris-dev", "card": {"archived": true, "artifact_type": "cli-tool", "description": "A Dependently Typed Functional Programming Language", "domain": ["programming-languages", "compilers", "developer-tools"], "enriched": true, "function": ["programming-language", "compiler", "type-system", "interpreter"], "health_score": 10, "homepage": "http://idris-lang.org", "language": "Haskell", "license": "NOASSERTION", "license_family": "other", "maturity": "maintenance", "member_repos": ["idris-lang/Idris-dev"], "name": "idris-lang/Idris-dev", "platform": ["windows", "cli", "cross-platform"], "pushed_at": "2025-02-17T14:08:47+00:00", "repo": "idris-lang/Idris-dev", "stars": 3479, "tags": ["dependent-types", "functional-programming", "type-driven-development", "idris1", "deprecated", "haskell", "formal-verification", "code-generation", "linux", "macos"], "topics": [], "urls": [], "use_cases": ["write programs with dependent types", "prove program properties with the type checker", "learn type-driven development", "compile functional code to C or JavaScript", "explore dependent type theory in practice"], "what_it_is": "Idris 1 is a general-purpose functional programming language with full dependent types, implemented in Haskell, supporting type-driven development and code generation to C and JavaScript. This repository is the original Idris 1 implementation, which is now deprecated in favor of Idris 2.", "when_to_avoid": ["you are starting a new project - use Idris 2 instead", "you need actively maintained tooling or documentation", "you need production-grade language support"], "when_to_choose": ["you need to maintain or study legacy Idris 1 code", "you want to experiment with the original Idris implementation", "you need a Haskell-based dependent type language toolchain"]}, "data_as_of": "2026-08-30T08:39:29.467469+00:00", "members": [{"path": "/products/idris-dev", "repo": "idris-lang/Idris-dev", "role": "main", "score": 10}], "provenance": {"archived": {"kind": "observed", "observed_at": "2026-08-28T04:08:06.798476+00:00", "source": "github"}, "artifact_type": {"confidence": null, "enriched_at": "2026-08-29T18:36:28.574180+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "6400601c0a91269789242ee7fdd77b76ab5a3c1d1bb0da321e5124bdba7d1a64", "fetched_at": "2026-08-28T04:08:06.798476+00:00", "kind": "readme", "missing": false, "url": "https://github.com/idris-lang/Idris-dev"}, {"content_hash": "69e6caeb5bcf3ec1f7869df7ae861b7ee42182b4aed80fa0bb39b0f1fec8c4bf", "fetched_at": "2026-08-29T09:30:25.207953+00:00", "kind": "homepage", "missing": false, "url": "http://idris-lang.org"}, {"content_hash": "eb71b11bc8719b0a021fe90c53b85391d787a2741fa512976abda14f2f1f85e0", "fetched_at": "2026-08-29T09:30:25.218934+00:00", "kind": "site_page", "missing": false, "url": "https://www.idris-lang.org/pages/documentation.html"}], "taxonomy_version": 1}, "description": {"kind": "observed", "observed_at": "2026-08-28T04:08:06.798476+00:00", "source": "github"}, "domain": {"confidence": null, "enriched_at": "2026-08-29T18:36:28.574180+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "6400601c0a91269789242ee7fdd77b76ab5a3c1d1bb0da321e5124bdba7d1a64", "fetched_at": "2026-08-28T04:08:06.798476+00:00", "kind": "readme", "missing": false, "url": "https://github.com/idris-lang/Idris-dev"}, {"content_hash": "69e6caeb5bcf3ec1f7869df7ae861b7ee42182b4aed80fa0bb39b0f1fec8c4bf", "fetched_at": "2026-08-29T09:30:25.207953+00:00", "kind": "homepage", "missing": false, "url": "http://idris-lang.org"}, {"content_hash": "eb71b11bc8719b0a021fe90c53b85391d787a2741fa512976abda14f2f1f85e0", "fetched_at": "2026-08-29T09:30:25.218934+00:00", "kind": "site_page", "missing": false, "url": "https://www.idris-lang.org/pages/documentation.html"}], "taxonomy_version": 1}, "enriched": {"inputs": [], "kind": "computed", "method": "enrichment_status"}, "function": {"confidence": null, "enriched_at": "2026-08-29T18:36:28.574180+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "6400601c0a91269789242ee7fdd77b76ab5a3c1d1bb0da321e5124bdba7d1a64", "fetched_at": "2026-08-28T04:08:06.798476+00:00", "kind": "readme", "missing": false, "url": "https://github.com/idris-lang/Idris-dev"}, {"content_hash": "69e6caeb5bcf3ec1f7869df7ae861b7ee42182b4aed80fa0bb39b0f1fec8c4bf", "fetched_at": "2026-08-29T09:30:25.207953+00:00", "kind": "homepage", "missing": false, "url": "http://idris-lang.org"}, {"content_hash": "eb71b11bc8719b0a021fe90c53b85391d787a2741fa512976abda14f2f1f85e0", "fetched_at": "2026-08-29T09:30:25.218934+00:00", "kind": "site_page", "missing": false, "url": "https://www.idris-lang.org/pages/documentation.html"}], "taxonomy_version": 1}, "health_score": {"inputs": ["days_since_push", "days_since_release", "archived"], "kind": "computed", "method": "health_v1"}, "homepage": {"kind": "observed", "observed_at": "2026-08-28T04:08:06.798476+00:00", "source": "github"}, "language": {"kind": "observed", "observed_at": "2026-08-28T04:08:06.798476+00:00", "source": "github"}, "license": {"kind": "observed", "observed_at": "2026-08-28T04:08:06.798476+00:00", "source": "github"}, "license_family": {"inputs": ["license"], "kind": "computed", "method": "license_family"}, "maturity": {"confidence": null, "enriched_at": "2026-08-29T18:36:28.574180+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "6400601c0a91269789242ee7fdd77b76ab5a3c1d1bb0da321e5124bdba7d1a64", "fetched_at": "2026-08-28T04:08:06.798476+00:00", "kind": "readme", "missing": false, "url": "https://github.com/idris-lang/Idris-dev"}, {"content_hash": "69e6caeb5bcf3ec1f7869df7ae861b7ee42182b4aed80fa0bb39b0f1fec8c4bf", "fetched_at": "2026-08-29T09:30:25.207953+00:00", "kind": "homepage", "missing": false, "url": "http://idris-lang.org"}, {"content_hash": "eb71b11bc8719b0a021fe90c53b85391d787a2741fa512976abda14f2f1f85e0", "fetched_at": "2026-08-29T09:30:25.218934+00:00", "kind": "site_page", "missing": false, "url": "https://www.idris-lang.org/pages/documentation.html"}], "taxonomy_version": 1}, "member_repos": {"kind": "observed", "observed_at": "2026-08-28T04:08:06.798476+00:00", "source": "github"}, "name": {"kind": "observed", "observed_at": "2026-08-28T04:08:06.798476+00:00", "source": "github"}, "platform": {"confidence": null, "enriched_at": "2026-08-29T18:36:28.574180+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "6400601c0a91269789242ee7fdd77b76ab5a3c1d1bb0da321e5124bdba7d1a64", "fetched_at": "2026-08-28T04:08:06.798476+00:00", "kind": "readme", "missing": false, "url": "https://github.com/idris-lang/Idris-dev"}, {"content_hash": "69e6caeb5bcf3ec1f7869df7ae861b7ee42182b4aed80fa0bb39b0f1fec8c4bf", "fetched_at": "2026-08-29T09:30:25.207953+00:00", "kind": "homepage", "missing": false, "url": "http://idris-lang.org"}, {"content_hash": "eb71b11bc8719b0a021fe90c53b85391d787a2741fa512976abda14f2f1f85e0", "fetched_at": "2026-08-29T09:30:25.218934+00:00", "kind": "site_page", "missing": false, "url": "https://www.idris-lang.org/pages/documentation.html"}], "taxonomy_version": 1}, "pushed_at": {"kind": "observed", "observed_at": "2026-08-28T04:08:06.798476+00:00", "source": "github"}, "repo": {"kind": "observed", "observed_at": "2026-08-28T04:08:06.798476+00:00", "source": "github"}, "stars": {"kind": "observed", "observed_at": "2026-08-28T04:08:06.798476+00:00", "source": "github"}, "tags": {"confidence": null, "enriched_at": "2026-08-29T18:36:28.574180+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "6400601c0a91269789242ee7fdd77b76ab5a3c1d1bb0da321e5124bdba7d1a64", "fetched_at": "2026-08-28T04:08:06.798476+00:00", "kind": "readme", "missing": false, "url": "https://github.com/idris-lang/Idris-dev"}, {"content_hash": "69e6caeb5bcf3ec1f7869df7ae861b7ee42182b4aed80fa0bb39b0f1fec8c4bf", "fetched_at": "2026-08-29T09:30:25.207953+00:00", "kind": "homepage", "missing": false, "url": "http://idris-lang.org"}, {"content_hash": "eb71b11bc8719b0a021fe90c53b85391d787a2741fa512976abda14f2f1f85e0", "fetched_at": "2026-08-29T09:30:25.218934+00:00", "kind": "site_page", "missing": false, "url": "https://www.idris-lang.org/pages/documentation.html"}], "taxonomy_version": 1}, "topics": {"kind": "observed", "observed_at": "2026-08-28T04:08:06.798476+00:00", "source": "github"}, "urls": {"kind": "observed", "observed_at": "2026-08-28T04:08:06.798476+00:00", "source": "github"}, "use_cases": {"confidence": null, "enriched_at": "2026-08-29T18:36:28.574180+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "6400601c0a91269789242ee7fdd77b76ab5a3c1d1bb0da321e5124bdba7d1a64", "fetched_at": "2026-08-28T04:08:06.798476+00:00", "kind": "readme", "missing": false, "url": "https://github.com/idris-lang/Idris-dev"}, {"content_hash": "69e6caeb5bcf3ec1f7869df7ae861b7ee42182b4aed80fa0bb39b0f1fec8c4bf", "fetched_at": "2026-08-29T09:30:25.207953+00:00", "kind": "homepage", "missing": false, "url": "http://idris-lang.org"}, {"content_hash": "eb71b11bc8719b0a021fe90c53b85391d787a2741fa512976abda14f2f1f85e0", "fetched_at": "2026-08-29T09:30:25.218934+00:00", "kind": "site_page", "missing": false, "url": "https://www.idris-lang.org/pages/documentation.html"}], "taxonomy_version": 1}, "what_it_is": {"confidence": null, "enriched_at": "2026-08-29T18:36:28.574180+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "6400601c0a91269789242ee7fdd77b76ab5a3c1d1bb0da321e5124bdba7d1a64", "fetched_at": "2026-08-28T04:08:06.798476+00:00", "kind": "readme", "missing": false, "url": "https://github.com/idris-lang/Idris-dev"}, {"content_hash": "69e6caeb5bcf3ec1f7869df7ae861b7ee42182b4aed80fa0bb39b0f1fec8c4bf", "fetched_at": "2026-08-29T09:30:25.207953+00:00", "kind": "homepage", "missing": false, "url": "http://idris-lang.org"}, {"content_hash": "eb71b11bc8719b0a021fe90c53b85391d787a2741fa512976abda14f2f1f85e0", "fetched_at": "2026-08-29T09:30:25.218934+00:00", "kind": "site_page", "missing": false, "url": "https://www.idris-lang.org/pages/documentation.html"}], "taxonomy_version": 1}, "when_to_avoid": {"confidence": null, "enriched_at": "2026-08-29T18:36:28.574180+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "6400601c0a91269789242ee7fdd77b76ab5a3c1d1bb0da321e5124bdba7d1a64", "fetched_at": "2026-08-28T04:08:06.798476+00:00", "kind": "readme", "missing": false, "url": "https://github.com/idris-lang/Idris-dev"}, {"content_hash": "69e6caeb5bcf3ec1f7869df7ae861b7ee42182b4aed80fa0bb39b0f1fec8c4bf", "fetched_at": "2026-08-29T09:30:25.207953+00:00", "kind": "homepage", "missing": false, "url": "http://idris-lang.org"}, {"content_hash": "eb71b11bc8719b0a021fe90c53b85391d787a2741fa512976abda14f2f1f85e0", "fetched_at": "2026-08-29T09:30:25.218934+00:00", "kind": "site_page", "missing": false, "url": "https://www.idris-lang.org/pages/documentation.html"}], "taxonomy_version": 1}, "when_to_choose": {"confidence": null, "enriched_at": "2026-08-29T18:36:28.574180+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "6400601c0a91269789242ee7fdd77b76ab5a3c1d1bb0da321e5124bdba7d1a64", "fetched_at": "2026-08-28T04:08:06.798476+00:00", "kind": "readme", "missing": false, "url": "https://github.com/idris-lang/Idris-dev"}, {"content_hash": "69e6caeb5bcf3ec1f7869df7ae861b7ee42182b4aed80fa0bb39b0f1fec8c4bf", "fetched_at": "2026-08-29T09:30:25.207953+00:00", "kind": "homepage", "missing": false, "url": "http://idris-lang.org"}, {"content_hash": "eb71b11bc8719b0a021fe90c53b85391d787a2741fa512976abda14f2f1f85e0", "fetched_at": "2026-08-29T09:30:25.218934+00:00", "kind": "site_page", "missing": false, "url": "https://www.idris-lang.org/pages/documentation.html"}], "taxonomy_version": 1}}, "score": {"components": {"activity": 7, "longevity": 100, "rhythm": 8}, "computed_at": "2026-09-02T17:46:02.011165+00:00", "flags": ["archived", "no_license"], "formula": "round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10)", "inputs": {"age_days": 5467, "days_push": 562, "days_rel": null, "gap_med": null, "n_releases_24m": 0}, "score": 10, "version": 2}, "staleness": {"enrichment_outdated": false, "low_confidence": false, "scrape_days": 9, "stale_scrape": false}}