{"id":17770780,"url":"https://github.com/sacerdot/scam","last_synced_at":"2025-04-01T15:18:58.968Z","repository":{"id":68221240,"uuid":"362878500","full_name":"sacerdot/SCAM","owner":"sacerdot","description":"The implementation of the Strong Crumbling Abstract Machine (SCAM) for the Strong Call-by-value lambda-calculus (see paper at LICS 2021)","archived":false,"fork":false,"pushed_at":"2021-04-29T16:31:40.000Z","size":9,"stargazers_count":0,"open_issues_count":0,"forks_count":0,"subscribers_count":2,"default_branch":"main","last_synced_at":"2025-02-07T09:33:40.606Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":null,"language":"OCaml","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"cc0-1.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/sacerdot.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":"2021-04-29T16:21:36.000Z","updated_at":"2023-02-12T22:42:22.000Z","dependencies_parsed_at":null,"dependency_job_id":"aeb22123-1939-4366-952c-3257fde96d9a","html_url":"https://github.com/sacerdot/SCAM","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/sacerdot%2FSCAM","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/sacerdot%2FSCAM/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/sacerdot%2FSCAM/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/sacerdot%2FSCAM/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/sacerdot","download_url":"https://codeload.github.com/sacerdot/SCAM/tar.gz/refs/heads/main","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":246660077,"owners_count":20813338,"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-10-26T21:27:06.577Z","updated_at":"2025-04-01T15:18:58.949Z","avatar_url":"https://github.com/sacerdot.png","language":"OCaml","funding_links":[],"categories":[],"sub_categories":[],"readme":"# SCAM\nThe implementation of the Strong Crumbling Abstract Machine (SCAM) for the Strong Call-by-value lambda-calculus. The machine is described in the paper\nB. Accattoli, A. Condoluci, C. Sacerdoti Coen, \"Strong Call-by-Value is Reasonable, Implosively\", presented at LICS 2021.\n\nWeb interface\n=============\n\nWhat does it do:\n It allows the user to write down a lamba-term in the browser and it\n shows the state of the machine after every step. Be aware of diverging terms!\n\nDependencies for the Web interface:\n * dune (a package manager for ocaml; it installs ocaml as well)\n * the js_of_ocaml dune package (obtained via \"dune install js_of_ocaml\")\n\nHow to compile the Web interface:\n\n         `dune build`\n\nHow to execute the Web interface:\n\n          point your browser to _build/default/index.html\n\nCommand line interface\n======================\n\nWhat does it do:  \n It runs a fixed set of tests, printing out the state of the machine after\n each execution. More tests can be added by duplicating the last line of\n strong_cbv.ml, which is\n\n         `parse \"x (y. (z.z) (z.z))\" print_and_eval`\n\n The command line interface does not allow to enter lambda-terms interactively\n\nDependencies for the command-line interface:\n * ocaml\n\nHow to compile the command-line tests:  \n\n         `make`\n\nHow to execute the command-line tests:  \n\n         `./strong_cbv`\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fsacerdot%2Fscam","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fsacerdot%2Fscam","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fsacerdot%2Fscam/lists"}