👋 I'm Ara
I'm Ara Adkins, a compiler and runtime developer, type-theorist, and low-level hacker, currently working @enso-org on a new programming language. I'm passionate about UX, performance, and enabling better 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.
💻 Projects
I'm currently working on many things, across a variety of technologies, but the public ones are listed below:
- Enso Engine: Hybrid visual and textual functional programming, employing advanced type system and runtime features.
- Enso IDE: An IDE to support using Enso, providing a high-performance and intuitive GUI for interacting with your programs.
- Enso Rust Libraries: The Rust libraries that we use for developing Enso and its IDE.
- Recursion Music: Mixing and mastering in a custom-built studio.