Here are
12 public repositories
matching this topic...
An efficient proof language
-
Updated
Aug 9, 2020
-
JavaScript
An implementation of the Formality language in JavaScript
-
Updated
Aug 27, 2019
-
JavaScript
A moddable MOBA in Formality
-
Updated
Jul 19, 2020
-
JavaScript
Specification of the Formality proof and programming language
-
Updated
Jul 5, 2020
-
JavaScript
An implementation of the Formality language in C
Multi-Task Neural Models for Translating Between Styles Within and Across Languages
-
Updated
Nov 28, 2019
-
Shell
Stylistic Variations in Distributional Vector Space Models
-
Updated
Dec 5, 2017
-
Python
Formality language loader for webpack
-
Updated
Aug 1, 2020
-
JavaScript
Moonad: a p2p academic journal, or a social network for code?
-
Updated
Aug 10, 2020
-
JavaScript
Practicing functional programming with a game in Formality
A simple Brainfuck interpreter written in Formality.
Improve this page
Add a description, image, and links to the
formality
topic page so that developers can more easily learn about it.
Curate this topic
Add this topic to your repo
To associate your repository with the
formality
topic, visit your repo's landing page and select "manage topics."
Learn more
You can’t perform that action at this time.
You signed in with another tab or window. Reload to refresh your session.
You signed out in another tab or window. Reload to refresh your session.