This ataraxia? https://x.com/009Ataraxi71445
Does he have a github or other link where I cam view his contributions?
Retropex is ocean ( nostr:nprofile1qqsz8ffq6k7qcnkvm05826s4x42ejjpvnu6725qn8d6jmwapexzwzkcpzpmhxue69uhkummnw3ezuamfdejszxnhwden5te0wfjkccte9ehhyctwvajhq6tvdshx7angqyxhwumn8ghj7mn0wvhxcmmvv6fwgv)
Others are ataraxia, bigshiny and I see a few more but I haven't checked out what they've had merged.
Discussion
Here is his GitHub account: