GenLang-V / GenDB-V
Towards AI-Generated and Formally Verified Database Systems
Why this job: works in the areas we cover, but does not say which job it does
What it does
Databases are rebuilt again and again for new workloads and new hardware.
Get started
No single install command. Read the steps in the README (opens in new tab)
- Maintenance
- Active
- Last commit 2 days ago
- Stars
- 22
- +7 this week
- Licence
- Custom
- Read before business use
- Downloads for
- None listed
- No release files
- Latest version
- None yet
- No releases
- Built with
- Rust
- 100% of the code
Is it looked after?
- Contributors
- 1
- Last 90 days
- Issues
- None
- No issues filed
- Pull requests
- 0 merged
- 0 waiting
- Releases
- None
- Never published
- No contributing guide
- No security policy
- No code of conduct
Similar repos
| Repo | Stars | Last commit | Licence | Downloads for |
|---|---|---|---|---|
| aallan / vera | 421 | today | MIT | No downloads |
| Snowflake-Labs / snowflake-demo-notebooks | 382 | 35 days ago | Apache-2.0 | No downloads |
| kopecmaciej / vi-sql | 212 | 35 days ago | Custom | Mac, Windows, Linux |
More: languages, topics and project record
Languages
- Rust 100%
- Python <1%
- Shell <1%
Topics
- formal-verification
- llm
- query-optimization
- rust
- sql
Project record
- JobOther AI tools
- StatusNew to our list
- Commits3
- Forks0
- Watching0
- CreatedNov 1, 2026
- First seen by usNov 7, 2026
- CheckedNov 12, 2026