{"id":51847586,"url":"https://github.com/dokutan/combinator-playground","last_synced_at":"2026-07-23T14:30:44.305Z","repository":{"id":366417117,"uuid":"1127348335","full_name":"dokutan/combinator-playground","owner":"dokutan","description":"An interpreter for Combinatory logic with a few additional features.","archived":false,"fork":false,"pushed_at":"2026-07-09T16:52:29.000Z","size":55,"stargazers_count":1,"open_issues_count":0,"forks_count":0,"subscribers_count":0,"default_branch":"main","last_synced_at":"2026-07-09T18:19:45.364Z","etag":null,"topics":["combinators","combinators-calculus","combinatory-logic"],"latest_commit_sha":null,"homepage":"","language":"Clojure","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"agpl-3.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/dokutan.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":null,"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":"2026-01-03T17:41:57.000Z","updated_at":"2026-07-09T16:52:37.000Z","dependencies_parsed_at":null,"dependency_job_id":null,"html_url":"https://github.com/dokutan/combinator-playground","commit_stats":null,"previous_names":["dokutan/combinator-playground"],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/dokutan/combinator-playground","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dokutan%2Fcombinator-playground","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dokutan%2Fcombinator-playground/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dokutan%2Fcombinator-playground/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dokutan%2Fcombinator-playground/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/dokutan","download_url":"https://codeload.github.com/dokutan/combinator-playground/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dokutan%2Fcombinator-playground/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":35805965,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-07-20T02:08:10.276Z","status":"online","status_checked_at":"2026-07-23T02:00:06.683Z","response_time":57,"last_error":null,"robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":true,"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":["combinators","combinators-calculus","combinatory-logic"],"created_at":"2026-07-23T14:30:43.503Z","updated_at":"2026-07-23T14:30:44.291Z","avatar_url":"https://github.com/dokutan.png","language":"Clojure","funding_links":[],"categories":[],"sub_categories":[],"readme":"# Combinator Playground\n\nAn interpreter for [Combinatory logic](https://en.wikipedia.org/wiki/Combinatory_logic) with a few additional features.\n\n## Usage\n\nThe intended usage is from a Clojure REPL. With [Leiningen](https://leiningen.org/) installed, a REPL can be started with `lein repl`. Alternatively use an integration into your favorite editor to evaluate expressions.\n\n```clojure\n;; reduce KIxy (returns a vector of intermediate results)\n(reduce* SKI '(K I x y))\n\n;; convert λx.λy.y to SKI and then to BCKW calculus\n(-\u003e '[x [y y]] lambda-\u003eSKI* last SKI-\u003eBCKW)\n\n;; perform a brute force search for all BCKW terms of size 3 that are equivalent to I\n(search BCKW 3 ['x] (partial = 'x) 10)\n```\n\n## Features\n\nFor function documentation, check the docstrings, either in the source code or with `(doc fn)`.\n- `reduce*` reduce an expression using the given combinators with intermediate results ([reduce.clj](src/combinator_playground/reduce.clj))\n- `lambda-\u003eSKI*`, `lambda-\u003eBCKW*` convert lambda to SKI/BCKW calculus ([lambda.clj](src/combinator_playground/lambda.clj))\n- `SKI-\u003eBCKW`, ... convert between combinators ([combinators.clj](src/combinator_playground/combinators.clj))\n- `search` search for expressions ([search.clj](src/combinator_playground/search.clj))\n\nThe following graph shows the implemented conversions.\n```mermaid\ngraph TD;\n    lambda[λ]--\u003e|lambda-\u003eSKI*|SKI;\n    lambda[λ]--\u003e|lambda-\u003eBCKW*|BCKW;\n    SKI--\u003e|I-\u003eSK|SK;\n    SKI--\u003e|SKI-\u003eBCKW|BCKW;\n    SK--\u003e|SKI-\u003eBCKW|BCKW;\n    SKI--\u003e|SKI-\u003eX|X/iota;\n    SK--\u003e|SKI-\u003eX|X/iota;\n    BCKW--\u003e|BCKW-\u003eSKI|SKI;\n    MTAB--\u003e|MTAB-\u003eBCKW|BCKW;\n    BCKW--\u003e|BCKW-\u003eMTAB|MTAB;\n```\n\n# See also\n\n- https://dallaylaen.github.io/ski-interpreter/quest.html (solutions for some quests are in [quests.clj](src/combinator_playground/quests.clj))\n- https://blog.happyfellow.dev/a-riddle/ ([riddle.txt](resources/riddle.txt) and a solution in [riddle.clj](src/combinator_playground/riddle.clj))\n- https://combinatorylogic.com/table.html\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fdokutan%2Fcombinator-playground","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fdokutan%2Fcombinator-playground","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fdokutan%2Fcombinator-playground/lists"}