TeXmacs (editors/TeXmacs) Add to my watchlist

GNU TeXmacs: A Scientific Text Editor

GNU TeXmacs is a free scientific text editor, which was both inspired by TeX and GNU Emacs. The editor allows you to write structured documents via a wysiwyg (what-you-see-is-what-you-get) and user friendly interface. New styles may be created by the user. The program implements high-quality typesetting algorithms and TeX fonts, which help you to produce professionally looking documents. The high typesetting quality still goes through for automatically generated formulas, which makes TeXmacs suitable as an interface for computer algebra systems. TeXmacs also supports the Guile/Scheme extension language, so that you may customize the interface and write your own extensions to the editor.

Version: 1.99.2 License: GPL-3+ GitHub
Reset

79 build(s) found
Builder Build Number Start Time Elapsed Time Watcher Build Status
15.arm64 12157 2025-03-10 13:00:38 0:03:26 5624 failed install-port
15 13764 2024-10-14 17:00:22 0:05:09 1486 failed install-port
13 77992 2024-09-04 6:34:24 0:21:25 25209 failed install-port
12 117855 2024-09-03 9:19:32 0:19:26 39466 failed install-port
11 166153 2024-09-03 6:56:55 0:14:34 50561 failed install-port
14 47407 2024-09-03 6:54:32 0:21:35 13414 failed install-port
10.15 195159 2024-09-03 5:28:32 0:11:59 60637 failed install-port
10.14 218104 2024-09-03 3:03:56 0:22:54 71569 failed install-port
10.13 243953 2024-09-03 2:42:47 0:16:55 80899 failed install-port
10.11 275729 2024-09-03 0:48:32 0:30:57 90086 failed install-port
10.8 189606 2024-09-03 0:43:24 0:20:18 60389 failed install-port
10.9 289248 2024-09-02 23:54:49 0:17:04 89596 failed install-port
10.12 285127 2024-09-02 23:34:41 0:18:46 88798 failed install-port
10.7 203276 2024-09-02 23:27:48 0:20:16 62336 failed install-port
10.10 281897 2024-09-02 23:22:04 0:18:51 89924 failed install-port
10.6 179704 2024-09-02 21:21:23 0:00:59 62584 failed install-dependencies
10.6.x86_64 215537 2024-09-02 21:10:48 0:00:43 62628 failed install-dependencies
14 21509 2023-12-26 8:31:04 0:33:40 3520 failed install-port
13 14001 2023-01-11 15:04:24 0:16:59 1897 failed install-port
10.6 101397 2022-12-30 23:46:25 0:00:45 38984 failed install-dependencies
10.6.x86_64 136253 2022-12-30 18:55:51 0:00:40 39014 failed install-dependencies
10.8 116637 2022-12-30 11:34:52 0:01:19 36803 failed install-port
10.7 127290 2022-12-30 10:41:43 0:00:45 38759 failed install-port
10.6 69576 2022-05-16 4:42:03 0:00:52 30872 failed install-dependencies
10.6.x86_64 103887 2022-05-16 4:42:01 0:16:21 30839 failed install-port
10.14 116450 2022-01-23 14:59:05 0:19:44 36301 failed install-port
12 18928 2022-01-23 13:51:32 0:18:32 3888 failed install-port
10.11 171046 2022-01-22 22:11:43 0:19:28 54635 failed install-port
10.13 139930 2022-01-22 22:06:33 0:15:18 45531 failed install-port
11 62044 2022-01-22 21:43:20 0:21:05 15178 failed install-port
10.15 88978 2022-01-22 20:42:00 0:20:36 25299 failed install-port
10.8 78004 2022-01-22 20:31:41 0:22:12 24997 failed install-port
12.arm64 40544 2022-01-22 19:30:43 0:05:09 3944 failed install-port
10.10 172300 2022-01-22 18:43:01 0:22:27 54524 failed install-port
10.9 177051 2022-01-22 18:10:37 0:18:43 54216 failed install-port
10.12 175704 2022-01-22 17:17:12 0:16:15 53446 failed install-port
10.7 86465 2022-01-22 16:34:40 0:01:24 26940 failed install-dependencies
10.6.x86_64 90476 2022-01-22 15:01:21 0:01:56 27083 failed install-dependencies
11.arm64 44727 2022-01-22 14:48:20 0:05:30 15118 failed install-port
10.6 56267 2022-01-22 14:45:30 0:01:43 27122 failed install-dependencies
12 14343 2022-01-14 22:55:17 0:19:02 3475 failed install-port
12.arm64 26769 2021-11-24 0:37:49 0:07:43 1515 failed install-port
10.11 143404 2021-06-07 4:38:47 0:39:52 46269 failed install-port
10.15 60007 2021-06-07 2:40:40 0:47:45 16917 failed install-port
11 33139 2021-06-07 1:31:58 0:32:09 6724 failed install-port
10.14 88639 2021-06-07 0:24:56 0:33:43 27921 failed install-port
10.13 112978 2021-06-06 23:36:40 0:29:22 37214 failed install-port
10.9 149030 2021-06-06 21:49:15 0:35:48 46015 failed install-port
10.8 48722 2021-06-06 20:39:15 0:22:47 16595 failed install-port
10.12 148493 2021-06-06 19:08:54 0:24:56 45261 failed install-port
10.10 144924 2021-06-06 19:08:33 0:27:00 46335 failed install-port
10.7 55153 2021-06-06 18:41:50 0:29:00 18734 failed install-port
10.6.x86_64 58712 2021-06-06 17:32:03 0:30:14 18695 failed install-port
10.6 32882 2021-06-06 14:45:19 0:36:26 18726 failed install-port
11.arm64 21983 2021-06-06 12:15:41 0:07:28 6899 failed install-port
11.arm64 13632 2021-03-18 2:04:21 0:09:45 3829 failed install-port
10.12 122196 2020-07-12 1:58:37 0:13:56 34692 failed install-port
10.6 14675 2020-07-07 11:56:38 0:22:04 8137 failed install-port
10.14 62922 2020-07-06 6:30:19 0:19:22 17378 failed install-port
10.11 117121 2020-07-06 4:36:01 0:19:19 35695 failed install-port
10.13 87030 2020-07-05 23:58:57 0:15:21 26650 failed install-port
10.10 118738 2020-07-05 22:33:48 0:15:46 35753 failed install-port
10.15 33695 2020-07-05 21:32:14 0:15:03 6931 failed install-port
10.7 25939 2020-07-05 20:57:11 0:17:23 8131 failed install-port
10.8 21031 2020-07-05 20:49:13 0:17:41 5999 failed install-port
10.9 122232 2020-07-05 17:24:54 0:12:23 35704 failed install-port
10.6.x86_64 29751 2020-07-05 16:57:51 0:16:27 8144 failed install-port
10.15 18918 2020-01-04 5:18:38 0:16:39 1828 failed install-port
10.6 3776 2019-11-19 9:34:15 0:21:24 1560 failed install-port
10.15 4162 2019-11-15 4:41:22 0:16:15 364 failed install-port
10.6.x86_64 7757 2019-11-13 18:37:03 0:16:13 1561 failed install-port
10.8 6974 2019-11-12 8:52:15 0:13:32 1620 failed install-port
10.7 7954 2019-11-10 23:50:55 0:12:37 1558 failed install-port
10.11 100919 2019-11-07 17:41:25 0:16:21 29180 failed install-port
10.13 70600 2019-11-07 13:41:48 0:17:03 20139 failed install-port
10.14 45245 2019-11-07 12:25:19 0:18:06 10859 failed install-port
10.10 102143 2019-11-07 9:56:54 0:14:23 29222 failed install-port
10.12 105678 2019-11-07 2:38:17 0:16:47 28163 failed install-port
10.9 104945 2019-11-06 20:15:42 0:14:51 29170 failed install-port