PLDB Top 1K Features Creators Events Podcasts Books Extensions Interviews Blog Explorer CSV

Axio

< >

Axio is a programming language created in 2024 by Maksym Sokhatsky.

#2780on PLDB

1Years Old

Download source code:

git clone https://github.com/groupoid/axio

Homepage · Source Code

Formal runtime environment, high-level language system, and core libraries for programming, theorem proving, and formal philosophy.

Tags: programming language
Axio is developed on GitHub
Lisp and APL and Automath and Erlang and Agda influenced the design of Axio

PLDB - Build the next great programming language · Add · Add Prompt · Issues · About · Search · Keywords · Livestreams · Labs · Resources · Acknowledgements

Built with Scroll v178.2.1