|
|
start [2019/07/08 16:05] |
start [2022/01/03 16:12] (current) |
| **Welcome to SciOS Scientific Operating Systems GmbH** |
| a research, development and consulting company located near Gachnang, Switzerland. |
| |
| \\ |
| |
| {{:logo2.png}} |
| |
| == NEWS == |
| - [[https://aisys.ch/hub/login | JupyterHub (temp. out of service)]] (Request credentials by Contract-IDX) \\ |
| - Node.js v11.6, SOCKET.IO 2.0 (enables real-time, bidirectional and event-based communication for XSI+.) \\ |
| - [[http://xps.scios.ch/inet/| CLIPS/COOL BPG]] \\ |
| - Test online (BPG above): [[http://edu.scios.ch/clips_js/]] \\ |
| - Coq verified XSI/COOL code available (defclass/defmethod). \\ |
| - Docker XSI images [[https://hub.docker.com/account/login/|Login]] \\ |
| - TOPCASED/PolarSys [[http://www.topcased.org/|(topcased.org)]] \\ |
| - preview: [[https://www.polarsys.org/solutions/papyrus|Polarsys/Papyrus]] \\ |
| - NW.js v0.34.3 SDK, call modules directly from DOM ([[http://nwjs.io/|update]] to use with XSI 2.6+). \\ |
| \\ |
| \\ |
| ''Python 3'' on Android tablets [[py34a_howto|howto]]. Required for XSI4A. \\ |
| \\ |
| Latest releases: \\ |
| - SciOS [[xsi_clips | XSI/CLIPS]] V 2.6.5 [ST-100MB] (Rel. 01-JAN-2022), [[http://www.scios.ch/authorize/index.php|download]])) \\ |
| - SciOS [[xsi_plus | XSI+]] V 2.8.5 (Win32/64/Ux*/OpenVMS, Rel. 01-JAN-2022) \\ |
| - XSI/CLIPS [[xsi_env_dll | ENV-DLL]] V 2.8.5 (Rel. 01-JAN-2022), (MinGW/MSYS version)\\ |
| - XSI+ 2.8.5 (Rel. 01-JAN-2022) (requires PostgreSQL >= 12.1, recommended V 14.1) |
| \\ |
| The following tools (min versions) are compatible with XSI+ 2.8.5+: \\ \\ |
| - [[http://www.texmacs.org/tmweb/download/windows.en.html|TeXmacs 1.99.5]]\\ |
| - [[http://www.sphinx-doc.org/en/stable/|Sphinx 1.8.+]]\\ |
| - [[http://jupyter.org/|Jupyter 4.3 (xsi kernel)]] \\ |
| - [[http://root.cern.ch|ROOT 6.24/06]]\\ |
| - [[http://coq.inria.fr/coq-87|Coq 8.13.+]], (see xsi-grp-npl, alternative proof language removed!!)\\ |
| \\ |
| - [[https://agraef.github.io/pure-lang/| Pure language]], (term rewriting) :: Pure V0.68 \\ |
| - [[http://www.paraview.org/| ParaView 5.6+]] \\ |
| - [[http://www.sagemath.org/| Sage 9.+]], * Windows binary installer [[https://github.com/sagemath/sage-windows/releases]] |
| \\ |
| \\ |
| [[news|archived news ...]] |
| |
| \\ |
| To **contact** us, please use this [[contact_form|form]] |
| \\ |
| |
| |
| |