I'mAra Adkins, a compiler and runtime developer, type-theorist, andlow-level hacker, currently experimenting with new ideas in programminglanguages. I'm passionate about UX, performance, and enabling better and safersoftware through type systems. In my spare time, I run a mixing and masteringstudio in the music industry, and love to ski, sail, and practice parkour andmartial arts.

Listed below are a few of the major projects that I am or have been involvedwith 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-typedsystems.
• 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 canbe.
• Enso Engine: Hybrid visual and textualfunctional programming, employing runtime features to provide insight intouser data at any level.
• Recursion Music: Mixing and mastering in acustom-built studio.

PinnedLoading

1. tctiSH/tctiSHtctiSH/tctiSHPublic

   An iSH-alike based on the TCTI pseudo-JIT

   Swift 45

2. enso-org/ensoenso-org/ensoPublic

   Enso Analytics is a self-service data prep and analysis platform designed for data teams.

   Scala 7.4k 327

3. oracle/graaloracle/graalPublic

   GraalVM compiles Java applications into native executables that start instantly, scale fast, and use fewer compute resources 🚀

   Java 20.7k 1.7k

4. scala/scala3scala/scala3Public

   The Scala 3 compiler, also known as Dotty.

   Scala 6k 1.1k