{"id":15010246,"url":"https://github.com/clojure/core.contracts","last_synced_at":"2025-04-07T13:09:15.238Z","repository":{"id":3132616,"uuid":"4160846","full_name":"clojure/core.contracts","owner":"clojure","description":"Contracts programming","archived":false,"fork":false,"pushed_at":"2024-07-15T17:58:21.000Z","size":149,"stargazers_count":128,"open_issues_count":0,"forks_count":15,"subscribers_count":28,"default_branch":"master","last_synced_at":"2025-03-31T11:06:55.319Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":null,"language":"Clojure","has_issues":false,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"epl-1.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/clojure.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":"CONTRIBUTING.md","funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2012-04-27T17:49:28.000Z","updated_at":"2024-09-02T13:09:54.000Z","dependencies_parsed_at":"2024-10-07T11:50:25.373Z","dependency_job_id":"fb4d9c97-8c97-40a7-9908-8ba2be173064","html_url":"https://github.com/clojure/core.contracts","commit_stats":{"total_commits":118,"total_committers":7,"mean_commits":"16.857142857142858","dds":0.211864406779661,"last_synced_commit":"31f838f804b18ee9a728f3438709cac620774e35"},"previous_names":[],"tags_count":6,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/clojure%2Fcore.contracts","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/clojure%2Fcore.contracts/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/clojure%2Fcore.contracts/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/clojure%2Fcore.contracts/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/clojure","download_url":"https://codeload.github.com/clojure/core.contracts/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":247657281,"owners_count":20974345,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","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":[],"created_at":"2024-09-24T19:33:01.614Z","updated_at":"2025-04-07T13:09:15.213Z","avatar_url":"https://github.com/clojure.png","language":"Clojure","funding_links":[],"categories":[],"sub_categories":[],"readme":"clojure.core.contracts\n========================================\n\nContracts programming for Clojure.\n\nProject status: [Inactive](https://clojure.org/community/contrib_libs). The author (fogus) considers this library to have been superseded by [clojure.spec](https://github.com/clojure/spec.alpha).\n\nBased on [Trammel](http://github.com/fogus/trammel) and [clojure-contracts](http://github.com/dnaumov/clojure-contracts).\n\n\nReleases and Dependency Information\n========================================\n\nLatest stable release: 0.0.6\n\n* [All Released Versions](http://search.maven.org/#search%7Cgav%7C1%7Cg%3A%22org.clojure%22%20AND%20a%3A%22core.contracts%22)\n\n* [Development Snapshot Versions](https://oss.sonatype.org/index.html#nexus-search;gav~org.clojure~core.contracts~~~)\n\n[CLI/`deps.edn`](https://clojure.org/reference/deps_and_cli) dependency information:\n```clojure\norg.clojure/core.contracts {:mvn/version \"0.0.6\"}\n```\n\n[Leiningen](https://github.com/technomancy/leiningen) dependency information:\n\n    [org.clojure/core.contracts \"0.0.6\"]\n\n[Maven](http://maven.apache.org/) dependency information:\n\n    \u003cdependency\u003e\n      \u003cgroupId\u003eorg.clojure\u003c/groupId\u003e\n      \u003cartifactId\u003ecore.contracts\u003c/artifactId\u003e\n      \u003cversion\u003e0.0.6\u003c/version\u003e\n    \u003c/dependency\u003e\n\n\n\nExample Usage\n========================================\n\n```clojure\n    (use 'clojure.core.contracts)\n\t\n\t(def secure-doubler\n\t  (with-constraints\n\t  \t(fn [n] (* 2 n))\n\t  \t(contract doubler\n          \"ensures doubling\"\n          [x] [number? =\u003e (= (* 2 x) %)]\n          [x y] [(every? number? [x y])\n                   =\u003e\n                 (= (* 2 (+ x y)) %)])))\n\n    (secure-doubler 10)\n    ;=\u003e 20\n```\n\nRefer to docstrings in the `clojure.core.contracts` namespace.\n\nDocumentation\n========================================\n\n[core.contracts API](http://clojure.github.io/core.contracts/)\n\nSee also the [wiki](/clojure/core.contracts/wiki) for some documentation and examples.\n\nDeveloper Information\n========================================\n\n* [GitHub project](https://github.com/clojure/core.contracts)\n* [Bug Tracker](https://clojure.atlassian.net/browse/CCONTRACTS)\n* [Continuous Integration](https://github.com/clojure/core.contracts/actions/workflows/test.yml)\n* [References](https://github.com/clojure/core.contracts/blob/master/References.md)\n\nChange Log\n====================\n\n* Release 0.0.6 on 2016.08.20\n  * Bump dependency on newest version of core.unify, which fixes a compilation problem with Clojure 1.9.0-alpha11\n* Release 0.0.5 on 2013.06.28\n  * Speedier constrained record perf.\n* Release 0.0.4 on 2013.03.07\n  * Rolled in `defconstrainedrecord`\n  * Rolled in associative checks\n* Release 0.0.1 on 2012.06.01\n  * Rolled in `contract`, `with-constraints` and `provide` from Trammel\n\n\nCopyright and License\n========================================\n\nCopyright (c) Rich Hickey, Michael Fogus and contributors, 2023. All rights reserved.  The use and distribution terms for this software are covered by the Eclipse Public License 1.0 (http://opensource.org/licenses/eclipse-1.0.php) which can be found in the file epl-v10.html at the root of this distribution. By using this software in any fashion, you are agreeing to be bound bythe terms of this license.  You must not remove this notice, or any other, from this software.\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fclojure%2Fcore.contracts","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fclojure%2Fcore.contracts","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fclojure%2Fcore.contracts/lists"}