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

formality

< >

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

#1911on PLDB

5Years Old

Download source code:

git clone https://github.com/moonad/formality-base

Homepage · Source Code

Standard library for the Formality language

Tags: programming language
formality is developed on GitHub and has 18 stars
Early development of formality happened in https://github.com/Soonad

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

Built with Scroll v164.7.0