Verification framework and tool for higher-order Scala programs. https://gitlab.epfl.ch/lara/stainless
π§ Utility library for GraphQL to build, stitch and mock GraphQL schemas in the SDL-first approach
XC_VM - open, transparent, and community-first. IPTV backend tools with integrated runtime environment.
This is a read only mirror of this GitLab repository https://gitlab.com/tuxedocomputers/development/packages/tuxedo-drivers. For contributions and bug reports please head over to GitLab.
Catch API bugs before your users do
Non official builds of MKVToolnix with QT5 for Windows 7 compatibility
Downloads streams directly from Qobuz. Experimental refactoring of QobuzDownloaderX by AiiR
This package is a plugin for Terraform, and is designed to be used to auto-provision sites and configurations in the Cato Management Application (CMA) via API from the terraform cli/yaml configurations.
Grafana data source plugin for querying AWS OpenSearch and Elasticsearch clusters
Notifuse is an open-source & modern emailing platform
OpenEverest is an open-source platform for automated database provisioning and management. It supports multiple database technologies and can be hosted on any Kubernetes infrastructure, in the cloud or on-premises.
Python client implementation for qBittorrent's Web API
A Ruby static code analyzer and formatter, based on the community Ruby style guide.
Datasets for https://github.com/nextstrain/nextclade
A free Windows-compatible Operating System
Telegram Client API (MTProto) library written 100% in C# and .NET
Official React Component for Font Awesome Icons
Podkop's fork with advanced features, HWID and Subscription URL support
REST API wrapper for the Polymesh blockchain
TablePress is the most popular and highest-rated table plugin for WordPress. Create and embed attractive and interactive tables on your website!