Rodrigo Mesquita

icon indicating a website link alt-romes.github.io icon indicating an email [email protected]

icon company Well-Typed LLP @ GHC Team icon location Portugal icon location GHC contributor, working on linear types, equality saturation, and in whatever else

Results 5 repositories owned by Rodrigo Mesquita

programmer-calculator

537
Stars
21
Forks
Watchers

Terminal calculator made for programmers working with multiple number representations, sizes, and overall close to the bits

verified publisher icon alt-romes

hegg

75
Stars
8
Forks
Watchers

Fast equality saturation in Haskell

verified publisher icon alt-romes

ghengin

41
Stars
0
Forks
Watchers

Ghengin: A vulkan-based, shader-centric, type-heavy, Haskell game engine

verified publisher icon alt-romes

calculator-c-parser

16
Stars
2
Forks
Watchers

A simple implementation of a parser and its use to calculate simple mathematical expressions

verified publisher icon alt-romes

reference-counting

26
Stars
1
Forks
Watchers

Reference counting with linear types

verified publisher icon alt-romes