formality

moonad/TaelinArena

[outdated] A moddable MOBA in Formality

moonad-archive/Formality-JavaScript

An implementation of the Formality language in JavaScript

Soonad/Formality-Core

Specification of the Formality proof and programming language

moonad/Moonad

Moonad: a p2p academic journal, or a social network for code?

Soonad/Formality-C

An implementation of the Formality language in C

lancopku/Augmented_Data_for_FST

The augmented data of the paper "Parallel Data Augmentation for Formality Style Transfer" (ACL 2020).

xingniu/multitask-ft-fsmt

Multi-Task Neural Models for Translating Between Styles Within and Across Languages

SALT-NLP/FormalityStyleTransfer

Code for "Semi-supervised Formality Style Transfer using Language Model Discriminator and Mutual Information Maximization"

xingniu/computational-stylistic-variations

Stylistic Variations in Distributional Vector Space Models

g-guimaraes/formality-loader

Formality language loader for webpack

simonhorlick/kind-vscode

A language server protocol implementation and vscode plugin for the Formality programming language.

trinker/formality

QSJDAMTX/chinese-vocabulary-of-register

chinsese vocabulary of register

Eloitor/Brainfuck-in-Formality

A simple Brainfuck interpreter written in Formality.

Pritam-Sethuraman/USB-Core

thegerb96/thesis

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 !

bearddan2000/formality-cli-hello-world

A POC for formality programming language.

codealltag/CodEAlltag

German-language emails with formality scores

codealltag/CodEAlltag_formality_scores

Formality scores for German-language emails