{"id":17316018,"url":"https://github.com/dee-me-tree-or-love/chai_sql","last_synced_at":"2025-10-11T17:09:17.621Z","repository":{"id":128237983,"uuid":"537055158","full_name":"dee-me-tree-or-love/chai_sql","owner":"dee-me-tree-or-love","description":"ChaiSQL - a prototype optional type checker for raw SQL  ☕️ 🫖 @ TU/e Database Research Group","archived":false,"fork":false,"pushed_at":"2023-07-28T10:40:36.000Z","size":967,"stargazers_count":0,"open_issues_count":0,"forks_count":0,"subscribers_count":1,"default_branch":"main","last_synced_at":"2025-03-27T01:46:34.715Z","etag":null,"topics":["sql","type-checking","types"],"latest_commit_sha":null,"homepage":"https://dee-me-tree-or-love.github.io/chai_sql/","language":"Haskell","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/dee-me-tree-or-love.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE.md","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":"2022-09-15T14:05:24.000Z","updated_at":"2023-10-03T18:03:21.000Z","dependencies_parsed_at":null,"dependency_job_id":"4a1e2f74-71d1-4241-a58f-fc3a0c211c8f","html_url":"https://github.com/dee-me-tree-or-love/chai_sql","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/dee-me-tree-or-love%2Fchai_sql","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dee-me-tree-or-love%2Fchai_sql/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dee-me-tree-or-love%2Fchai_sql/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dee-me-tree-or-love%2Fchai_sql/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/dee-me-tree-or-love","download_url":"https://codeload.github.com/dee-me-tree-or-love/chai_sql/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dee-me-tree-or-love%2Fchai_sql/sbom","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":259117606,"owners_count":22807801,"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":["sql","type-checking","types"],"created_at":"2024-10-15T13:11:20.517Z","updated_at":"2025-10-11T17:09:12.575Z","avatar_url":"https://github.com/dee-me-tree-or-love.png","language":"Haskell","funding_links":[],"categories":[],"sub_categories":[],"readme":"# ChaiSQL\n\nInternship project adding an optional type system to SQL.\n\n\u003e :building_construction: ChaiSQL is under heavy development.\n\n## Examples\n\n\u003c!--mkdocs-intro-examples-start--\u003e\n```sql  title=\"ChaiSQL example\"\n-- @chaisql:check\n\n-- @chaisql:newtype Name = String\n-- @chaisql:newtype Age = Number\n\n-- @chaisql:newtype PersonView = DbView \u003cbag\u003e {name: Name, age: Age}\n\n-- @chaisql:returns PersonView\nSELECT\n    -- @chaisql:returns Name\n    p.name,\n    -- @chaisql:returns Age\n    p.age\nFROM people AS p;\n```\n\n\u003c!--mkdocs-intro-examples-end--\u003e\n\n## Documentation\n\nInformation about ChaiSQL is available in:\n\n- [`./docs`](./docs/) directory\n- on the [MkDocs](https://www.mkdocs.org/)-powered website:\n  [ChaiSQL Documentation](https://dee-me-tree-or-love.github.io/chai_sql/).\n\n\u003c!-- :: User content --\u003e\n\n\u003c!--mkdocs-intro-details-start--\u003e\n\n## Installation\n\n\u003c!-- TODO: describe how to install `typed_sql` --\u003e\n*Coming soon!*\n\n## Supported features\n\n\u003c!-- TODO: describe supported \u0026 planned features --\u003e\n*Coming soon!*\n\n\u003c!--mkdocs-intro-details-end--\u003e\n\n\u003c!-- :: Developer content --\u003e\n## Development\n\nThe implementation of ChaiSQL is currently in progress and is at an early stage.  \n\nThe solutions may change and different experimental implementations (all WIP) are mentioned below.\n\n\u003e :bulb: These packages are aimed to provide same functionality and are\n\u003e used to validate the implementation options.\n\n### Python implementation: [`./packages/chai_sql_py/`](./packages/chai_sql_py/)\n\n\u003e :snake:\n\u003e Python implementation aims to benefit all Python features and make the\n\u003e ChaiSQL tool easily extensible.\n\n### Haskell implementation: [`./packages/chai_sql_hs/`](./packages/chai_sql_hs/)\n\n\u003e :beetle:\n\u003e Haskell implementation focuses on the Haskell's type system and powerful\n\u003e functional features.\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fdee-me-tree-or-love%2Fchai_sql","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fdee-me-tree-or-love%2Fchai_sql","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fdee-me-tree-or-love%2Fchai_sql/lists"}