Both sides previous revision
Previous revision
Next revision
|
Previous revision
|
start [2013/08/01 17:37] admin |
start [2022/01/03 16:12] (current) |
**Welcome to SciOS Scientific Operating Systems GmbH** | **Welcome to SciOS Scientific Operating Systems GmbH** |
a privately held research, development and consulting company located near Gachnang, Switzerland. | a research, development and consulting company located near Gachnang, Switzerland. |
| |
\\ | \\ |
| |
| {{:logo2.png}} |
| |
== NEWS == | == NEWS == |
Latest releases: \\ | - [[https://aisys.ch/hub/login | JupyterHub (temp. out of service)]] (Request credentials by Contract-IDX) \\ |
- SciOS [[xsi_clips | XSI/CLIPS]] V 2.0.3 [ST-100MB] (Rel. 02-MAR-2012)((Recompilation only, no changes, [[http://www.scios.ch/authorize/index.php|download]])) \\ | - Node.js v11.6, SOCKET.IO 2.0 (enables real-time, bidirectional and event-based communication for XSI+.) \\ |
- SciOS [[xsi_plus | XSI+]] V 2.0.3 (Win32, Rel. 02-MAR-2012) \\ | - [[http://xps.scios.ch/inet/| CLIPS/COOL BPG]] \\ |
- XSI/CLIPS [[xsi_env_dll | ENV-DLL]] V 2.4 (Rel. 07-JAN-2013), NEW:MinGW/MSYS version\\ | - Test online (BPG above): [[http://edu.scios.ch/clips_js/]] \\ |
- XSI 2.1 (Rel. 21-JUL-2013) (needs PostgreSQL 9.2.4) | - 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+). \\ |
\\ | \\ |
- Axiom plugin suite 1.1 for WikidPad, IPython Qt/Nb, TeXmacs, WAX. \\ | |
- Python Power Shell [wx], Rel. 10-JUL-2012 \\ | |
\\ | \\ |
The following tools (min versions) are compatible with XSI 2.1: \\ \\ | ''Python 3'' on Android tablets [[py34a_howto|howto]]. Required for XSI4A. \\ |
- [[http://www.texmacs.org/tmweb/download/windows.en.html|TeXmacs 1.0.7.18]]\\ | \\ |
- [[http://ipython.org/|IPython 0.13.2 or 1.0dev]] \\ | Latest releases: \\ |
- [[http://root.cern.ch/drupal/content/production-release-53400|ROOT 5.34.09]]\\ | - SciOS [[xsi_clips | XSI/CLIPS]] V 2.6.5 [ST-100MB] (Rel. 01-JAN-2022), [[http://www.scios.ch/authorize/index.php|download]])) \\ |
- [[http://coq.inria.fr/coq-84|Coq 8.4]]\\ | - 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) |
\\ | \\ |
- [[https://code.google.com/p/pure-lang/|Pure V0.57]] (NEW:for L-term rewriting) \\ | The following tools (min versions) are compatible with XSI+ 2.8.5+: \\ \\ |
- [[http://yacas.sourceforge.net/backups/yacas-1.3.3.tar.gz| Yacas 1.3.3]] \\ | - [[http://www.texmacs.org/tmweb/download/windows.en.html|TeXmacs 1.99.5]]\\ |
- [[http://fricas.sourceforge.net/download.html| Fricas 1.2.1 (incl. cygwin)]] \\ | - [[http://www.sphinx-doc.org/en/stable/|Sphinx 1.8.+]]\\ |
- [[http://www.paraview.org/| ParaView 4.0.1]] \\ | - [[http://jupyter.org/|Jupyter 4.3 (xsi kernel)]] \\ |
- [[http://www.sagemath.org/| Sage 5.10]], Windows users pls see [[http://wiki.sagemath.org/SageAppliance]] | - [[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!!)\\ |
\\ | \\ |
[[news|older news ...]] | - [[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]] |
\\ | \\ |
Use hg.scios.ch for up-to-date sources. \\ | \\ |
| [[news|archived news ...]] |
\\ | \\ |
To **contact** us, please use this [[contact_form|form]] | To **contact** us, please use this [[contact_form|form]] |