{"id":16281264,"url":"https://github.com/mroman42/mikrokosmos","last_synced_at":"2025-03-16T13:31:23.535Z","repository":{"id":53800794,"uuid":"66862013","full_name":"mroman42/mikrokosmos","owner":"mroman42","description":"(λ) Educational lambda calculus interpreter","archived":false,"fork":false,"pushed_at":"2021-03-12T19:20:19.000Z","size":3426,"stargazers_count":72,"open_issues_count":3,"forks_count":7,"subscribers_count":6,"default_branch":"master","last_synced_at":"2025-02-26T23:03:23.972Z","etag":null,"topics":["haskell","interpreter","lambda-calculus"],"latest_commit_sha":null,"homepage":"https://mroman42.github.io/mikrokosmos","language":"Haskell","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"gpl-3.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/mroman42.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}},"created_at":"2016-08-29T16:47:59.000Z","updated_at":"2025-02-16T17:05:22.000Z","dependencies_parsed_at":"2022-08-21T15:00:39.496Z","dependency_job_id":null,"html_url":"https://github.com/mroman42/mikrokosmos","commit_stats":null,"previous_names":[],"tags_count":6,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mroman42%2Fmikrokosmos","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mroman42%2Fmikrokosmos/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mroman42%2Fmikrokosmos/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mroman42%2Fmikrokosmos/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/mroman42","download_url":"https://codeload.github.com/mroman42/mikrokosmos/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":243817119,"owners_count":20352501,"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":["haskell","interpreter","lambda-calculus"],"created_at":"2024-10-10T19:06:12.073Z","updated_at":"2025-03-16T13:31:22.702Z","avatar_url":"https://github.com/mroman42.png","language":"Haskell","funding_links":[],"categories":[],"sub_categories":[],"readme":"# mikrokosmos\n\n![Version](https://img.shields.io/badge/version-0.8.1-blue.svg)\n![Travis (.org)](https://img.shields.io/travis/mroman42/mikrokosmos.svg)\n[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.1470226.svg)](https://doi.org/10.5281/zenodo.1470226)\n[![DOI](https://jose.theoj.org/papers/10.21105/jose.00029/status.svg)](https://doi.org/10.21105/jose.00029)\n\n\n**Mikrokosmos** is a λ-calculus interpreter, borrowing its name from the series of\nprogressive piano études *[Mikrokosmos](https://www.youtube.com/watch?v=VEsMk3DAzWM)* written by *Bela Bartok*. \nIt aims to provide students with a tool to learn and understand λ-calculus. It supports both untyped λ-calculus \nand simply typed λ-calculus.\n\n * [Try Mikrokosmos!](https://mroman42.github.io/mikrokosmos/), online interpreter.\n * [Mikrokosmos tutorial](https://mroman42.github.io/mikrokosmos/tutorial.html), an online tutorial.\n * [Mikrokosmos user's guide](https://mroman42.github.io/mikrokosmos/userguide.html), contains installation instructions.\n * [Mikrokosmos on Hackage](https://hackage.haskell.org/package/mikrokosmos).\n\n## Support and contributions\n\nIf you are an user seeking support, please use the \n[GitHub issue tracker](https://github.com/mroman42/mikrokosmos/issues) \nof the main repository.  Any bug, failure, or unintended behaviour of the program, specially if\nit differs from the behaviour described on the [user's guide](https://mroman42.github.io/mikrokosmos/userguide.html),\nshould be reported on the [issue tracker](https://github.com/mroman42/mikrokosmos/issues).\nWhen doing so, please try to include all the relevant information, the\nsteps you may take to reproduce the error, and the platform and version\nof Mikrokosmos you were using.\n\nMikrokosmos is open to pull requests and issue reports from everyone\n(please see the CONTRIBUTING file).  The code is licensed under the GNU\nGeneral Public License Version 3 (see the LICENSE file).\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fmroman42%2Fmikrokosmos","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fmroman42%2Fmikrokosmos","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fmroman42%2Fmikrokosmos/lists"}