{"id":19531160,"url":"https://github.com/casm-lang/casmi","last_synced_at":"2025-07-08T11:37:52.840Z","repository":{"id":50781772,"uuid":"52866489","full_name":"casm-lang/casmi","owner":"casm-lang","description":"CASM Numeric and Symbolic Interpreter","archived":false,"fork":false,"pushed_at":"2024-01-29T20:37:29.000Z","size":505,"stargazers_count":1,"open_issues_count":0,"forks_count":0,"subscribers_count":7,"default_branch":"master","last_synced_at":"2025-01-08T16:53:13.169Z","etag":null,"topics":["application","casm","interpreter","numeric-execution","symbolic-execution"],"latest_commit_sha":null,"homepage":"https://casm-lang.org/casmi","language":"C++","has_issues":false,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"other","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/casm-lang.png","metadata":{"files":{"readme":"README.org","changelog":null,"contributing":null,"funding":null,"license":"LICENSE.txt","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":"2016-03-01T09:57:04.000Z","updated_at":"2024-02-06T15:10:56.000Z","dependencies_parsed_at":"2024-11-11T01:41:34.358Z","dependency_job_id":"213c3efb-4ab5-45df-b81d-13a66bbb2454","html_url":"https://github.com/casm-lang/casmi","commit_stats":{"total_commits":296,"total_committers":4,"mean_commits":74.0,"dds":0.05405405405405406,"last_synced_commit":"6c0ea960bb3ab7dd98ffaa1f5f9b1244ca5b0e20"},"previous_names":[],"tags_count":6,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/casm-lang%2Fcasmi","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/casm-lang%2Fcasmi/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/casm-lang%2Fcasmi/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/casm-lang%2Fcasmi/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/casm-lang","download_url":"https://codeload.github.com/casm-lang/casmi/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":240783525,"owners_count":19856861,"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":["application","casm","interpreter","numeric-execution","symbolic-execution"],"created_at":"2024-11-11T01:41:22.826Z","updated_at":"2025-07-08T11:37:52.834Z","avatar_url":"https://github.com/casm-lang.png","language":"C++","funding_links":[],"categories":[],"sub_categories":[],"readme":"# \n#   Copyright (C) 2014-2024 CASM Organization \u003chttps://casm-lang.org\u003e\n#   All rights reserved.\n# \n#   Developed by: Philipp Paulweber et al.\n#   \u003chttps://github.com/casm-lang/casmi/graphs/contributors\u003e\n# \n#   This file is part of casmi.\n# \n#   casmi is free software: you can redistribute it and/or modify\n#   it under the terms of the GNU General Public License as published by\n#   the Free Software Foundation, either version 3 of the License, or\n#   (at your option) any later version.\n# \n#   casmi is distributed in the hope that it will be useful,\n#   but WITHOUT ANY WARRANTY; without even the implied warranty of\n#   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the\n#   GNU General Public License for more details.\n# \n#   You should have received a copy of the GNU General Public License\n#   along with casmi. If not, see \u003chttp://www.gnu.org/licenses/\u003e.\n# \n\n#+begin_html\n\u003ch4\u003e\n⚠️\nThis repository has been archived and its development work moved to the\n\u003ca href=\"https://github.com/sealangdotorg/sea\"\u003eSEA language\u003c/a\u003e project.\n\u003chr\u003e\n\u003c/h4\u003e\n#+end_html\n\n[[https://github.com/casm-lang/casm-lang.logo/raw/master/etc/headline.png]]\n\n#+options: toc:nil\n\n\n* casmi: CASM Numeric and Symbolic Interpreter\n\n[[https://github.com/casm-lang/casm/discussions/categories/q-a][https://img.shields.io/badge/discussion-Q\u0026A-blue.svg?logo=github]]\n[[https://github.com/casm-lang/casmi/actions?query=workflow%3Abuild][https://github.com/casm-lang/casmi/workflows/build/badge.svg]]\n[[https://github.com/casm-lang/casmi/actions?query=workflow%3Anightly][https://github.com/casm-lang/casmi/workflows/nightly/badge.svg]]\n[[https://codecov.io/gh/casm-lang/casmi][https://codecov.io/gh/casm-lang/casmi/badge.svg]]\n[[https://github.com/casm-lang/casmi/tags][https://img.shields.io/github/tag/casm-lang/casmi.svg?logo=github\u0026sort=semver]]\n[[https://github.com/casm-lang/casmi/blob/master/LICENSE.txt][https://img.shields.io/badge/license-GPLv3-blue.svg?logo=gnu]]\n\n\nThis project contains an interpreter for a concrete implementation of the Abstract State Machine (ASM) language CASM.\n\nTBD\n\n\n** Copyright and License\n\nThe copyright holder of \n=casmi= is the [[https://casm-lang.org][CASM organization]] ([[https://github.com/casm-lang][@casm-lang]]) \nand the used license of \n=casmi= is the [[https://www.gnu.org/licenses/gpl-3.0.html][GNU GPLv3]].\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fcasm-lang%2Fcasmi","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fcasm-lang%2Fcasmi","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fcasm-lang%2Fcasmi/lists"}