formality

There are 3 repositories under formality topic.

Kind
HigherOrderCO / Kind
A next-gen functional language
dependent-types formality functional-programming lambda-calculus moonad proof-language proof-languages theorem-prover type-theory
Language:Rust 3425
TaelinArena
moonad / TaelinArena
[outdated] A moddable MOBA in Formality
game-development game functional-programming formality moba taelin
Language:JavaScript 96
Formality-JavaScript
moonad-archive / Formality-JavaScript
An implementation of the Formality language in JavaScript
formality inets interaction-nets javascript lambda-calculus moonad
Language:JavaScript 72
Soonad / Formality-Core
Specification of the Formality proof and programming language
formality funcional-programming lambda-calculus programming-language type-system
Language:JavaScript 37
Moonad
moonad / Moonad
Moonad: a p2p academic journal, or a social network for code?
moonad formality formal-verification formal-languages academic-journals functional-programming game-development
Language:JavaScript 27
Soonad / Formality-C
An implementation of the Formality language in C
formality inet interaction-nets c
Language:C 13
lancopku / Augmented_Data_for_FST
The augmented data of the paper "Parallel Data Augmentation for Formality Style Transfer" (ACL 2020).
augmented-data formality informal-sentences sentence-pair
12
xingniu / multitask-ft-fsmt
Multi-Task Neural Models for Translating Between Styles Within and Across Languages
style-transfer machine-translation multitask-learning formality neural-machine-translation
Language:Shell 10
SALT-NLP / FormalityStyleTransfer
Code for "Semi-supervised Formality Style Transfer using Language Model Discriminator and Mutual Information Maximization"
styletransfer languagemodel semi-supervised-learning mutual-information textgeneration formality
Language:Python 8
xingniu / computational-stylistic-variations
Stylistic Variations in Distributional Vector Space Models
stylistic-variation formality vector-space-model
Language:Python 6
g-guimaraes / formality-loader
Formality language loader for webpack
formality webpack
Language:JavaScript 5
simonhorlick / kind-vscode
A language server protocol implementation and vscode plugin for the Formality programming language.
formality vscode
Language:TypeScript 3
trinker / formality
r formality text-mining text-measure
Language:R 3
Eloitor / Brainfuck-in-Formality
A simple Brainfuck interpreter written in Formality.
brainfuck formality interpreter
1
Pritam-Sethuraman / USB-Core
cadence-conformal design-vision formal-verification formality synopsys vhdl equivalence-checker
Language:VHDL 1
QSJDAMTX / chinese-vocabulary-of-register
chinsese vocabulary of register
chinese formality machine-learning register wordlist
0
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 !
science-communication formality youtube transcript transcription transcript-analysis natural-language-processing
Language:Jupyter Notebook 0
bearddan2000 / formality-cli-hello-world
A POC for formality programming language.
cli formality hello icon node world
Language:Shell
codealltag / CodEAlltag
German-language emails with formality scores
emails formality
codealltag / CodEAlltag_formality_scores
Formality scores for German-language emails
emails formality