How to participate in GSoC 2025?

Learn
1

Hello Haskell Community,

My name is Omkar, and I am a B.Tech Computer Science student. I am eager to contribute as a GSoC 2025 participant.

I am particularly interested in the project about Qualified Aliases in Liquid Haskell. I am also starting to learn the Haskell programming language.

I would appreciate any guidance you could offer.

Best regards,
Omkar

6 Likes
2

@Omkar welcome!

I will ping @facundominguez who is the mentor for that specific project!

1 Like
3

Welcome Omkar!

The formalities on how to apply are documented in the GSoC program. For other questions, I can be reached at facundo.dominguez@tweag.io.

Thanks @f-a for the ping!

1 Like
4

@facundominguez Ok. Thank you sir

5

Hi, i am another CS student that would like to apply. Where can i read about the liquid haskell project?
I am using idris2 and liquid haskell to build exercises to help fellow students on my automata and proofs class

6

Here’s the proposal:

https://summer.haskell.org/ideas.html#lh-aliases

1 Like
7

Thank you very much. So i dont have to understand the liquid haskell internals to improve it with this project besides for writing tests? That sounds like a dream since i would like to contribute and solidify my understanding of the tool anyways