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

formality

< >

formality is a programming language created in 2019 by Victor Maia.

#1898on PLDB 5Years Old
Download source code:
git clone https://github.com/moonad/formality-base
HomepageSource Code

Standard library for the Formality language


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

Built with Scroll v144.0.0