1. Home
  2. ilgrad

Ilgrad's Projects

ilgrad/fricas

FriCAS is an advanced computer algebra system, is a fork (2007) of the Axiom computer algebra system. See for more info: https://fricas.github.io/ https://github.com/fricas Fricas documentation: https://fricas.sourceforge.net/doc/index.html Documentation Axiom: http://www.axiom-developer.org/axiom-website/documentation.html This builds with latex and emacs. We also can add support Aldor language. Aldor: https://www.aldor.org/ https://github.com/aldorlang/aldor https://fricas.github.io/install.html#aldor-optional JupyterLab support: https://pypi.org/project/jfricas/ https://jfricas.readthedocs.io/en/latest/
  • Fedora 40 : aarch64, x86_64
  • Fedora 41 : aarch64, x86_64
  • Fedora 42 : aarch64, x86_64
  • Fedora rawhide : aarch64, x86_64

ilgrad/maxima

Actual builds of the computer algebra system Maxima and its associated components. See for more info: https://maxima.sourceforge.io https://sourceforge.net/projects/maxima/ https://wxmaxima-developers.github.io/wxmaxima/ https://www.sbcl.org/ JupyterLab support: https://github.com/robert-dodier/maxima-jupyter If you find an error in working with Maxima, you can find a solution here or report the bug yourself: https://sourceforge.net/p/maxima/bugs/ For using additional libraries you need creatre .maxima folder in $HOME and add files libraries here.
  • Fedora 40 : aarch64, x86_64
  • Fedora 41 : aarch64, x86_64
  • Fedora 42 : aarch64, x86_64
  • Fedora rawhide : aarch64, x86_64

News - Read All

Task Queue

0 Build Batches 0 Importing 0 Pending 0 Starting 21 Running

Recent Builds - View All

wezterm-nightly

Project: wezfurlong/wezterm-nightly

Build: 8743109

State: succeeded

Finished: 3 minutes ago

fuse-overlayfs

Project: loise/NoldenOS-10-AppStream

Build: 8743122

State: succeeded

Finished: 4 minutes ago

cockpit

Project: packit/cockpit-project-cockpit-21678

Build: 8743120

State: succeeded

Finished: 7 minutes ago

cosmic-files

Project: ryanabx/cosmic-epoch

Build: 8743065

State: succeeded

Finished: 8 minutes ago