Explore projects

Formal proof management system

packages: coq coqide coq-doc

Native replacement for the Steam runtime using system libraries

packages: steam-native-runtime

An award-winning free and open-source video editor

packages: openshot

Libcall-ui carries common user interface parts for call handling

packages: libcall-ui

A collection of JavaScript tools written in Rust

packages: oxlint oxc-language-server

Free implementation of the Remote Desktop Protocol (RDP)

packages: freerdp2

Documentation generation from docbook

packages: kdoctools5

Static and runtime integration of SCXML models into Qt code

packages: qt5-scxml

Inter-process communication (IPC) module developed for Qt

packages: qt5-remoteobjects

Qt module and API for defining 3D content in Qt Quick

packages: qt5-quick3d

Provides access to Bluetooth hardware

packages: qt5-connectivity

Provides a set of easy to use chart components

packages: qt5-charts

Provides WebSocket communication compliant with RFC 6455

packages: qt5-websockets

Provides support for web applications using the Chromium browser project

packages: qt5-webengine

Provides access to QObject or QML objects from HTML clients for seamless integration of Qt applications with HTML/JavaScript clients

packages: qt5-webchannel

Proton VPN Python library

packages: python-proton-vpn-lib

stand-alone implementation of several NumPy dtype extensions used in machine learning

packages: python-ml_dtypes

Open source home automation that puts local control and privacy first

packages: home-assistant