https://github.com/iamrecursion/iamrecursion
A profile readme for Ara Adkins
https://github.com/iamrecursion/iamrecursion
iamrecursion profile profile-readme readme
Last synced: about 1 year ago
JSON representation
A profile readme for Ara Adkins
- Host: GitHub
- URL: https://github.com/iamrecursion/iamrecursion
- Owner: iamrecursion
- Created: 2020-07-28T08:34:52.000Z (almost 6 years ago)
- Default Branch: main
- Last Pushed: 2024-08-04T21:39:38.000Z (almost 2 years ago)
- Last Synced: 2025-04-03T21:33:55.463Z (about 1 year ago)
- Topics: iamrecursion, profile, profile-readme, readme
- Language: Shell
- Homepage: https://github.com/iamrecursion
- Size: 573 KB
- Stars: 1
- Watchers: 0
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
### 👋 I'm Ara
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.
### 💻 Projects
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:**](https://github.com/enso-org/enso) Hybrid visual and textual
functional programming, employing runtime features to provide insight into
user data at any level.
- [**Recursion Music:**](https://iamrecursion.com) Mixing and mastering in a
custom-built studio.