{"id":30767714,"url":"https://github.com/sciml/symbolicanalysis.jl","last_synced_at":"2026-01-03T04:01:32.870Z","repository":{"id":215695136,"uuid":"676790614","full_name":"SciML/SymbolicAnalysis.jl","owner":"SciML","description":"Symbolics-based function property propagation for optimization","archived":false,"fork":false,"pushed_at":"2025-08-25T03:28:56.000Z","size":1983,"stargazers_count":20,"open_issues_count":7,"forks_count":1,"subscribers_count":4,"default_branch":"main","last_synced_at":"2025-08-29T10:23:27.581Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":"","language":"Julia","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/SciML.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,"zenodo":null},"funding":{"github":"SciML"}},"created_at":"2023-08-10T02:56:17.000Z","updated_at":"2025-08-19T04:01:25.000Z","dependencies_parsed_at":null,"dependency_job_id":"6936a45f-deb7-4b1b-9ab7-4e49faedcc48","html_url":"https://github.com/SciML/SymbolicAnalysis.jl","commit_stats":null,"previous_names":["vaibhavdixit02/symbolicanalysis.jl","sciml/symbolicanalysis.jl"],"tags_count":7,"template":false,"template_full_name":null,"purl":"pkg:github/SciML/SymbolicAnalysis.jl","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/SciML%2FSymbolicAnalysis.jl","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/SciML%2FSymbolicAnalysis.jl/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/SciML%2FSymbolicAnalysis.jl/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/SciML%2FSymbolicAnalysis.jl/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/SciML","download_url":"https://codeload.github.com/SciML/SymbolicAnalysis.jl/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/SciML%2FSymbolicAnalysis.jl/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":273665993,"owners_count":25146277,"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","status":"online","status_checked_at":"2025-09-04T02:00:08.968Z","response_time":61,"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":[],"created_at":"2025-09-04T20:08:20.725Z","updated_at":"2026-01-03T04:01:32.865Z","avatar_url":"https://github.com/SciML.png","language":"Julia","funding_links":["https://github.com/sponsors/SciML"],"categories":[],"sub_categories":[],"readme":"# SymbolicAnalysis.jl\n\n\u003ca href=\"https://sciml.github.io/SymbolicAnalysis.jl/dev/\"\u003e\u003cimg src='https://img.shields.io/badge/docs-dev-blue.svg'/\u003e\u003c/a\u003e\n\nSymbolics.jl based function property propagation for optimization\n\nSymbolicAnalysis is a package for implementing the Disciplined Programming approach to optimization,\nAs demonstrated by the [DCP framework](https://dcp.stanford.edu/), and further followups to it for further classes of\nfunctions https://www.cvxpy.org/tutorial/index.html such as DGP, DQP etc, symbolic representation of problems can be leveraged\nto identify and facilitate building Convex (or similar function properties) expressions.\n\nThis package aims to utilize expression graph rewriting and metadata propagation supported by Symbolics.jl, to support\npropagation of several of these properties - limited right now to Euclidean Convexity and Geodesic Convexity on the Symmetric\nPositive Definite manifold. This package provides an easier to expand implementation of functional properties than the previous\nimplementations [CVXPY](https://www.cvxpy.org/index.html) and [Convex.jl](https://github.com/jump-dev/Convex.jl) as well as a\nmore performant implementation of the function property propagation.\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fsciml%2Fsymbolicanalysis.jl","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fsciml%2Fsymbolicanalysis.jl","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fsciml%2Fsymbolicanalysis.jl/lists"}