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
HomepageSource Code

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


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

Built with Scroll v178.2.1