iamrecursion user
Compilers, type-theory, runtimes, formal verification, cryptography. Audio mixing, mastering and music. Skiing, parkour, martial arts and sailing.
Ara Adkins · Amsterdam, NL · CTO & CFO @tactile-metrology · 338 followers · 46 stars · 22 repositories · joined May 2023
Past Sponsorships
blacksmithgu
Sponsoring 1 user · View all on GitHub
Last synced 2 days ago · View JSON representation