7 results found Sort:

PrithivirajDamodaran
Styleformer PrithivirajDamodaran
63
476
apache-2.0
17
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 Dam...
nlp slang active passive text-style style-transfer formal-languages informal-sentences text-style-transfer text-style-transfer-benchmark
Created 2021-06-12
23 commits to main branch, last one about a year ago
fizzbee-io
fizzbee fizzbee-io
8
156
apache-2.0
5
Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
ltl tla alloy prism pluscal tlaplus tla-plus alloy-analyzer formal-methods formal-languages formal-verification
Created 2024-03-26
96 commits to main branch, last one 8 days ago
gmh14
data_efficient_grammar gmh14
24
93
mit
2
[ICLR 2022] Data-Efficient Graph Grammar Learning for Molecular Generation
graph-learning formal-languages grammar-learning molecule-generation graph-neural-networks efficient-deep-learning symbolic-representation
Created 2022-01-22
28 commits to main branch, last one about a year ago
automatarium
automatarium automatarium
8
68
mit
3
A place for automata
jflap react automata turing-machine formal-languages
Created 2022-03-03
1,579 commits to dev branch, last one 2 months ago
ysyesilyurt
Metu-CENG ysyesilyurt
10
65
mit
3
All the homeworks, studies and projects I've done at Metu-CENG
c cpp java metu opengl prolog python haskell metu-ceng coursework networking logic-design embedded-systems formal-languages computer-graphics computer-security operating-systems signal-processing computer-organization programming-languages
Created 2019-01-30
32 commits to master branch, last one 2 years ago
choukh
Set-Theory choukh
4
59
mit
2
A formalization of the textbook Elements of Set Theory
coq math set-theory theorem-proving formal-languages
Created 2020-05-08
200 commits to master branch, last one 3 years ago
Aunsiels
pyformlang Aunsiels
10
45
mit
4
A python library to manipulate formal languages and various automata
regex python automata python-library language-theory formal-languages indexed-grammars regular-languages push-down-automata regular-expression context-free-grammar context-free-language finite-state-automata finite-state-transducer
Created 2019-01-08
323 commits to master branch, last one 16 days ago