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) |
libunwind-carbon
|
1.6.2-1 |
3 |
0.00
|
Portable and efficient C programming interface (API) to determine the call-chain of a program (enabled C++ exception support for Carbon language) |
muttleyxd
|
2022-07-20 16:45 (UTC) |
scala_2.12
|
2.12.19-1 |
1 |
0.00
|
A Java-interoperable language with object-oriented and functional features. This is the maintenance version of Scala 2.12. |
Musikolo
|
2024-02-27 04:14 (UTC) |
python-pyarabic
|
0.6.16-2 |
0 |
0.00
|
Arabic language library for Python |
munzirtaha
|
2024-01-30 15:55 (UTC) |
php80
|
8.0.30-1 |
15 |
0.00
|
PHP. A general-purpose scripting language that is especially suited to web development |
muhviehstarr
|
2023-11-23 15:15 (UTC) |
palemoon-i18n-zh-tw
|
32.5.0-1 |
1 |
0.00
|
Chinese (Traditional) language pack for Pale Moon browser |
Muflone
|
2023-11-06 00:28 (UTC) |
palemoon-i18n-zh-cn
|
32.5.0-1 |
1 |
0.00
|
Chinese (Simplified) language pack for Pale Moon browser |
Muflone
|
2023-11-06 00:27 (UTC) |
palemoon-i18n-uk
|
32.5.0-1 |
1 |
0.00
|
Ukrainian language pack for Pale Moon browser |
Muflone
|
2023-11-06 00:26 (UTC) |
palemoon-i18n-tr
|
32.5.0-1 |
1 |
0.00
|
Turkish language pack for Pale Moon browser |
Muflone
|
2023-11-06 00:24 (UTC) |
palemoon-i18n-tl
|
32.5.0-1 |
1 |
0.00
|
Filipino (Tagalog) language pack for Pale Moon browser |
Muflone
|
2023-11-06 00:23 (UTC) |
palemoon-i18n-th
|
32.5.0-1 |
1 |
0.00
|
Thai language pack for Pale Moon browser |
Muflone
|
2023-11-06 00:22 (UTC) |
palemoon-i18n-sv-se
|
32.5.0-1 |
1 |
0.00
|
Swedish (Sweden) language pack for Pale Moon browser |
Muflone
|
2023-11-06 00:21 (UTC) |
palemoon-i18n-sr
|
32.5.0-1 |
1 |
0.00
|
Serbian language pack for Pale Moon browser |
Muflone
|
2023-11-06 00:20 (UTC) |
palemoon-i18n-sl
|
32.5.0-1 |
1 |
0.00
|
Slovenian language pack for Pale Moon browser |
Muflone
|
2023-11-06 00:18 (UTC) |
palemoon-i18n-sk
|
32.5.0-1 |
1 |
0.00
|
Slovak language pack for Pale Moon browser |
Muflone
|
2023-11-06 00:17 (UTC) |
palemoon-i18n-ru
|
32.5.0-1 |
4 |
0.00
|
Russian language pack for Pale Moon browser |
Muflone
|
2023-11-06 00:16 (UTC) |
palemoon-i18n-ro
|
32.5.0-1 |
1 |
0.00
|
Romanian language pack for Pale Moon browser |
Muflone
|
2023-11-06 00:15 (UTC) |
palemoon-i18n-pt-pt
|
32.5.0-1 |
1 |
0.00
|
Portuguese (Portugal) language pack for Pale Moon browser |
Muflone
|
2023-11-06 00:14 (UTC) |
palemoon-i18n-pt-br
|
32.5.0-1 |
2 |
0.00
|
Portuguese (Brazil) language pack for Pale Moon browser |
Muflone
|
2023-11-06 00:11 (UTC) |
palemoon-i18n-pl
|
32.5.0-1 |
1 |
0.00
|
Polish language pack for Pale Moon browser |
Muflone
|
2023-11-06 00:07 (UTC) |
palemoon-i18n-nl
|
32.5.0-1 |
1 |
0.00
|
Dutch (Netherlands) language pack for Pale Moon browser |
Muflone
|
2023-11-06 00:06 (UTC) |
palemoon-i18n-ko
|
32.5.0-1 |
1 |
0.00
|
Korean language pack for Pale Moon browser |
Muflone
|
2023-11-06 00:04 (UTC) |
palemoon-i18n-ja
|
32.5.0-1 |
1 |
0.00
|
Japanese language pack for Pale Moon browser |
Muflone
|
2023-11-06 00:02 (UTC) |
palemoon-i18n-it
|
32.5.0-1 |
2 |
0.00
|
Italian language pack for Pale Moon browser |
Muflone
|
2023-11-06 00:00 (UTC) |
palemoon-i18n-is
|
32.5.0-1 |
1 |
0.00
|
Icelandic language pack for Pale Moon browser |
Muflone
|
2023-11-05 23:51 (UTC) |
palemoon-i18n-id
|
32.5.0-1 |
1 |
0.00
|
Indonesian language pack for Pale Moon browser |
Muflone
|
2023-11-05 23:50 (UTC) |
palemoon-i18n-hu
|
32.5.0-1 |
1 |
0.00
|
Hungarian language pack for Pale Moon browser |
Muflone
|
2023-11-05 23:48 (UTC) |
palemoon-i18n-hr
|
32.5.0-1 |
1 |
0.00
|
Croatian language pack for Pale Moon browser |
Muflone
|
2023-11-05 23:46 (UTC) |
palemoon-i18n-gl
|
32.5.0-1 |
1 |
0.00
|
Galician language pack for Pale Moon browser |
Muflone
|
2023-11-05 23:44 (UTC) |
palemoon-i18n-fr
|
32.5.0-1 |
1 |
0.00
|
French language pack for Pale Moon browser |
Muflone
|
2023-11-05 23:42 (UTC) |
palemoon-i18n-fi
|
32.5.0-1 |
1 |
0.00
|
Finnish language pack for Pale Moon browser |
Muflone
|
2023-11-05 23:41 (UTC) |
palemoon-i18n-es-mx
|
32.5.0-1 |
1 |
0.00
|
Spanish (Mexico) language pack for Pale Moon browser |
Muflone
|
2023-11-05 23:40 (UTC) |
palemoon-i18n-es-es
|
32.5.0-1 |
3 |
0.00
|
Spanish (Spain) language pack for Pale Moon browser |
Muflone
|
2023-11-05 23:38 (UTC) |
palemoon-i18n-es-ar
|
32.5.0-1 |
1 |
0.00
|
Spanish (Argentina) language pack for Pale Moon browser |
Muflone
|
2023-11-05 23:37 (UTC) |
palemoon-i18n-en-gb
|
32.5.0-1 |
2 |
0.00
|
English (United Kingdom) language pack for Pale Moon browser |
Muflone
|
2023-11-05 23:36 (UTC) |
palemoon-i18n-el
|
32.5.0-1 |
1 |
0.00
|
Greek language pack for Pale Moon browser |
Muflone
|
2023-11-05 23:34 (UTC) |
palemoon-i18n-de
|
32.5.0-1 |
5 |
0.00
|
German language pack for Pale Moon browser |
Muflone
|
2023-11-05 23:33 (UTC) |
palemoon-i18n-da
|
32.5.0-1 |
1 |
0.00
|
Danish language pack for Pale Moon browser |
Muflone
|
2023-11-05 23:31 (UTC) |
palemoon-i18n-cs
|
32.5.0-1 |
2 |
0.00
|
Czech language pack for Pale Moon browser |
Muflone
|
2023-11-05 23:23 (UTC) |
palemoon-i18n-common
|
29.2.0-1 |
8 |
0.00
|
Common data for Pale Moon language packs |
Muflone
|
2021-06-27 20:49 (UTC) |
palemoon-i18n-bg
|
32.5.0-1 |
1 |
0.00
|
Bulgarian language pack for Pale Moon browser |
Muflone
|
2023-11-05 23:22 (UTC) |
palemoon-i18n-ar
|
32.5.0-1 |
1 |
0.00
|
Arabic language pack for Pale Moon browser |
Muflone
|
2023-11-06 00:36 (UTC) |
gtransmemory-git
|
0.4.0-1 |
1 |
0.00
|
GTK+ application to manage words and sentences translations in many memories for each language. |
Muflone
|
2022-10-01 22:16 (UTC) |
gtransmemory
|
0.4.0-1 |
1 |
0.00
|
GTK+ application to manage words and sentences translations in many memories for each language. |
Muflone
|
2022-10-01 22:09 (UTC) |
php-yaml
|
2.2.3-1 |
4 |
0.00
|
Support for YAML 1.1 (YAML Ain't Markup Language) serialization using the LibYAML library. |
mtorromeo
|
2023-05-06 10:10 (UTC) |
attercop
|
0.3.4-1 |
0 |
0.00
|
Command generations in the shell with natural language |
msnidal
|
2023-01-16 22:03 (UTC) |
snakemake7
|
7.32.4-1 |
0 |
0.00
|
Python-based language and execution environment for GNU Make-like workflows |
mschu
|
2024-01-15 14:46 (UTC) |
snakemake
|
8.10.8-1 |
8 |
0.00
|
Python-based language and execution environment for GNU Make-like workflows |
mschu
|
2024-04-19 09:59 (UTC) |
libsedml
|
2.0.31-1 |
0 |
0.00
|
Simulation Experiment Description - Markup Language |
mschu
|
2022-04-25 13:53 (UTC) |
libsbml
|
5.20.2-1 |
5 |
0.00
|
XML-based description language for computational models in systems biology |
mschu
|
2023-10-23 19:39 (UTC) |