An efficient proof language
-
Updated
Jun 18, 2020 - JavaScript
#
formality
Here are 11 public repositories matching this topic...
An implementation of the Formality language in JavaScript
-
Updated
Aug 27, 2019 - JavaScript
A moddable MOBA in Formality
-
Updated
Jun 7, 2020 - JavaScript
Specification of the Formality proof and programming language
-
Updated
May 20, 2020 - JavaScript
An implementation of the Formality language in C
-
Updated
Oct 12, 2019 - 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
-
Updated
Apr 12, 2017 - R
Practicing functional programming with a game in Formality
-
Updated
Feb 19, 2020
A simple Brainfuck interpreter written in Formality.
-
Updated
Jan 2, 2020
Improve this page
Add a description, image, and links to the formality topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the formality topic, visit your repo's landing page and select "manage topics."