I'm Ara Adkins, a compiler and runtime developer, type-theorist, and low-level hacker, currently experimenting with new ideas in programming languages. I'm passionate about UX, performance, and enabling better and safer software through type systems. In my spare time, I run a mixing and mastering studio in the music industry, and love to ski, sail, and practice parkour and martial arts.
Listed below are a few of the major projects that I am or have been involved with that I'm proud of. The public ones are linked.
- Lagrange: A dependently-typed programming language with dependent, polymorphic row types used to give it the flexibility of dynamically-typed systems.
- REPLive: A Swiss Army Knife of computation for your pocket or your wrist. This project aims to make computing on the go as easy and intuitive as it can be.
- Enso Engine: Hybrid visual and textual functional programming, employing runtime features to provide insight into user data at any level.
- Recursion Music: Mixing and mastering in a custom-built studio.