iamrecursion
Compilers, type-theory, runtimes, formal verification, cryptography. Mixing, mastering and music. Skiing, parkour, martial arts.
- Name: Ara Adkins
- Location: Denver, CO, USA
- Company: CTO & CFO @tactile-metrology, Principal Engineer @reilabs
- Kind: user
- Followers: 315
- Following: 36
- Total stars: 42
- Repositories count: 19
- Created at: 2023-05-05T15:38:41.441Z
- Updated at: 2025-03-26T05:02:25.329Z
- Last synced at: 2025-03-26T05:02:25.329Z
Past Sponsorships
View AllSponsorship Breakdown by Kind
- User: 1