Topic Hub
#formal-languages (2 Repositories)
Ranked open-source repositories tagged with #formal-languages, scored by pull request acceptance likelihood and maintainer engagement velocity.
Topic Avg Merge Rate
44.4%
Avg Review Latency
0.0h
Filter by language
2 repositories tagged #formal-languages
B TierGo 345
fizzbee-io/fizzbee
Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
88.9%
Merge Rate
-
First Review
0%
1st-Timers
0
Maintainers
D TierPython 496
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.
0.0%
Merge Rate
-
First Review
0%
1st-Timers
0
Maintainers