gophersat vs LiteLLM
Facts only. Adjust the shortlist without leaving this page.
| Field | G gophersatgophersat, a SAT solver in Go | L LiteLLMProxy that translates many model APIs into one OpenAI-shaped client. |
|---|---|---|
| Fit. | ||
| Platforms· | Linux | Linux, macOS, Windows, Docker |
| Docker· | No | Yes |
| Commercial | yes | yes |
| Catalog. | ||
| Category | LLM infrastructure | LLM infrastructure |
| License | MIT | MIT |
| Language· | Go | Python |
| Jobs· | llm infra, artificial intelligence, boolean formulas | LLM gateway, multi-provider proxy |
| Activity. | ||
| Stars· | 387 | 30k |
| Last commit· | Jul 7, 2025 | Sep 6, 2026 |
| Last release· | — | Aug 29, 2026 |
| Links | ProjectGitHubGuide | ProjectGitHubGuide |