Sign in

Repository Index

61,121 visible repositories in the index

Tags: All Tags
Tags

A repository shows when it has any selected Tag.

Filters

Filters

Clear all filters

13,225–13,248 of 16,247 · Most stars

Free, native MongoDB GUI with the power of paid tools — every auth mode, TLS/SSH/proxy, aggregation + explain plans, bulk edit, schema analysis, GridFS, embedded mongosh, AI query assistant. Encrypted, zero telemetry. Tauri + React. Apache-2.0.

Compilation and Verification of Data-Centric Languages

  • verification
  • query-language
  • query-engine
  • functional-programming