Skip to content
#

database-queries

Here are 46 public repositories matching this topic...

🌟Welcome to a curated 📚 collection 📚 of solved 🛠️ MySQL 💾 interview 💬 problems ❓ from LeetCode 💡. 📊🔍 This section 📚 showcases 🔍 key questions ❓ and their solutions 💡, providing 📊 a valuable 🛠️ resource 📚 for anyone 💬 preparing 🛠️ for SQL 💾 interviews 💬. 🚀

  • Updated Jul 7, 2024

Type-theoretic verification kernel for formally verified database queries, providing dependent, linear, session, quantitative, effect, and modal type coverage. Idris 2 formal specs, Rust verification kernel, Zig FFI bridge, JSON-RPC protocol. The "LLVM of type safety" for query validation.

  • Updated Aug 18, 2026
  • Rust

Improve this page

Add a description, image, and links to the database-queries topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the database-queries topic, visit your repo's landing page and select "manage topics."

Learn more