expreduce (math/expreduce) Updated: 1 year, 1 month ago Add to my watchlist

An experimental computer algebra system written in Go

Expreduce implements a language with specialized constructs for term rewriting. It is a neat language for a computer algebra system because it is able to express expression manipulation steps in a form very similar to standard math equations

Version: 0.5.1 License: MIT GitHub
Reset

25 build(s) found
Builder Build Number Start Time Elapsed Time Watcher Build Status
15 16804 2024-10-19 6:39:57 0:00:58 2220 build successful
10.9 285712 2024-07-30 13:25:36 0:01:44 88445 build successful
10.8 186155 2024-07-30 13:23:22 0:02:06 59238 build successful
10.7 199600 2024-07-30 13:20:41 0:01:50 61185 build successful
10.6 175578 2024-07-30 13:11:26 0:02:19 61429 failed install-port
10.6.x86_64 211349 2024-07-30 13:09:39 0:00:10 61473 failed install-dependencies
14.arm64 2349 2024-01-11 13:49:47 0:01:27 607 build successful
14 3165 2023-10-25 7:55:07 0:02:31 608 build successful
13 52777 2023-10-19 19:16:37 0:00:52 12871 build successful
12.arm64 109147 2023-10-17 6:11:35 0:00:59 27121 build successful
11.arm64 105787 2023-10-17 4:20:43 0:00:56 38312 build successful
10.11 238966 2023-10-17 2:59:31 0:00:52 77804 build successful
10.6 139664 2023-10-17 2:59:14 0:00:20 50335 failed install-dependencies
10.6.x86_64 175003 2023-10-17 2:59:03 0:00:15 50376 failed install-dependencies
11 130663 2023-10-17 2:58:53 0:01:11 38316 build successful
10.12 247729 2023-10-17 2:58:29 0:01:03 76597 build successful
10.14 183759 2023-10-17 2:58:19 0:01:08 59406 build successful
10.15 159504 2023-10-17 2:58:10 0:01:05 48394 build successful
10.8 151685 2023-10-17 2:57:47 0:00:15 48172 failed install-port
10.10 242873 2023-10-17 2:57:38 0:00:55 77692 build successful
10.13 208379 2023-10-17 2:57:29 0:01:12 68648 build successful
12 85236 2023-10-17 2:57:19 0:01:10 27112 build successful
10.9 249479 2023-10-17 2:57:08 0:00:13 77383 failed install-port
10.7 163657 2023-10-17 2:56:54 0:00:10 50115 failed install-port
13.arm64 38896 2023-10-17 2:56:41 0:01:15 12735 build successful