{"id":17267495,"url":"https://github.com/technius/redrawn","last_synced_at":"2026-01-06T06:33:44.855Z","repository":{"id":143021364,"uuid":"226189164","full_name":"Technius/redrawn","owner":"Technius","description":"Experimental framework for automated API migration","archived":false,"fork":false,"pushed_at":"2019-12-11T08:07:08.000Z","size":51,"stargazers_count":1,"open_issues_count":0,"forks_count":0,"subscribers_count":3,"default_branch":"master","last_synced_at":"2025-01-31T12:24:51.579Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":null,"language":"Racket","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/Technius.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":null,"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":"2019-12-05T21:05:51.000Z","updated_at":"2019-12-11T08:07:10.000Z","dependencies_parsed_at":null,"dependency_job_id":"a98d3afe-be50-42f4-acdd-15e73327cad9","html_url":"https://github.com/Technius/redrawn","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/Technius%2Fredrawn","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Technius%2Fredrawn/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Technius%2Fredrawn/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Technius%2Fredrawn/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/Technius","download_url":"https://codeload.github.com/Technius/redrawn/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":245641437,"owners_count":20648644,"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-15T08:10:51.768Z","updated_at":"2026-01-06T06:33:44.811Z","avatar_url":"https://github.com/Technius.png","language":"Racket","funding_links":[],"categories":[],"sub_categories":[],"readme":"# Redrawn\n\nRedrawn is an experimental implementation of an automated API migration\nframework, written in Racket and using\n[Rosette](https://docs.racket-lang.org/rosette-guide/ch_getting-started.html).\n\nThis was a course project for CS292C: Computer-Aided Reasoning for\nSoftware (Fall 2019) at UCSB.\n\n## Setup\n\nEither run `raco setup` or run the appropriate commands to install the\ndependencies specified in `info.rkt`.\n\n## Usage\n\nTo test out the automated sketching translation, run\n\n```bash\nracket main.rkt -v i:integer -v x:integer -v b:boolean examples/prog8.txt\n```\n\nThe `-v` flag will generate a symbolic value of the specified type and bind it\nto the specified variable. For example, `-v i:integer` creates a symbolic\ninteger and binds it to the variable `i`. Currently, only `integer` and\n`boolean` are supported.\n\nRun `racket main.rkt -h` for additional basic usage information.\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Ftechnius%2Fredrawn","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Ftechnius%2Fredrawn","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Ftechnius%2Fredrawn/lists"}