{"id":26883718,"url":"https://github.com/jiro4989/ski","last_synced_at":"2025-07-03T22:33:56.325Z","repository":{"id":80274210,"uuid":"182688010","full_name":"jiro4989/ski","owner":"jiro4989","description":"Library for calculation SKI Combinator in pure Nim.","archived":false,"fork":false,"pushed_at":"2019-05-10T23:36:52.000Z","size":56,"stargazers_count":2,"open_issues_count":0,"forks_count":0,"subscribers_count":2,"default_branch":"master","last_synced_at":"2025-03-31T17:50:42.595Z","etag":null,"topics":["combinator","lib","library","nim","ski"],"latest_commit_sha":null,"homepage":"https://jiro4989.github.io/ski/ski.html","language":"Nim","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/jiro4989.png","metadata":{"files":{"readme":"README.adoc","changelog":null,"contributing":null,"funding":null,"license":null,"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":"2019-04-22T08:55:59.000Z","updated_at":"2025-02-16T03:45:58.000Z","dependencies_parsed_at":null,"dependency_job_id":"334e01d1-bce2-4432-9cbf-b5e1c75b097e","html_url":"https://github.com/jiro4989/ski","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/jiro4989/ski","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/jiro4989%2Fski","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/jiro4989%2Fski/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/jiro4989%2Fski/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/jiro4989%2Fski/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/jiro4989","download_url":"https://codeload.github.com/jiro4989/ski/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/jiro4989%2Fski/sbom","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":263415758,"owners_count":23463104,"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":["combinator","lib","library","nim","ski"],"created_at":"2025-03-31T17:36:51.879Z","updated_at":"2025-07-03T22:33:56.244Z","avatar_url":"https://github.com/jiro4989.png","language":"Nim","funding_links":[],"categories":[],"sub_categories":[],"readme":":toc: left\n:sectnums:\n\n= ski\n\nLibrary for calculating https://en.wikipedia.org/wiki/SKI_combinator_calculus[SKI combinator].\n\nimage:https://travis-ci.org/jiro4989/ski.svg?branch=master[\"Build Status\", link=\"https://travis-ci.org/jiro4989/ski\"]\n\n== Development\n\nnim -v\n\n  Nim Compiler Version 0.19.4 [Linux: amd64]\n  Compiled at 2019-02-01\n  Copyright (c) 2006-2018 by Andreas Rumpf\n\n  git hash: b6d96cafc8bcad1f3d32f2910b25cd11a93f7751\n  active boot switches: -d:release\n\n\nnimble -v\n\n  nimble v0.9.0 compiled at 2018-10-27 18:10:03\n  git hash: couldn't determine git hash\n\n== Install\n\n[source,bash]\nnimble install ski\n\n== Usage\n\n=== Simple examples\n\n[source,nim]\n----\nimport ski\n\necho \"Sxyz\".calculate(combinators)\n----\n\nOutput is `xz(yz)` .\n\n=== Other examples\n\nSee `examples` directory.\nRun example code.\n\n==== Calc arguments example\n\nRun\n\n[source,bash]\ncd examples/calc_args\nnim c -r main.nim Sxyz\n\nOutput\n\n  Before : Sxyz\n  After  : xz(yz)\n\n==== Read file example\n\nRun\n\n[source,bash]\ncd examples/read_file\nnim c -r main.nim\n\nOutput\n\n  Sxyz\n    -\u003e xz(yz)\n  SKxz\n    -\u003e Kz(xz)\n    -\u003e z\n  \u003ctrue\u003exz\n    -\u003e Kxz\n    -\u003e x\n  \u003cfalse\u003exz\n    -\u003e SKxz\n    -\u003e Kz(xz)\n    -\u003e z\n  SKIKSIKIKISKIKIS\n    -\u003e KK(IK)SIKIKISKIKIS\n    -\u003e KSIKIKISKIKIS\n    -\u003e SKIKISKIKIS\n    -\u003e KK(IK)ISKIKIS\n    -\u003e KISKIKIS\n    -\u003e IKIKIS\n    -\u003e KIKIS\n    -\u003e IIS\n    -\u003e IS\n    -\u003e S\n  S\u003ctrue\u003e\u003ctrue\u003e\u003cfalse\u003e\n    -\u003e \u003ctrue\u003e\u003cfalse\u003e(\u003ctrue\u003e\u003cfalse\u003e)\n    -\u003e K\u003cfalse\u003e(\u003ctrue\u003e\u003cfalse\u003e)\n    -\u003e \u003cfalse\u003e\n    -\u003e SK\n\n== Document\n\n* https://jiro4989.github.io/ski/ski.html\n\n== Web application of SKI combinator calculator\n\nI created simple SKI combinator calculator on web application.\n\nhttps://jiro4989.github.io/ski\n\nJavascript library of SKI combinator of the application is generated by this\nmodule (`nimble js`).\n\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fjiro4989%2Fski","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fjiro4989%2Fski","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fjiro4989%2Fski/lists"}