{"id":26904978,"url":"https://github.com/symbolica/symbolica","last_synced_at":"2025-04-01T10:55:30.267Z","repository":{"id":40362606,"uuid":"368823235","full_name":"Symbolica/Symbolica","owner":"Symbolica","description":"Symbolica's open-source symbolic execution engine.","archived":false,"fork":false,"pushed_at":"2023-02-05T01:52:58.000Z","size":1873,"stargazers_count":60,"open_issues_count":7,"forks_count":6,"subscribers_count":4,"default_branch":"master","last_synced_at":"2024-05-29T00:34:32.726Z","etag":null,"topics":["symbolic","symbolic-computation","symbolic-execution","testing","testing-tool","verification"],"latest_commit_sha":null,"homepage":"https://www.symbolica.dev","language":"C#","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/Symbolica.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}},"created_at":"2021-05-19T10:02:09.000Z","updated_at":"2024-03-30T22:02:27.000Z","dependencies_parsed_at":"2023-02-18T21:01:01.297Z","dependency_job_id":null,"html_url":"https://github.com/Symbolica/Symbolica","commit_stats":null,"previous_names":["symbolicadev/symbolica"],"tags_count":1,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Symbolica%2FSymbolica","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Symbolica%2FSymbolica/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Symbolica%2FSymbolica/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Symbolica%2FSymbolica/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/Symbolica","download_url":"https://codeload.github.com/Symbolica/Symbolica/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":246628301,"owners_count":20808106,"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":["symbolic","symbolic-computation","symbolic-execution","testing","testing-tool","verification"],"created_at":"2025-04-01T10:55:29.678Z","updated_at":"2025-04-01T10:55:30.257Z","avatar_url":"https://github.com/Symbolica.png","language":"C#","funding_links":[],"categories":[],"sub_categories":[],"readme":"# Symbolica\n\n[![Build history](https://buildstats.info/github/chart/SymbolicaDev/Symbolica?branch=master)](https://github.com/SymbolicaDev/Symbolica/actions)\n\n## NuGet Packages\n\n### Symbolica.Abstraction\n\n[![NuGet Badge](https://buildstats.info/nuget/Symbolica.Abstraction)](https://www.nuget.org/packages/Symbolica.Abstraction/)\n\n### Symbolica.Collection\n\n[![NuGet Badge](https://buildstats.info/nuget/Symbolica.Collection)](https://www.nuget.org/packages/Symbolica.Collection/)\n\n### Symbolica.Computation\n\n[![NuGet Badge](https://buildstats.info/nuget/Symbolica.Computation)](https://www.nuget.org/packages/Symbolica.Computation/)\n\n### Symbolica.Deserialization\n\n[![NuGet Badge](https://buildstats.info/nuget/Symbolica.Deserialization)](https://www.nuget.org/packages/Symbolica.Deserialization/)\n\n### Symbolica.Expression\n\n[![NuGet Badge](https://buildstats.info/nuget/Symbolica.Expression)](https://www.nuget.org/packages/Symbolica.Expression/)\n\n### Symbolica.Implementation\n\n[![NuGet Badge](https://buildstats.info/nuget/Symbolica.Implementation)](https://www.nuget.org/packages/Symbolica.Implementation/)\n\n### Symbolica.Representation\n\n[![NuGet Badge](https://buildstats.info/nuget/Symbolica.Representation)](https://www.nuget.org/packages/Symbolica.Representation/)\n\n## Docker Images\n\n### symbolica/build\n\n```sh\ndocker build lib/c/build -t symbolica/build:latest\n```\n\n```sh\ndocker run -v \u003cpath-to-user-code\u003e:/code symbolica/build:latest\n```\n\n[![Docker Image Version (latest semver)](https://img.shields.io/docker/v/symbolica/build?sort=semver\u0026logo=Docker)](https://hub.docker.com/repository/docker/symbolica/build)\n[![Docker Pulls](https://img.shields.io/docker/pulls/symbolica/build?logo=Docker\u0026label=pulls)](https://hub.docker.com/repository/docker/symbolica/build)\n\n### symbolica/build-cpp\n\n```sh\ndocker build lib/cpp/build --build-arg BUILD_BASE_IMG_TAG=latest -t symbolica/build-cpp:latest\n```\n\n```sh\ndocker run -v \u003cpath-to-user-code\u003e:/code symbolica/build-cpp:latest\n```\n\n[![Docker Image Version (latest semver)](https://img.shields.io/docker/v/symbolica/build-cpp?sort=semver\u0026logo=Docker)](https://hub.docker.com/repository/docker/symbolica/build-cpp)\n[![Docker Pulls](https://img.shields.io/docker/pulls/symbolica/build-cpp?logo=Docker\u0026label=pulls)](https://hub.docker.com/repository/docker/symbolica/build-cpp)\n\n### symbolica/translate\n\n```sh\ndocker build lib/translate -t symbolica/translate:latest\n```\n\n```sh\ndocker run -v \u003cpath-to-user-code\u003e:/code symbolica/translate:latest \u003cdeclarations\u003e\n```\n\n[![Docker Image Version (latest semver)](https://img.shields.io/docker/v/symbolica/translate?sort=semver\u0026logo=Docker)](https://hub.docker.com/repository/docker/symbolica/translate)\n[![Docker Pulls](https://img.shields.io/docker/pulls/symbolica/translate?logo=Docker\u0026label=pulls)](https://hub.docker.com/repository/docker/symbolica/translate)\n\nNote, we don't publish a `latest` tag because we prefer to use SemVer instead, even if Docker doesn't natively support it.\nOur stable images will be tagged according to the tags in this repository and the versions are aligned with the NuGet package versions.\nIf you're using the docker images in conjunction with the NuGet packages, it's best to make sure you're using a tag for the docker images that matches the NuGet package version you're using.\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fsymbolica%2Fsymbolica","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fsymbolica%2Fsymbolica","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fsymbolica%2Fsymbolica/lists"}