At iCIS, many courses use software tools in education (a specific programming language or environment) and education administration (e.g., Brightspace API).
| Name | Software's home page | Teacher(s) | Course(s) | Maintenance | Comments |
|---|---|---|---|---|---|
| Clean | https://clean-lang.org | Peter Achten | Advanced Programming (NWI-I00032) | BSD-2 | students have to program in Clean |
| SaC (Single-Assignment C) tool chain | https://www.sac-home.org | Sven-Bodo Scholz | Advanced Programming (NWI-I00032) | external software tool | students have to program in SaC |
| SageMath in JupyterHub | https://www.sagemath.org/ | Simona Samardjiska | Cryptoglogy (NWI-IMC063) | CnCZ (SageMath: mathematics software, GPL) | students have the option to use Sage; direct link to JupyterHub |
| Coq on Proofweb | https://coq.inria.fr | Engelbert Hubbers | Logic and Applications (NWI-IPI004) | Proofweb: Kasper Brink; Coq: Inria | Students have to do a part of their homework on these ten servers. A direct link to one of them is https://proofweb7.cs.ru.nl. Note that the servers are only available from within the RU network. |
| Sowiso | https://www.sowiso.com | Engelbert Hubbers | Mathematical Structures (NWI-IPC020) | Sowiso | Students have to do a part of their homework on this platform. A direct link is https://ru.sowiso.nl. |
| DuckDB | https://duckdb.org/ | Djoerd Hiemstra | Information Modelling and Databases (NWI-IPC033) | https://duckdb.org/docs/installation/ | Students use DuckDB for home work assignments. They download DuckDB to their machine. |