Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/PrithivirajDamodaran/Styleformer
A Neural Language Style Transfer framework to transfer natural language text smoothly between fine-grained language styles like formal/casual, active/passive, and many more. Created by Prithiviraj Damodaran. Open to pull requests and other forms of collaboration.
active formal-languages informal-sentences nlp passive slang style-transfer text-style text-style-transfer text-style-transfer-benchmark
Last synced: 22 Jun 2024
![](https://github.com/PrithivirajDamodaran.png)
https://github.com/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
Last synced: 30 May 2024
![](https://github.com/moonad.png)
https://github.com/choukh/Set-Theory
A formalization of the textbook Elements of Set Theory
coq formal-languages math set-theory theorem-proving
Last synced: 29 May 2024
![](https://github.com/choukh.png)
https://github.com/fizzbee-io/fizzbee
Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
alloy alloy-analyzer formal-languages formal-methods formal-verification ltl pluscal prism tla tla-plus tlaplus
Last synced: 14 May 2024
![](https://github.com/fizzbee-io.png)