{"id":13467458,"url":"https://github.com/unisonweb/unison","last_synced_at":"2026-04-15T01:01:20.477Z","repository":{"id":31600075,"uuid":"35164952","full_name":"unisonweb/unison","owner":"unisonweb","description":"A friendly programming language from the future","archived":false,"fork":false,"pushed_at":"2026-04-10T19:06:24.000Z","size":149641,"stargazers_count":6576,"open_issues_count":1257,"forks_count":302,"subscribers_count":102,"default_branch":"trunk","last_synced_at":"2026-04-10T19:31:41.914Z","etag":null,"topics":["hacktoberfest","haskell","programming-language","unison","unison-language"],"latest_commit_sha":null,"homepage":"https://unison-lang.org","language":"Haskell","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"other","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/unisonweb.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":".github/CODEOWNERS","security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null,"notice":null,"maintainers":null,"copyright":null,"agents":null,"dco":null,"cla":null}},"created_at":"2015-05-06T14:53:49.000Z","updated_at":"2026-04-10T18:33:25.000Z","dependencies_parsed_at":"2023-09-26T16:20:02.046Z","dependency_job_id":"301635e1-49ac-4f0f-b8f3-0c25cf8299eb","html_url":"https://github.com/unisonweb/unison","commit_stats":null,"previous_names":[],"tags_count":156,"template":false,"template_full_name":null,"purl":"pkg:github/unisonweb/unison","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/unisonweb%2Funison","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/unisonweb%2Funison/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/unisonweb%2Funison/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/unisonweb%2Funison/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/unisonweb","download_url":"https://codeload.github.com/unisonweb/unison/tar.gz/refs/heads/trunk","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/unisonweb%2Funison/sbom","scorecard":{"id":910188,"data":{"date":"2025-08-11","repo":{"name":"github.com/unisonweb/unison","commit":"84a0aa994e4327f16b0fa9fab1b806662349c568"},"scorecard":{"version":"v5.2.1-40-gf6ed084d","commit":"f6ed084d17c9236477efd66e5b258b9d4cc7b389"},"score":5.7,"checks":[{"name":"Code-Review","score":10,"reason":"all changesets reviewed","details":null,"documentation":{"short":"Determines if the project requires human code review before pull requests (aka merge requests) are merged.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#code-review"}},{"name":"Maintained","score":10,"reason":"30 commit(s) and 3 issue activity found in the last 90 days -- score normalized to 10","details":null,"documentation":{"short":"Determines if the project is \"actively maintained\".","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#maintained"}},{"name":"CII-Best-Practices","score":0,"reason":"no effort to earn an OpenSSF best practices badge detected","details":null,"documentation":{"short":"Determines if the project has an OpenSSF (formerly CII) Best Practices Badge.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#cii-best-practices"}},{"name":"Dangerous-Workflow","score":10,"reason":"no dangerous workflow patterns detected","details":null,"documentation":{"short":"Determines if the project's GitHub Action workflows avoid dangerous patterns.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#dangerous-workflow"}},{"name":"License","score":9,"reason":"license file detected","details":["Info: project has a license file: LICENSE:0","Warn: project license file does not contain an FSF or OSI license."],"documentation":{"short":"Determines if the project has defined a license.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#license"}},{"name":"Packaging","score":-1,"reason":"packaging workflow not detected","details":["Warn: no GitHub/GitLab publishing workflow detected."],"documentation":{"short":"Determines if the project is published as a package that others can easily download, install, easily update, and uninstall.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#packaging"}},{"name":"Security-Policy","score":0,"reason":"security policy file not detected","details":["Warn: no security policy file detected","Warn: no security file to analyze","Warn: no security file to analyze","Warn: no security file to analyze"],"documentation":{"short":"Determines if the project has published a security policy.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#security-policy"}},{"name":"Vulnerabilities","score":10,"reason":"0 existing vulnerabilities detected","details":null,"documentation":{"short":"Determines if the project has open, known unfixed vulnerabilities.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#vulnerabilities"}},{"name":"Token-Permissions","score":0,"reason":"detected GitHub workflow tokens with excessive permissions","details":["Warn: no topLevel permission defined: .github/workflows/bundle-ucm.yaml:1","Warn: no topLevel permission defined: .github/workflows/check-contributor.yaml:1","Warn: no topLevel permission defined: .github/workflows/ci.yaml:1","Warn: no topLevel permission defined: .github/workflows/format.yaml:1","Warn: no topLevel permission defined: .github/workflows/haddocks.yaml:1","Warn: no topLevel permission defined: .github/workflows/nix-dev-cache.yaml:1","Warn: no topLevel permission defined: .github/workflows/ormolu.yaml:1","Warn: no topLevel permission defined: .github/workflows/pre-release.yaml:1","Warn: no topLevel permission defined: .github/workflows/release.yaml:1","Warn: no topLevel permission defined: .github/workflows/tmate.yaml:1","Warn: no topLevel permission defined: .github/workflows/update-transcripts.yaml:1","Info: no jobLevel write permissions found"],"documentation":{"short":"Determines if the project's workflows follow the principle of least privilege.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#token-permissions"}},{"name":"Binary-Artifacts","score":10,"reason":"no binaries found in the repo","details":null,"documentation":{"short":"Determines if the project has generated executable (binary) artifacts in the source repository.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#binary-artifacts"}},{"name":"Branch-Protection","score":-1,"reason":"internal error: error during branchesHandler.setup: internal error: githubv4.Query: Resource not accessible by integration","details":null,"documentation":{"short":"Determines if the default and release branches are protected with GitHub's branch protection settings.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#branch-protection"}},{"name":"Signed-Releases","score":0,"reason":"Project has not signed or included provenance with any releases.","details":["Warn: release artifact trunk-build not signed: https://api.github.com/repos/unisonweb/unison/releases/240406227","Warn: release artifact release/0.5.45 not signed: https://api.github.com/repos/unisonweb/unison/releases/238478881","Warn: release artifact release/0.5.44 not signed: https://api.github.com/repos/unisonweb/unison/releases/236059660","Warn: release artifact release/0.5.43 not signed: https://api.github.com/repos/unisonweb/unison/releases/233222468","Warn: release artifact release/0.5.42 not signed: https://api.github.com/repos/unisonweb/unison/releases/227754130","Warn: release artifact trunk-build does not have provenance: https://api.github.com/repos/unisonweb/unison/releases/240406227","Warn: release artifact release/0.5.45 does not have provenance: https://api.github.com/repos/unisonweb/unison/releases/238478881","Warn: release artifact release/0.5.44 does not have provenance: https://api.github.com/repos/unisonweb/unison/releases/236059660","Warn: release artifact release/0.5.43 does not have provenance: https://api.github.com/repos/unisonweb/unison/releases/233222468","Warn: release artifact release/0.5.42 does not have provenance: https://api.github.com/repos/unisonweb/unison/releases/227754130"],"documentation":{"short":"Determines if the project cryptographically signs release artifacts.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#signed-releases"}},{"name":"Fuzzing","score":0,"reason":"project is not fuzzed","details":["Warn: no fuzzer integrations found"],"documentation":{"short":"Determines if the project uses fuzzing.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#fuzzing"}},{"name":"Pinned-Dependencies","score":6,"reason":"dependency not pinned by hash detected -- score normalized to 6","details":["Warn: third-party GitHubAction not pinned by hash: .github/workflows/bundle-ucm.yaml:38: update your workflow using https://app.stepsecurity.io/secureworkflow/unisonweb/unison/bundle-ucm.yaml/trunk?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/bundle-ucm.yaml:43: update your workflow using https://app.stepsecurity.io/secureworkflow/unisonweb/unison/bundle-ucm.yaml/trunk?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/bundle-ucm.yaml:78: update your workflow using https://app.stepsecurity.io/secureworkflow/unisonweb/unison/bundle-ucm.yaml/trunk?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/ci.yaml:74: update your workflow using https://app.stepsecurity.io/secureworkflow/unisonweb/unison/ci.yaml/trunk?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/ci.yaml:80: update your workflow using https://app.stepsecurity.io/secureworkflow/unisonweb/unison/ci.yaml/trunk?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/ci.yaml:185: update your workflow using https://app.stepsecurity.io/secureworkflow/unisonweb/unison/ci.yaml/trunk?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/haddocks.yaml:23: update your workflow using https://app.stepsecurity.io/secureworkflow/unisonweb/unison/haddocks.yaml/trunk?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/haddocks.yaml:29: update your workflow using https://app.stepsecurity.io/secureworkflow/unisonweb/unison/haddocks.yaml/trunk?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/haddocks.yaml:38: update your workflow using https://app.stepsecurity.io/secureworkflow/unisonweb/unison/haddocks.yaml/trunk?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/update-transcripts.yaml:18: update your workflow using https://app.stepsecurity.io/secureworkflow/unisonweb/unison/update-transcripts.yaml/trunk?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/update-transcripts.yaml:24: update your workflow using https://app.stepsecurity.io/secureworkflow/unisonweb/unison/update-transcripts.yaml/trunk?enable=pin","Warn: containerImage not pinned by hash: Dockerfile:1: pin your Docker image by updating debian:stable to debian:stable@sha256:cd50e36013f749a1f86c6369b873e1ad607335480dc4bc2905396ec17ab0ce02","Info:  25 out of  25 GitHub-owned GitHubAction dependencies pinned","Info:  15 out of  26 third-party GitHubAction dependencies pinned","Info:   0 out of   1 containerImage dependencies pinned"],"documentation":{"short":"Determines if the project has declared and pinned the dependencies of its build process.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#pinned-dependencies"}},{"name":"SAST","score":0,"reason":"SAST tool is not run on all commits -- score normalized to 0","details":["Warn: 0 commits out of 30 are checked with a SAST tool"],"documentation":{"short":"Determines if the project uses static code analysis.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#sast"}}]},"last_synced_at":"2025-08-24T18:50:09.918Z","repository_id":31600075,"created_at":"2025-08-24T18:50:09.918Z","updated_at":"2025-08-24T18:50:09.918Z"},"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":31821685,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-04-14T18:05:02.291Z","status":"ssl_error","status_checked_at":"2026-04-14T18:05:01.765Z","response_time":153,"last_error":"SSL_read: unexpected eof while reading","robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":false,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["hacktoberfest","haskell","programming-language","unison","unison-language"],"created_at":"2024-07-31T15:00:56.771Z","updated_at":"2026-04-15T01:01:20.452Z","avatar_url":"https://github.com/unisonweb.png","language":"Haskell","readme":"The Unison language\n===================\n\n[![CI Status](https://github.com/unisonweb/unison/actions/workflows/ci.yaml/badge.svg)](https://github.com/unisonweb/unison/actions/workflows/ci.yaml?query=branch%3Atrunk)\n[![Pre-Release Status](https://github.com/unisonweb/unison/actions/workflows/pre-release.yaml/badge.svg)](https://github.com/unisonweb/unison/actions/workflows/pre-release.yaml)\n\n* [Overview](#overview)\n* [Building using Stack](#building-using-stack)\n* [Language Server Protocol (LSP)](docs/language-server.markdown)\n* [Codebase Server](#codebase-server)\n* [Configuration](./docs/configuration.md)\n\n![Alt](https://repobeats.axiom.co/api/embed/92b662a65fd842d49cb8d7d813043f5f5b4b550d.svg \"Repobeats analytics image\")\n\nOverview\n--------\n\n[Unison](https://unison-lang.org) is a statically-typed functional language with type inference, an effect system, and advanced tooling. It is based around [a big idea of content-addressed code](https://www.unison-lang.org/learn/the-big-idea/), in which function are identified by a hash of their implementation rather than by name, and code is stored as its AST in a database. This provides a number of benefits:\n\n* No builds. Unison has perfect incremental compilation, with a shared compilation cache that is part of the codebase format. Despite the strong static typing, you are almost never waiting for code to compile.\n* Instant, non-breaking renaming of definitions.\n* Perfect caching of tests, only rerunning determinstic tests if dependencies changed.\n* Semantically-aware version control, avoiding spurious merge conflicts from things like order of imports, whitespace or code formatting differences, and so on.\n\nUnison can be used like any other general-purpose language, or you can use it in conjunction with [Unison Cloud](https://unison.cloud) for building distributed systems.\n\nHere is some sample code:\n\n\n```Haskell\n-- A comment!\n-- Function signatures appear before the definition\nfactorial : Nat -\u003e Nat\nfactorial n = product (range 1 (n + 1))\n\n-- Signatures can be left off; they will be inferred\nList.map f as =\n  go acc rem = match rem with\n    [] -\u003e acc\n    a +: as -\u003e go (acc :+ f a) as\n  go [] as\n\n\u003e List.map (x -\u003e x * 10) (range 0 10)\n= [0, 10, 20, 30, 40, 50, 60, 70, 80, 90]\n\n\u003e List.map factorial [1,2,3,4]\n= [1, 2, 6, 24]\n```\n\nFunctions arguments are separated by spaces instead of parens and commas. Loops are written using recursion (above the helper function `go` defines a loop). The language supports pattern matching via `match \u003cexpr\u003e with \u003ccases\u003e`, which works for lists and also user-defined data types.\n\nOther resources:\n\n* [Learn about the big idea behind Unison](https://www.unison-lang.org/learn/the-big-idea/)\n* Check out [the project website](https://unison-lang.org)\n* Say hello or lurk [in the Discord chat](https://unison-lang.org/discord)\n* Explore [the Unison ecosystem](https://share.unison-lang.org/)\n* [Learn Unison](https://www.unison-lang.org/learn/)\n\nBuilding using Stack\n--------------------\n\nIf these instructions don't work for you or are incomplete, please file an issue.\n\nThe build uses [Stack](http://docs.haskellstack.org/). If you don't already have it installed, [follow the install instructions](http://docs.haskellstack.org/en/stable/README.html#how-to-install) for your platform.  (Hint: `brew update \u0026\u0026 brew install stack`)\n\n```sh\n$ git clone https://github.com/unisonweb/unison.git\n$ cd unison\n$ stack --version # we'll want to know this version if you run into trouble\n$ stack build --fast --test \u0026\u0026 stack exec unison\n```\n\nTo run the Unison Local UI while building from source, you can use the `/dev-ui-install.sh` script. It will download the latest release of [unison-local-ui](https://github.com/unisonweb/unison-local-ui) and put it in the expected location for the unison executable created by `stack build`. When you start unison, you'll see a url where Unison Local UI is running.\n\nSee [`development.markdown`](development.markdown) for a list of build commands you'll likely use during development.\n\nLanguage Server Protocol (LSP)\n------------------------------\n\nView Language Server setup instructions [here](docs/language-server.markdown).\n\nAI Agent Server (MCP)\n----------------------\n\nView AI Agent Server setup instructions [here](docs/mcp.md).\n\nCodebase Server\n---------------\n\nWhen `ucm` starts it starts a Codebase web server that is used by the\n[Unison Local UI](https://github.com/unisonweb/unison-local-ui). It selects a random\nport and a unique token that must be used when starting the UI to correctly\nconnect to the server.\n\nThe port, host and token can all be configured by providing environment\nvariables when starting `ucm`: `UCM_PORT`, `UCM_HOST`, and `UCM_TOKEN`.\n\nConfiguration\n-------------\n\nSee the documentation for configuration [here](docs/configuration.md)\n","funding_links":[],"categories":["Haskell","Haskell (3)","计算机编程 数据结构与算法","Uncategorized","Functional"],"sub_categories":["网络服务_其他","Uncategorized"],"project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Funisonweb%2Funison","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Funisonweb%2Funison","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Funisonweb%2Funison/lists"}