alt-romes
GHC contributor, working on linear types, equality saturation, and in whatever else
Funding Links: https://github.com/sponsors/alt-romes
- Name: Rodrigo Mesquita
- Location: Portugal
- Company: Well-Typed LLP @ GHC Team
- Kind: user
- Followers: 210
- Following: 489
- Total stars: 905
- Repositories count: 132
- Created at: 2022-11-17T14:33:35.120Z
- Updated at: 2025-06-30T23:34:41.074Z
- Last synced at: 2025-06-30T23:34:41.074Z
GitHub Sponsors Profile
A GHC contributor and Haskell enthusiast, writing open source code, mostly in the Haskell ecosystem.
I'm the author of hegg, an e-graphs and eq-sat library, programmer-calculator, and other open projects.
Currently, I'm researching interoperability between Haskell and Swift, in order to create SwiftUI applications with logic written in Haskell, accompanied by detailed blog posts explaining it in-depth.
This work is partially sponsored by Well-Typed, and is otherwise carried out in my own free time.
Sponsorship helps me better direct my open source contributions. I'm currently invested in the Haskell x Swift interoperability, but I'd also be happy to improve hegg or continue developing my vulkan-based, shader-centric, type-heavy Haskell game engine.
- Current Sponsors: 0
- Past Sponsors: 0
- Total Sponsors: 0
- Minimum Sponsorship: $1.00
Featured Works
alt-romes/hegg
Fast equality saturation in Haskell
Language: Haskell - Stars: 84alt-romes/ghengin
Ghengin: A vulkan-based, shader-centric, type-heavy, Haskell game engine
Language: Haskell - Stars: 60alt-romes/programmer-calculator
Terminal calculator made for programmers working with multiple number representations, sizes, and overall close to the bits
Language: C - Stars: 566Active Sponsors
Past Sponsors
us3rl0st
Sponsor Breakdown
- User: 1