Why3gospel
A Why3 plugin able to read and translate Gospel specifications, in view of refinement proofs of Why3 programs.
| Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
|---|---|---|---|---|---|---|---|---|---|---|
| Translationplugin | 10,620 | 3 months ago | 52 | mit | Kotlin | |||||
| Translation plugin for IntelliJ based IDEs/Android Studio. | ||||||||||
| Zotero Pdf Translate | 5,297 | 3 months ago | 14 | agpl-3.0 | TypeScript | |||||
| Translate PDF, EPub, webpage, metadata, annotations, notes to the target language. Support 20+ translate services. | ||||||||||
| Shadowsocks Manager | 4,091 |  | 2 | 7 months ago | 6 | April 14, 2017 | 11 | gpl-3.0 | JavaScript | |
| A shadowsocks manager tool for multi user and traffic control. | ||||||||||
| Ectranslation | 1,842 | 2 years ago | 52 | Java | ||||||
| Android Studio Plugin,Translate English to Chinese. Android Studio 翻译插件,可以将英文翻译为中文. | ||||||||||
| Androidlocalizationer | 775 | 8 years ago | 31 | apache-2.0 | Java | |||||
| This is a Android Studio/ IntelliJ IDEA plugin to localize your Android app, translate your string resources automactically. | ||||||||||
| Kcptun Android | 548 | a year ago | 7 | gpl-3.0 | Shell | |||||
| kcptun for Android. | ||||||||||
| Simple Obfs Android | 416 | a year ago | 1 | gpl-3.0 | C | |||||
| A simple obfuscating tool for Android | ||||||||||
| V2ray Plugin Android | 315 | 4 years ago | 8 | gpl-3.0 | Kotlin | |||||
| A SIP003 V2ray plugin on Android | ||||||||||
| Http Loader | 185 | 1 | 2 years ago | 1 | October 19, 2018 | 46 | mit | TypeScript | ||
| A loader for ngx-translate that loads translations with http calls | ||||||||||
| Transloco Keys Manager | 167 |  | 3 | 9 months ago | 67 | August 13, 2023 | 33 | mit | TypeScript | |
| 🦄 The Key to a Better Translation Experience | ||||||||||
Alternatives To Why3gospelSelect To Compare
Alternative Project Comparisons
Popular Translate Projects
Popular Plugin Projects
Popular Text Processing Categories
Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Plugin
Ocaml
Translate