A modern proof language
An implementation of the Formality language in JavaScript
Specification of the Formality proof and programming language
Moonad: a p2p academic journal, or a social network for code?
The augmented data of the paper "Parallel Data Augmentation for Formality Style Transfer" (ACL 2020).
Multi-Task Neural Models for Translating Between Styles Within and Across Languages
Code for "Semi-supervised Formality Style Transfer using Language Model Discriminator and Mutual Information Maximization"
Stylistic Variations in Distributional Vector Space Models
A language server protocol implementation and vscode plugin for the Formality programming language.
A simple Brainfuck interpreter written in Formality.
#自然语言处理#The Language Variant Tag (LVTag) format is a systematic approach to language classification that extends the BCP 47 standard using private-use subtags. It enables precise identification of language va...
#自然语言处理#This repo contains everything I used in the writing of my thesis as well as my master thesis itself. I hope you'll find what you need and that you will enjoy going through everything !