formality
Here are 20 public repositories matching this topic...
Language:All
Sort:Most stars
A modern proof language
- Updated
Jan 22, 2025 - Haskell
[outdated] A moddable MOBA in Formality
- Updated
Jan 7, 2023 - JavaScript
An implementation of the Formality language in JavaScript
- Updated
Aug 27, 2019 - JavaScript
Specification of the Formality proof and programming language
- Updated
Feb 5, 2023 - JavaScript
Moonad: a p2p academic journal, or a social network for code?
- Updated
Jan 6, 2023 - JavaScript
The augmented data of the paper "Parallel Data Augmentation for Formality Style Transfer" (ACL 2020).
- Updated
May 14, 2020
Multi-Task Neural Models for Translating Between Styles Within and Across Languages
- Updated
Nov 28, 2019 - Shell
Code for "Semi-supervised Formality Style Transfer using Language Model Discriminator and Mutual Information Maximization"
- Updated
Oct 4, 2020 - Python
Stylistic Variations in Distributional Vector Space Models
- Updated
Dec 5, 2017 - Python
- Updated
Apr 12, 2017 - R
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).
- Updated
Feb 19, 2024
A simple Brainfuck interpreter written in Formality.
- Updated
Jun 29, 2020
- Updated
Jun 9, 2023 - VHDL
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 !
- Updated
Dec 19, 2021 - Jupyter Notebook
Improve this page
Add a description, image, and links to theformality topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with theformality topic, visit your repo's landing page and select "manage topics."