PLDB Top 1,000 Features Creators Events Podcasts Extensions Interviews Blog Explorer CSV

formality

< >

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

#1856on 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 · About · Resources · Acknowledgements · Part of the World Wide Scroll