A modern proof language

[outdated] A moddable MOBA in Formality

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?

An implementation of the Formality language in C

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

Formality language loader for webpack

This project provides a comprehensive dataset containing the formality degrees of 25,500 words from the Chinese Proficiency Grading Standards for International Chinese Language Education and the List of Common Words in Compulsory Education (Draft, primary list).

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

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 varieties across multiple dimensions including formality, politeness, domain, and orthography.

German-language emails with formality scores

A simple Brainfuck interpreter written in Formality.

Record and verify tamper-proof SHA-256 proof chains for AI decisions via MCP, SDK, or REST API, with JSON-LD export for audits

Formality scores for German-language emails