Goodbye, JavaScript: Formality is now implemented in itself
An efficient proof language. Contribute to moonad/Formality development by creating an account on GitHub. (more…)
Read more »
Useful JS libraries I’m using in my web projects, some are famous, some should be. None are framework oriented, you can use it with React, Angular, Vue, JQuery etc. Read more