Google Summer of Code 2024: JSON Schema + Lean

Stream: job postings

[Julian Berman]

Hello folks.
The open source project I work on (JSON Schema) is a mentoring organization for Google Summer of Code 2024, and one of the project proposals I put forward is Lean related -- it's to build an implementation of JSON Schema in Lean.
Very short details of the project are here -- https://github.com/json-schema-org/community/issues/606
In transparency -- though JSON Schema as an org was selected, it's not 100% sure that this Lean project will happen, as we need to hear back from Google on how many project slots we'll be allocated (there are quite a few others), but I'm quite keen for this to be one of the projects that's funded. If you're a student or otherwise interested doing some open source work for the summer, feel free to have a look there and ping me with any questions. Applications first go through Google here https://summerofcode.withgoogle.com/
The stipend varies based on where you live, but numbers are here -- https://developers.google.com/open-source/gsoc/help/student-stipends