Abstract Machines

Languages and software tools to think clearly.

Work with Us

Hi, I'm Leandro. I started Abstract Machines to build languages and tools to help developers think more clearly. We're also open for short contracts, code reviews, and coaching in the fields of web, data, and knowledge engineering. Especially interested in helping you out with type-driven design.

Feel free to schedule a chat with me.

If you'd like to support our Open Source work, you can sponsor us on Github

If you'd like to be kept up to date with our work, you can follow @leostera on Twitter.