isabelle-tum
|
2021_1-1 |
1 |
0.00
|
A generic proof assistant. It allows mathematical formulas to be expressed in a formal language and provides tools for proving those formulas in a logical calculus. Release mirror: TUM. |
MW360
|
2021-12-13 23:15 (UTC) |
linux-command-gpt-git
|
v0.1.2.r0.g952eee1-2 |
2 |
0.00
|
Get Linux commands in natural language with the power of ChatGPT |
Zeioth
|
2023-03-19 19:00 (UTC) |
linux-command-gpt
|
0.2.1-1 |
2 |
0.00
|
Get Linux commands in natural language with the power of ChatGPT |
Zeioth
|
2024-02-11 17:36 (UTC) |
libcollectc-git
|
r616.2302fff-3 |
1 |
0.00
|
Collections C provides generic data structures for the C programming language. |
ewout
|
2023-04-24 10:49 (UTC) |
python-open-clip-torch
|
2.24.0-1 |
1 |
0.00
|
Open source implementation of OpenAI's CLIP (Contrastive Language-Image Pre-training). |
alhirzel
|
2024-01-17 17:32 (UTC) |
komodo-ide
|
12.0.1_91869-1 |
5 |
0.00
|
Code smarter and faster with the leading IDE for today's major web languages, including Python, PHP, Node.js, Perl, Go and Ruby. - XUL based |
max-k
|
2020-11-09 08:08 (UTC) |
thunderbird-beta-i18n-af
|
123.0b5-1 |
3 |
0.00
|
Afrikaans language pack for Thunderbird Beta |
yurikoles
|
2024-02-14 09:22 (UTC) |
thunderbird-beta-i18n-ar
|
123.0b5-1 |
3 |
0.00
|
Arabic language pack for Thunderbird Beta |
yurikoles
|
2024-02-14 09:22 (UTC) |
thunderbird-beta-i18n-ast
|
123.0b5-1 |
3 |
0.00
|
Asturian language pack for Thunderbird Beta |
yurikoles
|
2024-02-14 09:22 (UTC) |
thunderbird-beta-i18n-be
|
123.0b5-1 |
3 |
0.00
|
Belarusian language pack for Thunderbird Beta |
yurikoles
|
2024-02-14 09:22 (UTC) |
thunderbird-beta-i18n-bg
|
123.0b5-1 |
3 |
0.00
|
Bulgarian language pack for Thunderbird Beta |
yurikoles
|
2024-02-14 09:22 (UTC) |
thunderbird-beta-i18n-br
|
123.0b5-1 |
3 |
0.00
|
Breton language pack for Thunderbird Beta |
yurikoles
|
2024-02-14 09:22 (UTC) |
thunderbird-beta-i18n-ca
|
123.0b5-1 |
3 |
0.00
|
Catalan language pack for Thunderbird Beta |
yurikoles
|
2024-02-14 09:22 (UTC) |
thunderbird-beta-i18n-cak
|
123.0b5-1 |
3 |
0.00
|
Kaqchikel language pack for Thunderbird Beta |
yurikoles
|
2024-02-14 09:22 (UTC) |
thunderbird-beta-i18n-cs
|
123.0b5-1 |
3 |
0.00
|
Czech language pack for Thunderbird Beta |
yurikoles
|
2024-02-14 09:22 (UTC) |
thunderbird-beta-i18n-cy
|
123.0b5-1 |
3 |
0.00
|
Welsh language pack for Thunderbird Beta |
yurikoles
|
2024-02-14 09:22 (UTC) |
thunderbird-beta-i18n-da
|
123.0b5-1 |
3 |
0.00
|
Danish language pack for Thunderbird Beta |
yurikoles
|
2024-02-14 09:22 (UTC) |
thunderbird-beta-i18n-de
|
123.0b5-1 |
3 |
0.00
|
German language pack for Thunderbird Beta |
yurikoles
|
2024-02-14 09:22 (UTC) |
thunderbird-beta-i18n-dsb
|
123.0b5-1 |
3 |
0.00
|
Sorbian, Lower language pack for Thunderbird Beta |
yurikoles
|
2024-02-14 09:22 (UTC) |
thunderbird-beta-i18n-el
|
123.0b5-1 |
3 |
0.00
|
Greek language pack for Thunderbird Beta |
yurikoles
|
2024-02-14 09:22 (UTC) |
thunderbird-beta-i18n-en-ca
|
123.0b5-1 |
3 |
0.00
|
English (Canada) language pack for Thunderbird Beta |
yurikoles
|
2024-02-14 09:22 (UTC) |
thunderbird-beta-i18n-en-gb
|
123.0b5-1 |
3 |
0.00
|
English (Great Britain) language pack for Thunderbird Beta |
yurikoles
|
2024-02-14 09:22 (UTC) |
thunderbird-beta-i18n-en-us
|
123.0b5-1 |
3 |
0.00
|
English language pack for Thunderbird Beta |
yurikoles
|
2024-02-14 09:22 (UTC) |
thunderbird-beta-i18n-es-ar
|
123.0b5-1 |
3 |
0.00
|
Spanish (Argentina) language pack for Thunderbird Beta |
yurikoles
|
2024-02-14 09:22 (UTC) |
thunderbird-beta-i18n-es-es
|
123.0b5-1 |
3 |
0.00
|
Spanish (Spain) language pack for Thunderbird Beta |
yurikoles
|
2024-02-14 09:22 (UTC) |
thunderbird-beta-i18n-es-mx
|
123.0b5-1 |
3 |
0.00
|
Spanish (Mexico) language pack for Thunderbird Beta |
yurikoles
|
2024-02-14 09:22 (UTC) |
thunderbird-beta-i18n-et
|
123.0b5-1 |
3 |
0.00
|
Estonian language pack for Thunderbird Beta |
yurikoles
|
2024-02-14 09:22 (UTC) |
thunderbird-beta-i18n-eu
|
123.0b5-1 |
3 |
0.00
|
Basque language pack for Thunderbird Beta |
yurikoles
|
2024-02-14 09:22 (UTC) |
thunderbird-beta-i18n-fi
|
123.0b5-1 |
3 |
0.00
|
Finnish language pack for Thunderbird Beta |
yurikoles
|
2024-02-14 09:22 (UTC) |
thunderbird-beta-i18n-fr
|
123.0b5-1 |
3 |
0.00
|
French language pack for Thunderbird Beta |
yurikoles
|
2024-02-14 09:22 (UTC) |
thunderbird-beta-i18n-fy-nl
|
123.0b5-1 |
3 |
0.00
|
Frisian language pack for Thunderbird Beta |
yurikoles
|
2024-02-14 09:22 (UTC) |
thunderbird-beta-i18n-ga-ie
|
123.0b5-1 |
3 |
0.00
|
Irish language pack for Thunderbird Beta |
yurikoles
|
2024-02-14 09:22 (UTC) |
thunderbird-beta-i18n-gd
|
123.0b5-1 |
3 |
0.00
|
Gaelic, Scottish language pack for Thunderbird Beta |
yurikoles
|
2024-02-14 09:22 (UTC) |
thunderbird-beta-i18n-gl
|
123.0b5-1 |
3 |
0.00
|
Galician language pack for Thunderbird Beta |
yurikoles
|
2024-02-14 09:22 (UTC) |
thunderbird-beta-i18n-he
|
123.0b5-1 |
3 |
0.00
|
Hebrew language pack for Thunderbird Beta |
yurikoles
|
2024-02-14 09:22 (UTC) |
thunderbird-beta-i18n-hr
|
123.0b5-1 |
3 |
0.00
|
Croatian language pack for Thunderbird Beta |
yurikoles
|
2024-02-14 09:22 (UTC) |
thunderbird-beta-i18n-hsb
|
123.0b5-1 |
3 |
0.00
|
Sorbian, Upper language pack for Thunderbird Beta |
yurikoles
|
2024-02-14 09:22 (UTC) |
thunderbird-beta-i18n-hu
|
123.0b5-1 |
3 |
0.00
|
Hungarian language pack for Thunderbird Beta |
yurikoles
|
2024-02-14 09:22 (UTC) |
thunderbird-beta-i18n-hy-am
|
123.0b5-1 |
3 |
0.00
|
Armenian language pack for Thunderbird Beta |
yurikoles
|
2024-02-14 09:22 (UTC) |
thunderbird-beta-i18n-id
|
123.0b5-1 |
3 |
0.00
|
Indonesian language pack for Thunderbird Beta |
yurikoles
|
2024-02-14 09:22 (UTC) |
thunderbird-beta-i18n-is
|
123.0b5-1 |
3 |
0.00
|
Icelandic language pack for Thunderbird Beta |
yurikoles
|
2024-02-14 09:22 (UTC) |
thunderbird-beta-i18n-it
|
123.0b5-1 |
3 |
0.00
|
Italian language pack for Thunderbird Beta |
yurikoles
|
2024-02-14 09:22 (UTC) |
thunderbird-beta-i18n-ja
|
123.0b5-1 |
3 |
0.00
|
Japanese language pack for Thunderbird Beta |
yurikoles
|
2024-02-14 09:22 (UTC) |
thunderbird-beta-i18n-ka
|
123.0b5-1 |
3 |
0.00
|
Georgian language pack for Thunderbird Beta |
yurikoles
|
2024-02-14 09:22 (UTC) |
thunderbird-beta-i18n-kab
|
123.0b5-1 |
3 |
0.00
|
Kabyle language pack for Thunderbird Beta |
yurikoles
|
2024-02-14 09:22 (UTC) |
thunderbird-beta-i18n-kk
|
123.0b5-1 |
3 |
0.00
|
Kazakh language pack for Thunderbird Beta |
yurikoles
|
2024-02-14 09:22 (UTC) |
thunderbird-beta-i18n-ko
|
123.0b5-1 |
3 |
0.00
|
Korean language pack for Thunderbird Beta |
yurikoles
|
2024-02-14 09:22 (UTC) |
thunderbird-beta-i18n-lt
|
123.0b5-1 |
3 |
0.00
|
Lithuanian language pack for Thunderbird Beta |
yurikoles
|
2024-02-14 09:22 (UTC) |
thunderbird-beta-i18n-lv
|
123.0b5-1 |
3 |
0.00
|
Latvian language pack for Thunderbird Beta |
yurikoles
|
2024-02-14 09:22 (UTC) |
thunderbird-beta-i18n-ms
|
123.0b5-1 |
3 |
0.00
|
Malay language pack for Thunderbird Beta |
yurikoles
|
2024-02-14 09:22 (UTC) |