mgql

EngineeringSoftware

First Lean 4 mechanization of the small-step semantics of ISO GQL

query

View on GitHub

4 Stars

1 Forks

0 Watchers

Lean Language

mit License

59 SrcLog Score

Cost to Build

$10.2K

Market Value

$10.6K

How is this calculated?

Growth over time

3 data points · 2026-09-03 → 2026-10-24

Stars Forks Watchers

💬

How do you feel about this project?

Ask AI about mgql

Question copied to clipboard

What is the EngineeringSoftware/mgql GitHub project? Description: "First Lean 4 mechanization of the small-step semantics of ISO GQL". Written in Lean. Explain what it does, its main use cases, key features, and who would benefit from using it.

Question is copied to clipboard — paste it after the AI opens.

How to clone mgql

Clone via HTTPS

git clone https://github.com/EngineeringSoftware/mgql.git

Clone via SSH

[email protected]:EngineeringSoftware/mgql.git

Download ZIP

Download main.zip

Found an issue?

Report bugs or request features on the mgql issue tracker:

Open GitHub Issues

Similar to mgql

PumpkinDB RxRetroJsoup qone fselect gojsonq EloquentFilter lodash-id jsonb_accessor YaLinqo element-queries-spec baby_squeel openCypher inquiry-deprecated pypika loukoum safebrowsing performance walkable SemanticMediaWiki bigbash datafun rrda laravel-api-handler react-querybuilder mq-scss jslt gwtquery pg-monitor qss graphql-to-mongodb