news
Free and Open Source Software
-
ClassQuiz - interactive classroom quiz platform
ClassQuiz offers several question types beyond conventional multiple-choice questions. These allow educators to test factual knowledge, ask participants to arrange information in sequence or collect opinions without awarding points.
The software can be used through the project’s hosted service or operated on a privately managed server. It is suitable for classroom teaching, remote learning and other interactive educational activities.
This is free and open source software.
SnapPy - Study the Topology and Geometry of 3-Manifolds
The application is based on the SnapPea computational kernel originally developed by Jeff Weeks. It provides a Python interface for constructing manifolds, performing geometric calculations and examining topological properties. Its graphical tools make it possible to visualise structures that would otherwise be difficult to understand through numerical results alone.
SnapPy is designed primarily for researchers and advanced students working in geometric topology, knot theory and hyperbolic geometry. It can be used independently or alongside SageMath for more extensive symbolic and numerical investigations.
This is free and open source software.
MeowPDF - PDF viewer for the Kitty terminal
Its interface is especially appealing to users who prefer Vim-style keyboard controls while retaining familiar interactions such as clicking hyperlinks and scrolling with a mouse wheel.
MeowPDF uses MuPDF for document rendering and provides extensive configuration options for controlling its appearance and behaviour. Settings are stored in a TOML configuration file.
This is free and open source software.
ACRN - Type 1 hypervisor for embedded and real-time systems
ACRN uses a modular architecture consisting of the hypervisor, a Linux-based Service VM and an associated Device Model. The Service VM manages hardware resources and provides device-sharing services to other virtual machines.
The architecture supports dedicated resource partitioning alongside conventional virtualisation, providing flexibility when consolidating applications that would otherwise require separate physical systems.
This is free and open source software.