formality

There are 3 repositories under formality topic.

Kind
HigherOrderCO / Kind
A modern proof language
dependent-types formality functional-programming lambda-calculus moonad proof-language proof-languages theorem-prover type-theory
Language:Haskell 3576
TaelinArena
moonad / TaelinArena
[outdated] A moddable MOBA in Formality
game-development game functional-programming formality moba taelin
Language:JavaScript 98
Formality-JavaScript
moonad-archive / Formality-JavaScript
An implementation of the Formality language in JavaScript
moonad formality interaction-nets inets lambda-calculus javascript
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 40
Moonad
moonad / Moonad
Moonad: a p2p academic journal, or a social network for code?
academic-journals formal-languages formal-verification formality functional-programming game-development moonad
Language:JavaScript 28
Soonad / Formality-C
An implementation of the Formality language in C
c formality inet interaction-nets
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
formality stylistic-variation 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
formality r text-measure text-mining
Language:R 3
QSJDAMTX / chinese-vocabulary-of-register
chinsese vocabulary of register
chinese formality machine-learning register wordlist
2
Eloitor / Brainfuck-in-Formality
A simple Brainfuck interpreter written in Formality.
formality brainfuck interpreter
1
Pritam-Sethuraman / USB-Core
cadence-conformal design-vision equivalence-checker formal-verification formality synopsys vhdl
Language:VHDL 1
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