{"id":26601393,"url":"https://github.com/calebwin/lin","last_synced_at":"2026-02-05T16:32:24.859Z","repository":{"id":100568221,"uuid":"169527328","full_name":"calebwin/lin","owner":"calebwin","description":"a higher-level DSL for linear programming","archived":false,"fork":false,"pushed_at":"2019-04-02T02:44:22.000Z","size":4,"stargazers_count":2,"open_issues_count":0,"forks_count":0,"subscribers_count":3,"default_branch":"master","last_synced_at":"2025-03-23T18:50:54.418Z","etag":null,"topics":["lin","linear-programming","linear-programming-solver","racket","rosette","solver"],"latest_commit_sha":null,"homepage":"","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/calebwin.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-02-07T06:10:49.000Z","updated_at":"2023-09-27T16:02:19.000Z","dependencies_parsed_at":"2023-05-15T23:45:27.915Z","dependency_job_id":null,"html_url":"https://github.com/calebwin/lin","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/calebwin/lin","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/calebwin%2Flin","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/calebwin%2Flin/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/calebwin%2Flin/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/calebwin%2Flin/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/calebwin","download_url":"https://codeload.github.com/calebwin/lin/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/calebwin%2Flin/sbom","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":264504928,"owners_count":23618870,"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":["lin","linear-programming","linear-programming-solver","racket","rosette","solver"],"created_at":"2025-03-23T18:39:48.966Z","updated_at":"2026-02-05T16:32:24.824Z","avatar_url":"https://github.com/calebwin.png","language":"Racket","funding_links":[],"categories":[],"sub_categories":[],"readme":"# lin\nlin is a minimalist [Rosette](http://emina.github.io/rosette/)-based DSL for linear programming. Here's an example...\n```racket\n; declare variables\n(def desirability)\n(def supply)\n(def cost)\n(def price)\n(def profit)\n\n; constrain variables\n(let (\u003e price 0))\n(let (\u003e cost 0))\n(let (equal? profit (+ (* 1 price) (* -1 cost))))\n(let (\u003e supply 0))\n\n; set variables\n(set desirability 90)\n(set supply 50)\n(set cost 5)\n\n; maximize\n(max profit)\n\n; solution\n(get price)\n```\nlin compiles your code to Rosette code applying one of [a variety of solvers](https://docs.racket-lang.org/rosette-guide/sec_solvers-and-solutions.html#%28def._%28%28lib._rosette%2Fquery%2Fcore..rkt%29._current-solver%29%29) to compute satisfiable solutions.\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fcalebwin%2Flin","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fcalebwin%2Flin","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fcalebwin%2Flin/lists"}