{"id":24551917,"url":"https://github.com/mlabs-haskell/cem-script","last_synced_at":"2025-04-15T22:19:58.272Z","repository":{"id":207214168,"uuid":"696785386","full_name":"mlabs-haskell/cem-script","owner":"mlabs-haskell","description":"https://cardano.ideascale.com/c/idea/106740","archived":false,"fork":false,"pushed_at":"2025-03-07T06:03:16.000Z","size":519,"stargazers_count":2,"open_issues_count":29,"forks_count":2,"subscribers_count":18,"default_branch":"master","last_synced_at":"2025-03-29T02:04:10.557Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":"","language":"Haskell","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"mit","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/mlabs-haskell.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}},"created_at":"2023-09-26T12:37:47.000Z","updated_at":"2025-03-07T06:03:21.000Z","dependencies_parsed_at":"2023-11-14T17:27:35.875Z","dependency_job_id":"fc004e5f-d001-420f-8f9b-07fb11857ceb","html_url":"https://github.com/mlabs-haskell/cem-script","commit_stats":null,"previous_names":["mlabs-haskell/cem-script"],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mlabs-haskell%2Fcem-script","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mlabs-haskell%2Fcem-script/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mlabs-haskell%2Fcem-script/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mlabs-haskell%2Fcem-script/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/mlabs-haskell","download_url":"https://codeload.github.com/mlabs-haskell/cem-script/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":249161738,"owners_count":21222539,"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":"2025-01-23T01:19:27.002Z","updated_at":"2025-04-15T22:19:58.266Z","avatar_url":"https://github.com/mlabs-haskell.png","language":"Haskell","funding_links":[],"categories":[],"sub_categories":[],"readme":"# CEM Script\n\n## Project pitch\n\nCEM Script is a framework to define Cardano DApp logic via annotated CEM-machines,\nresulting in free implementations for:\n\n* On-chain scripts\n* Transaction building/submission (off-chain)\n* Transaction parsing/indexing\n* Automatically testing invariants\n* Human-readable specs\n\n## Documentation\n\n* [Getting Started Guide](https://github.com/mlabs-haskell/cem-script/blob/master/docs/getting_started.md)\n* [Goals and Design](https://github.com/mlabs-haskell/cem-script/blob/master/docs/goals_and_design.md)\n* Article about [testing dApps on Cardano with CLB](https://www.mlabs.city/blog/testing-dapps-on-cardano-with-clb-emulator) is another introduction to testing CEM Script dApps.\n* [Project Overview Video](https://www.youtube.com/watch?v=GRfrpu_KHAg)\n\n## Building\n\n### Building using devx shell\n\nBuilding is performed with `cabal`inside IOG's `github:input-output-hk/devx` shell.\nSee `.envrc` for details.\n\nMake sure to `cabal update` before building.\n\n### Building manually\n\n*Unsupported method: do on your own risk. Was tested on Arch Linux in 2024.*\n\nManual installation for required binary dependencies is described here:\nhttps://github.com/input-output-hk/cardano-node-wiki/blob/main/docs/getting-started/install.md#installing-blst\nArch Linux has libblst in AUR, which is alternative for building it manually.\n\nAfter installing  binary dependencies `cabal build` should work.\n\n## Running tests\n\nTests are runned in emulated environment using\n[CLB](https://github.com/mlabs-haskell/clb).\n\nJust run: `cabal run cem-script-test`.\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fmlabs-haskell%2Fcem-script","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fmlabs-haskell%2Fcem-script","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fmlabs-haskell%2Fcem-script/lists"}