Translates JML specifications into SMT-LIB format and passes the proof problems implied by the program to backend solvers. (GPL-2.0-only)
openjml.org
Results for “Slate”
16 tools found
LibreTranslate
libretranslate.com
Codeberg Translate
translate.codeberg.org
Command-line translator using Google Translate, Bing Translator, Yandex.Translate, etc.
soimort.org
ScreenTranslateCapture any area or select text to translate instantly, fully on-device. [![Open-Source Software][OSS Icon]](https://github.com/hcmhcs/screenTranslate) ![Freeware][Freeware Icon]
screentranslate.filient.ai
Translate in Safari and any app on macOS between 103 languages.
gikken.co
Translation app for text and web pages in multiple languages. ![Freeware][Freeware Icon]
itranslate.com
Translates TOML into a Go type in the browser instantly.
xuri.me
Traduction
consent.google.co.uk
Dépôt GitHub: LibreTranslate par LibreTranslate
github.com
Plugins audio vintage
slatedigital.com
Analyses et opinions
slate.fr
Traducteur Google gratuit
translate.google.com
Traducteur
translate.yandex.com
Traducteur
microsoft.com
Traducteur
consent.google.fr