6 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer Last Updated
eigenmath-git r2768.cc92936-1 0 0.00 Symbolic math app AronYoung 2024-01-08 09:48 (UTC)
form-bin 4.3.1-1 0 0.00 The FORM project for symbolic manipulation of very big expressions AronYoung 2023-06-23 13:24 (UTC)
uppaal 5.0.0-3 0 0.00 Verify timed automata models and learn strategies. falkecarlsen 2024-03-07 09:19 (UTC)
form 4.3.1-1 4 0.00 Symbolic Manipulation System developed at Nikhef. zenAmp 2023-11-07 09:27 (UTC)
qgraf 3.6.7-2 3 0.02 Feynman diagram generator for various types of QFT models zenAmp 2024-05-31 08:41 (UTC)
symlinks 1.4.3-3 47 0.88 Scan and change symbolic links kbabioch 2017-10-29 14:12 (UTC)

6 packages found. Page 1 of 1.