{"id":51184241,"url":"https://github.com/dfa1/sem","last_synced_at":"2026-06-27T09:03:42.876Z","repository":{"id":95190597,"uuid":"206493533","full_name":"dfa1/sem","owner":"dfa1","description":"Sem is an interpreter and a debugger for the SIMPLESEM language.   ","archived":false,"fork":false,"pushed_at":"2025-08-06T20:09:51.000Z","size":485,"stargazers_count":0,"open_issues_count":0,"forks_count":0,"subscribers_count":1,"default_branch":"master","last_synced_at":"2025-08-06T22:08:34.183Z","etag":null,"topics":["ansi-c","simplesem"],"latest_commit_sha":null,"homepage":"","language":"C","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"gpl-2.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/dfa1.png","metadata":{"files":{"readme":"README","changelog":"ChangeLog","contributing":null,"funding":null,"license":"COPYING","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":"AUTHORS","dei":null,"publiccode":null,"codemeta":null,"zenodo":null}},"created_at":"2019-09-05T06:43:09.000Z","updated_at":"2025-08-06T20:09:54.000Z","dependencies_parsed_at":"2025-08-06T22:04:47.192Z","dependency_job_id":"fc88b869-75f7-4c33-930c-0cffb9db9dd4","html_url":"https://github.com/dfa1/sem","commit_stats":null,"previous_names":[],"tags_count":1,"template":false,"template_full_name":null,"purl":"pkg:github/dfa1/sem","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dfa1%2Fsem","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dfa1%2Fsem/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dfa1%2Fsem/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dfa1%2Fsem/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/dfa1","download_url":"https://codeload.github.com/dfa1/sem/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dfa1%2Fsem/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":34847288,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-05-26T15:22:16.424Z","status":"online","status_checked_at":"2026-06-27T02:00:06.362Z","response_time":126,"last_error":null,"robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":true,"can_crawl_api":true,"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":["ansi-c","simplesem"],"created_at":"2026-06-27T09:03:41.738Z","updated_at":"2026-06-27T09:03:42.863Z","avatar_url":"https://github.com/dfa1.png","language":"C","funding_links":[],"categories":[],"sub_categories":[],"readme":"Sem, an abstract semantic processor\n===================================\n\nWhat's sem?\n-----------\n\nSem is an interpreter and a debugger for the SIMPLESEM language.   \n\n\"We said that in this book we will use an operational approach to semantics.\nTo do so, we introduce a simple abstract processor called SIMPLESEM, and we\nshow constructs can be executed by sequences of operations of the abstract\nprocessor.\"\n\n      PP. 69, \"An abstract semantic processor\"\n                           Programming language concepts, Third Edition\n                            Carlo Ghezzi, Politecnico di Milano\n                             Mehdi Jazayeri, Technische Universitat Wien\n                              John Wiley \u0026 Sons                  \n\n\n\nLicense information\n-------------------\n\nThis program is free software, released under the GNU Public License, which \ngives you, from the user point of view, a great degree of liberty, which \nproprietary software just doesn't.\n\nFollows a little list of the advantages free software has:\n  o  it's free;\n  o  the complete source code is available;\n  o  you are allowed to copy, modify and redistribute. For more info\n     about this subject refer to the COPYING file.\n\n\nBuild instructions\n------------------\n\nRequirements:\n\n- C23 compiler\n- cmake\n\nHow to use misc/sem.vim? \n------------------------\n\nThe file sem.vim is a Vim syntax file. It enables Vim to show parts of \nthe text in another font or color for your .sem files. It has been tested\nwith vim 72.\n\nCopy the file misc/sem.vim in ~/.vim/syntax/sem/sem.vim. Then put the \nfollowing line in your filetype.vim (e.g. ~/.vim/filetype.vim):\n\nau! BufNewFile,BufRead *.sem   setf sem\n\n\nDistribution structure\n----------------------\n\nAUTHORS             Authors and contributors\nChangeLog           History of changes\nCOPYING             Licensing information\nREADME              The file you're reading now\nTODO                To-do list, ideas, bugs\ndoc/QUICKREF        Language reference\nexamples/comp.sem   Compare two numbers\nexamples/fact.sem   The factorial\nexamples/gcd.sem    Greatest Common Divisor\nexamples/hello.sem  Hello World, in SIMPLESEM this time\nexamples/pow.sem    The power\nexamples/rfact.sem  Recursive version of fact.sem\nexamples/sum.sem    Sum two numbers\nmisc/sem.vim        VIM syntax file\nsrc/sem.h           Sem C interface\nsrc/compiler.y      The compiler (GNU bison input)\nsrc/compiler.c      The compiler (generated from compiler.y)\nsrc/tokens.h        Tokens interface between scanner and compiler)\nsrc/vm.c            The interpreter\nsrc/debugger.c      The debugger\nsrc/scanner.c       The lexical scanner (generated from scanner.l)\nsrc/scanner.h       The lexical scanner interface\nsrc/scanner.l       The lexical scanner (GNU flex input)\nsrc/main.c          The main() for interpreter and debugger\n\nContact Information\n-------------------\n\nEmail:\n  davide.angelocola@gmail.com\n\nURL:\n  http://github.com/dfa1/sem\n\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fdfa1%2Fsem","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fdfa1%2Fsem","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fdfa1%2Fsem/lists"}