# Attributes

name: description
value:
Four-band parametric equaliser, which has the nice property of being stable even while parameters are being changed


name: description
value:
Software for reviewing and exploring data produced by CPAP and related machines used in the treatment of sleep apnea


name: description
value:
Age plugin to encrypt files with fido2 tokens using the hmac-secret extension and non-discoverable credentials


name: description
value:
A more convenient version of `define-record-type`, inspired by Chicken's `defstruct`, including SRFI-17 setters


name: description
value:
Expands library declarations (`define-unprocessed-library` instead of `define-library`), and generates export statements for all the identifiers in .stub files


name: description
value:
Read and write delimited text files, compute descriptive statistics, and generate random variates in Chez Scheme.


name: description
value:
A portable and efficient R[4567]RS implementation of regular expressions, supporting both POSIX syntax with various (irregular) PCRE extensions, as well as SCSH's SRE syntax


name: description
value:
A space efficient integer set (iset) implementation, optimized for minimal space usage and fast membership lookup


name: description
value:
A Scheme take on the environment (reader) monad, focusing more on being efficient and convenient than pure


name: description
value:
A library used for parsing "scribble" format, introduced by Racket and the format used to write this manual


name: description
value:
A library of procedures for formatting Scheme objects to text in various ways, and for easily concatenating, composing and extending these formatters


name: description
value:
Preferential voting utilities to help come to reasonable decisions when there are more than 2 options


name: description
value:
A dataframe record type for Scheme (R6RS) with procedures to select, drop, and rename columns, and filter, sort, split, bind, append, join, reshape, and aggregate dataframes.


name: description
value:
A collection of functions for working with strings or text documents, including similarity measures, a stemmer and layout


name: description
value:
This package contains threaded-map, threaded-vector-map and such threaded functions for chez scheme.


name: description
value:
Picking up from the end of the Marathon trilogy, you find yourself suddenly ninety-four years in the future, in the year 2905


name: description
value:
Video-conferencing application, specialized in virtual online meetings, seminars, training sessions and conferences


name: description
value:
Convenient authentication method that lets you use your android device as a key for your Linux machine


name: description
value:
AltServer for AltStore, but on-device. Requires root privileges as well as running a custom anisette server currently


name: description
value:
Utility library for OpenAL, providing a C++ API and managing common tasks that include file loading, caching, and streaming


name: description
value:
Amazon ECR Docker Credential Helper is a credential helper for the Docker daemon that makes it easier to use Amazon Elastic Container Registry


name: description
value:
Low-level functional language for exploring refinement types, lifetime inference, and algebraic effects


name: description
value:
APPLgrid project provides a fast and flexible way to reproduce the results of full NLO calculations with any input parton distribution set in only a few milliseconds rather than the weeks normally required to gain adequate statistics


name: description
value:
Security and risk audit tool based on known vulnerabilities, advisories, and license limitations for project dependencies


name: description
value:
An open source facility for XBRL, the eXtensible Business Reporting
Language supporting various standards, exposed through a Python or
REST API and a graphical user interface


name: description
value:
A collection of commands used for creating, packaging, installing, and launching web apps for LG webOS TV.


name: description
value:
Argo CD plugin to retrieve secrets from Secret Management tools and inject them into Kubernetes secrets


name: description
value:
A cross-platform, open source port of Arx Fatalis, a 2002
first-person role-playing game / dungeon crawler
developed by Arkane Studios.


name: description
value:
Command-line tool for generating animated GIF files from asciicast v2 files produced by asciinema terminal recorder


name: description
value:
Avoid sending file attachments by uploading them via SSH to a remote site and sharing a publicly-accessible URL with non-guessable (hash-based) prefix instead


name: description
value:
Simple and easy to use Minecraft launcher which contains many different modpacks for you to choose from and play


name: description
value:
Replacement for a shell history which records additional commands context with optional encrypted synchronization between machines


name: description
value:
Command line interface for audible package. With the cli you can download your Audible books, cover, chapter files


name: description
value:
Linter and formatter for help you improve copywriting, to correct spaces, punctuations between CJK (Chinese, Japanese, Korean)


name: description
value:
Toolkit to automatically generate software components: abstract API, implementation stubs and language bindings


name: description
value:
Automatically convert your existing AutoScaling groups to up to 90% cheaper spot instances with minimal configuration changes


name: description
value:
Software for controlling RGB keyboard lights on some gaming laptops that use ITE Device(8291) Rev 0.03


name: description
value:
Support for managing Application Insights components and querying metrics, events, and logs from such components


name: description
value:
Gazelle is a Bazel build file generator for Bazel projects. It natively
supports Go and protobuf, and it may be extended to support new languages
and custom rule sets.


name: description
value:
Elliptic curve library supporting Ed448-Goldilocks and Curve25519. Belledonne Communications' fork for Linphone


name: description
value:
BeeBEEP is the free office messenger that is indispensable in all those places where privacy and security are an essential requirement


name: description
value:
Modern and easy to use SQL client for MySQL, Postgres, SQLite, SQL Server, and more. Linux, MacOS, and Windows


name: description
value:
Modern library implementing SIP (RFC 3261) transport, transaction and dialog layers. Part of the Linphone project


name: description
value:
Bundle of scripts for using Bio-Formats on the command line with bioformats_package.jar already included


name: description
value:
Like `go get` but for Go tools! CI Automating versioning of Go binaries in a nested, isolated Go modules


name: description
value:
Small HTTP server meant to provide an API defined by Barry O'Donovan's birds-eye to the BIRD internet routing daemon


name: description
value:
Dmenu/Rofi frontend for managing Bitwarden vaults. Uses the Bitwarden CLI tool to interact with the Bitwarden database


name: description
value:
SMT solver for fixed-size bit-vectors, floating-point arithmetic, arrays, and uninterpreted functions


name: description
value:
This is a small utility built on top of the black Python code formatter to enable formatting of partial files


name: description
value:
Supporting applications for Blackmagic Decklink. Doesn't include the desktop applications, only the helper required to make the driver work


name: description
value:
Basic Local Alignment Search Tool (BLAST) finds regions of
    similarity between biological sequences


name: description
value:
Open source tool for computing automorphism groups and canonical forms of graphs. It has both a command line user interface as well as C++ and C programming language APIs


name: description
value:
This is a perceptual image hash calculation tool based on algorithm
descibed in Block Mean Value Based Image Perceptual Hashing by Bian Yang,
Fan Gu and Xiamu Niu.


name: description
value:
Scala build server and command-line tool to make the compile and test developer workflows fast and productive in a build-tool-agnostic way


name: description
value:
Video, audio, and web conferencing that works together with the collaboration tools you use every day


name: description
value:
Golang linter to check whether HTTP response body is closed and a re-use of TCP connection is not blocked


name: description
value:
Free, multiplayer, arcade-style game for up to eight players that combines elements of fighting games and first-person shooters (FPS)


name: description
value:
Daemon (or service on Windows) that acts as a bridge between the Bricks/Bricklets and the API bindings for the different programming languages


name: description
value:
In-house serif typeface for the publishing house Brill, designed by John Hudson; free for non-commercial use


name: description
value:
Tools for interfacing with Broadlink RM2/3 (Pro) remote controls, A1 sensor platforms and SP2/3 smartplugs


name: description
value:
Open-source continuous integration framework for automating software build, test, and release processes


name: description
value:
Software package for mapping low-divergent sequences against a large reference genome, such as the human genome


name: description
value:
Next version of the bwa-mem algorithm in bwa, a software package for mapping low-divergent sequences against a large reference genome


name: description
value:
LLVM based tool for extracting definitions from C, C++, and Objective C header files for use with foreign function call interfaces


name: description
value:
Fork of the capitaine cursor theme, with some additional variants (Gruvbox, Nord, Palenight) and support for HiDPI


name: description
value:
Capability analysis CLI for Go packages that informs users of which privileged operations a given package can access


name: description
value:
Cardo is a large Unicode font specifically designed for the needs of classicists, Biblical scholars, medievalists, and linguists


name: description
value:
Part of the `crate_universe` collection of tools which use Cargo to generate build targets for Bazel


name: description
value:
Rust Cargo sub-command and libraries to extract and build localization resources to embed in your application/library


name: description
value:
List and diff the public API of Rust library crates between releases and commits. Detect breaking API changes and semver violations


name: description
value:
Build, cache, and run binaries scoped in Cargo.toml rather than installing globally. This acts similarly to npm run and gomodrun, and allows your teams to always be running the same tooling versions


name: description
value:
CLI tool that allow you to create a temporary new Rust project using cargo with already installed dependencies


name: description
value:
Tool to help projects ensure that third-party Rust dependencies have been audited by a trusted source


name: description
value:
Cargo subcommand "wipe": recursively finds and optionally wipes all "target" or "node_modules" folders


name: description
value:
CasADi is a symbolic framework for numeric optimization implementing automatic differentiation in forward and reverse modes on sparse matrix-valued computational graphs. It supports self-contained C-code generation and interfaces state-of-the-art codes such as SUNDIALS, IPOPT etc. It can be used from C++, Python or Matlab/Octave


name: description
value:
Monospaced font that includes programming ligatures and is designed to enhance the modern look and feel of the Windows Terminal


name: description
value:
Open-source hosting platform made for podcasters who want to engage and interact with their audience


name: description
value:
Graphical client for plain-text protocols written in Rust with GTK. It currently supports the Gemini, Gopher and Finger protocols


name: description
value:
Multiprocess audio converter that supports many formats (FLAC, MP3, Ogg Vorbis, Windows codecs and many more)


name: description
value:
Rapidly extract unformatted, or unstandardized bibliographic references from email alerts, journal Web pages and PDF files


name: description
value:
Creates CycloneDX Software Bill-of-Materials (SBOM) for your projects from source and container images


name: description
value:
Interactive theorem-prover and dependently typed programming language, based on extrinsic (aka Curry-style) type theory


name: description
value:
Library and CLI tool to enumerate and abuse misconfigurations in Active Directory Certificate Services


name: description
value:
Codeforces CLI (Submit, Parse, Test, etc.). Support Contests, Gym, Groups, acmsguru, Windows, macOS, Linux, 7 MB


name: description
value:
Open-source tool for auditing your software supply chain stack for security compliance based on a new CIS Software Supply Chain benchmark


name: description
value:
Chef Infra Client is a powerful agent that applies your configurations on remote Linux, macOS, Windows and cloud-based systems


name: description
value:
A wrapper for libnova a 'general purpose, double precision, Celestial Mechanics, Astrometry and Astrodynamics library.'


name: description
value:
MT19937 random number generator with Marsaglia and Tang's Ziggurat algorithm to generate random numbers from a non-uniform distribution.


name: description
value:
Run SQLite queries asynchronously in pthreads.  Supports calling Scheme from SQLite's VFS to supply database block storage.


name: description
value:
This library describes a JavaScript Object Notation (JSON) parser and printer. It supports JSON that may be bigger than memory.


name: description
value:
Parsing and formatting of tabular text data such as comma- and delimiter-separated values (CSV and DSV).


name: description
value:
Document viewer capable of displaying multiple and single page
document formats like PDF and Postscript


name: description
value:
Command to enable you to reproduce the CircleCI environment locally and
run jobs as if they were running on the hosted CirleCI application.


name: description
value:
C library for Javascript Object Signing and Encryption. This is a maintained fork of the original project


name: description
value:
SMTP filter that allows to check for viruses using the ClamAV
                   anti-virus software


name: description
value:
Lightweight, custom Minecraft Classic/ClassiCube client with optional additions written from scratch in C


name: description
value:
Set of HEP-specific foundation and utility classes such as random generators, physics vectors, geometry and linear algebra


name: description
value:
CliFM is a CLI-based, shell-like, and non-curses terminal file manager written in C: simple, fast, extensible, and lightweight as hell


name: description
value:
Pluggable transport that enhances traditional proxy tools like OpenVPN to evade sophisticated censorship and data discrimination


name: description
value:
Canon InkJet printer drivers for the iP5400, MP520, MP210, MP140, iP3500, and MP610 series.  (MP520 drivers also work for MX700.)


name: description
value:
Canon InkJet printer drivers for the MG2400 MG2500 MG3500 MG5500 MG6400 MG6500 MG7100 and P200 series


name: description
value:
Folding text editor, designed to hierarchically structure any kind of text file and especially source code


name: description
value:
A CLI tool that converts your codebase into a single LLM prompt with a source tree, prompt templating, and token counting


name: description
value:
Live code in Pandoc Markdown.

Codebraid is a Python program that enables executable code in Pandoc
Markdown documents. Using Codebraid can be as simple as adding a class to
your code blocks' attributes, and then running codebraid rather than
pandoc to convert your document from Markdown to another format.
codebraid supports almost all of pandoc's options and passes them to
pandoc internally.

Codebraid provides two options for executing code. It includes a built-in
code execution system that currently supports Python 3.5+, Julia, Rust,
R, Bash, and JavaScript. Code can also be executed using Jupyter kernels,
with support for rich output like plots.


name: description
value:
Detects the individual coffee grounds in a white-background picture to determine particle size distribution


name: description
value:
System service to manage, install and generate color profiles to accurately color manage input and output devices


name: description
value:
Package comprising of implementations of algorithms for
    vertex coloring and derivative computation


name: description
value:
Allows manipulation of ar, cpio, Unix dump, tar, zip, gzip, XZ, Pack200, bzip2, 7z, arj, lzma, snappy, DEFLATE and Z files


name: description
value:
Apache Commons Daemon software is a set of utilities and Java support classes for running Java applications as server processes


name: description
value:
Makes it easy to add robust, high-performance, file upload capability to your servlets and web applications


name: description
value:
Stylesheet Authoring Environment that makes your website design simpler to implement and easier to maintain


name: description
value:
CLI tool to check whether a specific composer package uses imported symbols that aren't part of its direct composer dependencies


name: description
value:
Accelerate Complex C++ Applications on Heterogeneous Compute Systems using Open Standards (wrapper script)


name: description
value:
ROS-independent package for logging that seamlessly pipes into rosconsole/rosout for ROS-dependent packages


name: description
value:
The Container Structure Tests provide a powerful framework to validate the structure of a container image.


name: description
value:
CoLoR is a library of formal mathematical definitions and proofs of theorems on rewriting theory and termination whose correctness has been mechanically checked by the Coq proof assistant


name: description
value:
Tactics for simplifying the proofs of inequalities on expressions of real numbers for the Coq proof assistant


name: description
value:
Code and wrapper to extract Ethereum blockchain functionalities without network/consensus, for building custom blockchain services


name: description
value:
Render wave files into oscilloscope views, featuring advanced correlation-based triggering algorithm


name: description
value:
Database that uses JSON for documents, JavaScript for MapReduce queries, and regular HTTP for an API


name: description
value:
Emulates an old-style "code page 437" / "IBM-PC" character
set terminal on a modern UTF-8 terminal emulator


name: description
value:
Common C++ classes and routines used by @Martchus' applications featuring argument parser, IO and conversion utilities


name: description
value:
C++ Connectivity library that supports MySQL, PostgreSQL, Sqlite3 databases and generic ODBC drivers


name: description
value:
Python application that forms a wrapper around the standard Linux filesystem calls, to make using the cpusets facilities in the Linux kernel easier


name: description
value:
Manage a local OpenShift 4.x cluster, Microshift or a Podman VM optimized for testing and development purposes


name: description
value:
Simple and lightweight translator that allows to translate and speak text using Google, Yandex and Bing


name: description
value:
Sound design, audio synthesis, and signal processing system, providing facilities for music composition and performance on all major operating systems and platforms


name: description
value:
Enables common unix utilities like cut, awk, wc, head to work correctly with csv data containing delimiters and newlines


name: description
value:
CXX Core Compute Libraries. By downloading and using the packages you accept the terms and conditions of the CUDA EULA


name: description
value:
CUDA compat L4T. By downloading and using the packages you accept the terms and conditions of the CUDA EULA


name: description
value:
CUDA Runtime (cudart). By downloading and using the packages you accept the terms and conditions of the CUDA EULA


name: description
value:
cuobjdump. By downloading and using the packages you accept the terms and conditions of the CUDA EULA


name: description
value:
CUDA cuxxfilt (demangler). By downloading and using the packages you accept the terms and conditions of the CUDA EULA


name: description
value:
CUDA Demo Suite. By downloading and using the packages you accept the terms and conditions of the CUDA EULA


name: description
value:
CUDA Documentation. By downloading and using the packages you accept the terms and conditions of the CUDA EULA


name: description
value:
CUDA GDB. By downloading and using the packages you accept the terms and conditions of the CUDA EULA


name: description
value:
Nsight Eclipse Edition Plugin. By downloading and using the packages you accept the terms and conditions of the CUDA EULA


name: description
value:
CUDA NVCC. By downloading and using the packages you accept the terms and conditions of the CUDA EULA


name: description
value:
CUDA nvdisasm. By downloading and using the packages you accept the terms and conditions of the CUDA EULA


name: description
value:
CUDA NVML Headers. By downloading and using the packages you accept the terms and conditions of the CUDA EULA


name: description
value:
CUDA nvprof. By downloading and using the packages you accept the terms and conditions of the CUDA EULA


name: description
value:
CUDA nvprune. By downloading and using the packages you accept the terms and conditions of the CUDA EULA


name: description
value:
CUDA NVRTC. By downloading and using the packages you accept the terms and conditions of the CUDA EULA


name: description
value:
CUDA NVTX. By downloading and using the packages you accept the terms and conditions of the CUDA EULA


name: description
value:
CUDA NVVP. By downloading and using the packages you accept the terms and conditions of the CUDA EULA


name: description
value:
CUDA OpenCL. By downloading and using the packages you accept the terms and conditions of the CUDA EULA


name: description
value:
CUDA Profiler API. By downloading and using the packages you accept the terms and conditions of the CUDA EULA


name: description
value:
CUDA Compute Sanitizer API. By downloading and using the packages you accept the terms and conditions of the CUDA EULA


name: description
value:
Deprecated runfile-based CUDAToolkit installation (a compiler for NVIDIA GPUs, math libraries, and tools)


name: description
value:
NVIDIA CUDA Deep Neural Network library (cuDNN). By downloading and using the packages you accept the terms and conditions of the cuDNN EULA


name: description
value:
NVIDIA Fabric Manager. By downloading and using the packages you accept the terms and conditions of the CUDA EULA


name: description
value:
CUDA cuBLAS. By downloading and using the packages you accept the terms and conditions of the CUDA EULA


name: description
value:
CUDA cuFFT. By downloading and using the packages you accept the terms and conditions of the CUDA EULA


name: description
value:
CUDA cuFile. By downloading and using the packages you accept the terms and conditions of the CUDA EULA


name: description
value:
CUDA cuRAND. By downloading and using the packages you accept the terms and conditions of the CUDA EULA


name: description
value:
CUDA cuSOLVER. By downloading and using the packages you accept the terms and conditions of the CUDA EULA


name: description
value:
CUDA cuSPARSE. By downloading and using the packages you accept the terms and conditions of the CUDA EULA


name: description
value:
CUDA NPP. By downloading and using the packages you accept the terms and conditions of the CUDA EULA


name: description
value:
NVIDIA compiler library for fatbin interaction. By downloading and using the packages you accept the terms and conditions of the CUDA EULA


name: description
value:
NVIDIA NSCQ API. By downloading and using the packages you accept the terms and conditions of the CUDA EULA


name: description
value:
NVIDIA compiler library for JIT LTO functionality. By downloading and using the packages you accept the terms and conditions of the CUDA EULA


name: description
value:
CUDA nvJPEG. By downloading and using the packages you accept the terms and conditions of the CUDA EULA


name: description
value:
Nsight Compute. By downloading and using the packages you accept the terms and conditions of the CUDA EULA


name: description
value:
Nsight Systems. By downloading and using the packages you accept the terms and conditions of the CUDA EULA


name: description
value:
Nsight Visual Studio Edition (VSE). By downloading and using the packages you accept the terms and conditions of the CUDA EULA


name: description
value:
NVIDIA Linux Driver. By downloading and using the packages you accept the terms and conditions of the CUDA EULA


name: description
value:
NVIDIA filesystem. By downloading and using the packages you accept the terms and conditions of the CUDA EULA


name: description
value:
TensorRT: a high-performance deep learning interface. By downloading and using the packages you accept the terms and conditions of the unfree


name: description
value:
CUDA Visual Studio Integration. By downloading and using the packages you accept the terms and conditions of the CUDA EULA


name: description
value:
CUDA Memcheck. By downloading and using the packages you accept the terms and conditions of the CUDA EULA


name: description
value:
Nsight NVTX. By downloading and using the packages you accept the terms and conditions of the CUDA EULA


name: description
value:
Backends, filters, and other software that was once part of the core CUPS distribution but is no longer maintained by Apple Inc


name: description
value:
CUPS drivers for iDPRT barcode printers (iD2P, iD2X, iD4P, iD4S, iE2P, iE2X, iE4P, iE4S, iT4B, iT4E, iT4P, iT4S, iT4X, iX4E, iX4L, iX4P, iX4E, iX6P)


name: description
value:
CUPS drivers for TSPL-based iDPRT thermal label printers (SP210, SP310, SP320, SP320E, SP410, SP410BT, SP420, SP450, SP460BT)


name: description
value:
CUPS drivers for Kyocera ECOSYS MA3500cix, MA3500cifx, MA4000cix, MA4000cifx, PA3500cx, PA4000cx and PA4500cx, for Kyocera CS MA4500ci and PA4500ci, and for Kyocera TASKalfa MA3500ci, MA4500ci and PI4500ci printers


name: description
value:
PPD files for Kyocera ECOSYS M2040dn/M2135dn/M2540dn/M2540dw/M2635dn/M2635dw/M2640idw/M2735dw/P2040dn/M2040dw/P2235dn/P2235dw


name: description
value:
PPD files for Kyocera ECOSYS M5521cdn/M5521cdw/M5526cdn/M5526cdw/P5021cdn/P5021cdw/P5026cdn/P5026cdw


name: description
value:
Frontend to curl that adds the ease of use of httpie, without compromising on features and performance


name: description
value:
Library of PureData classes, bringing some level of compatibility between Max/MSP and Pd environments


name: description
value:
Circuit-level SOCKS client/server that can be used to provide convenient and secure network connectivity


name: description
value:
Scalable programming language, with robust libraries and runtimes, for building web, server, and mobile apps


name: description
value:
CLI wrapper for basic network utilites on Mac OS X inspired with iproute2 on Linux systems - ip command


name: description
value:
Command-line program which performs basic numeric,textual and statistical operations on input textual data files


name: description
value:
Tests WebDAV servers by uploading test files, and then optionally testing for command execution or other actions directly on the target


name: description
value:
Universal SQL Client for developers, DBA and analysts. Supports MySQL, PostgreSQL, MariaDB, SQLite, and more


name: description
value:
Enables data analysts and engineers to transform their data using the same practices that software engineers use to build applications


name: description
value:
Provides programs and scripts for creating debuginfo and source file distributions, collect build-ids and rewrite source paths in DWARF data for debugging, tracing and profiling


name: description
value:
Library that uses DBus to provide objects allowing you to create Model-View-Controller type programs across DBus


name: description
value:
Terminal emulator with workspace, multiple windows, remote management, quake mode and other features


name: description
value:
A small human-editable language to emit DER or BER encodings of ASN.1
structures and malformed variants of them


name: description
value:
Codespaces but open-source, client-only and unopinionated: Works with any IDE and lets you use any cloud, kubernetes or just localhost docker


name: description
value:
Open-source developer tool for Kubernetes that lets you develop and deploy cloud-native software faster


name: description
value:
Tool for visualization of DHCP packets as recorded and output by tcpdump to analyze DHCP server responses


name: description
value:
The open-source publishing engine for content authored in the Darwin Information Typing Architecture


name: description
value:
A C program to generate random data using several random models,
with parameterized non uniformities and flexible output formats


name: description
value:
A reimplementation of the Fourmilab/John Walker random number test program
ent with several improvements


name: description
value:
Script that generates a dmenu menu that uses bluetoothctl to connect to bluetooth devices and display status info


name: description
value:
Tool that reads information about your system's hardware from the BIOS according to the SMBIOS/DMI standard


name: description
value:
Determines where a given Domain Name Server (DNS) gets its information from, and follows the chain of DNS servers back to the servers which know the data


name: description
value:
Core functionality needed to create .NET Core projects, that is shared between Visual Studio and CLI


name: description
value:
Compute the DR14 of a given audio file according to the procedure described by the Pleasurize Music Foundation


name: description
value:
Collaborative drawing program that allows multiple users to sketch on the same canvas simultaneously


name: description
value:
Launcher for the Java Virtual Machine intended to be a drop-in replacement for the java command, only faster


name: description
value:
GUI program for supporting various instruments from DreamSourceLab, including logic analyzer, oscilloscope, etc


name: description
value:
Command-line utility for parsing the debugging information the compiler provides in ELF or stand-alone PDB files


name: description
value:
Free backup client that securely stores encrypted, incremental, compressed backups on cloud storage services and remote file servers


name: description
value:
Sensitive data detection tool capable of scanning source code repositories for passwords, key files, and more


name: description
value:
Helper script to create/mount/unemount encrypted directories using eCryptfs without needing root permissions


name: description
value:
Manager daemon for the Quectel EG25 mobile broadband modem found on the Pine64 PinePhone and PinePhone Pro


name: description
value:
Single TUI-based registry for drm-free, wine and steam games on linux, accessed through a rofi launch menu


name: description
value:
Utility that manages core operator functionalities like local keys, operator registration and updates


name: description
value:
GCS repository plugin adds support for using Google Cloud Storage as a repository for Snapshot/Restore


name: description
value:
A frontend-independent IDE "smartness" server for Elixir.
Implements the "Language Server Protocol" standard and provides debugger support via the "Debug Adapter Protocol"


name: description
value:
Flexible emulator front-end supporting keyboardless navigation and custom system themes (forked by RetroPie)


name: description
value:
EmulationStation Desktop Edition is a frontend for browsing and launching games from your multi-platform game collection


name: description
value:
Coordinate your volunteers in teams, assign them to work shifts or let them decide for themselves when and where they want to help with what


name: description
value:
UI for building, configuring and running Monado, the open source OpenXR runtime (with build environment)


name: description
value:
Epson printer driver (BX535WD, BX630FW, BX635FWD, ME940FW, NX530, NX635, NX635, SX535WD, WorkForce 545, WorkForce 645


name: description
value:
ET: Legacy is an open source project based on the code of Wolfenstein: Enemy Territory which was released in 2010 under the terms of the GPLv3 license


name: description
value:
Records and replays device descriptions and events to emulate input devices through the kernel's input system


name: description
value:
Personal information management application that provides integrated mail, calendaring and address book functionality


name: description
value:
Typeface fashioned after the square letter forms of the typography of the Biblia Hebraica Stuttgartensia (BHS)


name: description
value:
Fully working re-implementation of Fallout, with the same original gameplay, engine bugfixes, and some quality of life improvements


name: description
value:
Fully working re-implementation of Fallout 2, with the same original gameplay, engine bugfixes, and some quality of life improvements


name: description
value:
Linux port of FAR Manager v2, a program for managing files and archives in Windows operating systems


name: description
value:
nonlinear optimal control problem solver that aims to be fast, support a broad class of optimal control problems and achieve a high numerical robustness


name: description
value:
The faust2alqt script, part of faust functional programming language for realtime audio signal processing


name: description
value:
The faust2alsa script, part of faust functional programming language for realtime audio signal processing


name: description
value:
The faust2csound script, part of faust functional programming language for realtime audio signal processing


name: description
value:
The faust2firefox script, part of faust functional programming language for realtime audio signal processing


name: description
value:
The faust2jack script, part of faust functional programming language for realtime audio signal processing


name: description
value:
The faust2jackrust script, part of faust functional programming language for realtime audio signal processing


name: description
value:
The faust2jaqt script, part of faust functional programming language for realtime audio signal processing


name: description
value:
The faust2ladspa script, part of faust functional programming language for realtime audio signal processing


name: description
value:
The faust2lv2 script, part of faust functional programming language for realtime audio signal processing


name: description
value:
The faust2sc.py script, part of faust functional programming language for realtime audio signal processing


name: description
value:
Base Thrift service and a common set of functionality for querying stats, options, and other information from a service


name: description
value:
Fcitx5 Module of A Japanese Input Method for Chromium OS, Windows, Mac and Linux (the Open Source Edition of Google Japanese Input)


name: description
value:
Tool for Mastodon that automatically fetches missing replies and posts from other fediverse instances


name: description
value:
Fast and multi-source CLI program for managing Minecraft mods and modpacks from Modrinth, CurseForge, and GitHub Releases


name: description
value:
Framework for building, deploying, and running fast, secure, and composable cloud microservices with WebAssembly


name: description
value:
batteries-included distribution of ImageJ2, bundling a lot of plugins which facilitate scientific image analysis


name: description
value:
Font with the same glyph set as Fira Sans 4.3 and additionally
supports Arabic, Devenagari, Georgian, Hebrew and Thai


name: description
value:
keeps your fish shell history clean from typos, incorrectly used commands and everything you don't want to store due to privacy reasons


name: description
value:
It allows you to search for a key and get the value and the line number where it is located in YAML and JSON files


name: description
value:
Framework that enables you to easily build realtime web, mobile, and desktop apps in Python. The frontend part


name: description
value:
Multi-purpose finite-state toolkit designed for applications ranging from natural language processing to research in automata theory


name: description
value:
OpenGL interop library that can be used with ArrayFire or any other application using CUDA or OpenCL compute backend


name: description
value:
GTK2 port from Figaro's Password Manager originally developed by John Conneely, with some new enhancements


name: description
value:
Native web3 interface that lets you sign data, securely manage accounts and transparently interact with dapps via web3 protocols like Ethereum and IPFS


name: description
value:
FreshRSS extension allows you to directly watch YouTube/PeerTube videos from within subscribed channel feeds.


name: description
value:
Dynamic instrumentation toolkit for developers, reverse-engineers, and security researchers (client tools)


name: description
value:
FsAutoComplete project (FSAC) provides a backend service for rich editing or intellisense features for editors


name: description
value:
IntelliJ Platform companion program for watching and reporting file and directory structure modification


name: description
value:
Comprehensive collection of attack patterns and predictable resource names used for security testing and fuzzing application


name: description
value:
Daemon that makes it possible to use the Logitech keyboard G-Buttons and draw on various Logitech LCDs


name: description
value:
Verifying and formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic


name: description
value:
Gawd is a Python library and command-line tool for computing syntactic differences between two GitHub Actions workflow files


name: description
value:
High quality educational software suite, including a large number of activities for children aged 2 to 10


name: description
value:
Modern experience for GDB with advanced debugging features for exploit developers & reverse engineers


name: description
value:
Tool to generate static DNS records (AAAA and PTR) for hosts using Stateless Address Autoconfig (SLAAC)


name: description
value:
C/C++ library for computational geometry with a focus on algorithms used in geographic information systems (GIS) software


name: description
value:
Modular Internet censorship circumvention system designed specifically to deal with national filtering


name: description
value:
Tool to find and fix various types of hardcoded secrets and infrastructure-as-code misconfigurations


name: description
value:
Software reverse engineering (SRE) suite of tools developed by NSA's Research Directorate in support of the Cybersecurity mission


name: description
value:
GI Crystal is a binding generator used to generate Crystal bindings for GObject based libraries using GObject Introspection


name: description
value:
Secure, cross-platform Git credential storage with authentication to GitHub, Azure Repos, and other popular Git hosting services


name: description
value:
Interactive, cross-platform Git terminal application with clear git graphs arranged for your branching model


name: description
value:
Quickfix allows you to commit changes in your git repository to a new branch without leaving the current branch


name: description
value:
Fully automated changelog generation - This gem generates a changelog file based on tags, issues and merged pull requests


name: description
value:
GUI that allows to control the cooling (fan and/or pump profiles) of NZXT Kraken AIO liquid coolers from Linux


name: description
value:
Multi-platform library for creating OpenGL contexts and managing input, including keyboard, mouse, joystick and time


name: description
value:
Unified CLI for Gloo, the feature-rich, Kubernetes-native, next-generation API gateway built on Envoy


name: description
value:
Wallpaper program for wlroots based Wayland compositors such as sway that allows you to render glsl shaders as your wallpaper


name: description
value:
Application that solves mathematical equations and is suitable as a default application in a Desktop environment


name: description
value:
Collection of components in GNOME that store secrets, passwords, keys, certificates and make them available to applications


name: description
value:
System Monitor shows you what programs are running and how much processor time, memory, and disk space are being used


name: description
value:
Home media solution (UPnP AV MediaServer) that allows you to easily share audio, video and pictures to other devices


name: description
value:
Xrandr-like CLI for configuring displays on GNOME/Wayland, on distros that don't support `wlr-randr`


name: description
value:
Integrates a category-based application launcher in the activities window. IMPORTANT: it needs the 'gnome-menus' and 'libgnome-menu-3-dev'; they must be installed in the system before installing this extension.


name: description
value:
Add a button for the power off menu, you can now select options with the 'enter' key on Gnome 44.5+ (fork of jerom's add shutdown button extension, added minor functionality)


name: description
value:
Simple GNOME extension to control displays' brightness via DDC. It requires ddcutil to be installed, I2C permissions for non-root users configured.


name: description
value:
A highly customizable replacement for Alt/Super+Tab window/app switchers that offers a 'type to search' mode, various filtering and sorting options, workspace and monitor navigation, configurable hotkeys for navigation and window/app control, and an app launcher.


name: description
value:
Show IP addresses for LAN, WAN IPv6 and VPN in the GNOME panel. Click on the address to cycle trough different interfaces.


name: description
value:
List open windows of all workspaces, plus Save/Restore window positions (run automatically on Suspend/Resume, a workaround for Ubuntu bug #1778983).


name: description
value:
Quick fix to the bug where scrolling in one application is repeated in another when switching between them using Alt+Tab (e.g., VS Code and Chrome).


name: description
value:
Close open windows gracefully and save them as a session. And you can restore them when necessary manually or automatically at startup. Most importantly, it supports both X11 and Wayland!


name: description
value:
Shows a tooltip over applications icons on applications overview with application name and/or description.


name: description
value:
Application menu for GNOME Shell, designed to provide a more traditional user experience and workflow


name: description
value:
Astra Monitor is a cutting-edge, fully customizable, and performance-focused system monitoring extension for GNOME's top bar. It's an all-in-one solution for those seeking to keep a close eye on their system's performance metrics like CPU, GPU, RAM, disk usage, network statistics, and sensor readings.


name: description
value:
Athan is a prayer time notification in Islam. And this is a notifier Gnome extension for Linux, plus a quick reminder for the Islamic Hijri date.


name: description
value:
GNOME Shell extension to hide the battery percentage in the top panel, if the computer is plugged in or power saving is disabled


name: description
value:
My set of extensions: Battery Bar, Dash Board, DateMenu Mod, Media Player, Power Menu, Workspace Indicator, Notification Indicator, Modified Quick Settings, Background Clock.


name: description
value:
Show the remaining time until fully charged/discharged instead of the battery charge in percent in the panel.


name: description
value:
Show the remaining time until fully charged/discharged as well as percentage of battery charge in the panel.


name: description
value:
Sync your wallpaper to today's Microsoft Bing image of the day (the image you see when you visit Bing.com).


name: description
value:
Blocks caribou (the on screen keyboard) from popping up when you use a touchscreen. Even if it's disabled in the accessibility services menu. Continuation of keringar's work. Tested on GNOME Shell version 3.36 - 45 on Fedora 32 - 39. For a higher version see https://github.com/lxylxy123456/cariboublocker#installing-on-high-gnome-shell-version .


name: description
value:
A Gnome extension featuring indicator icons in system tray, serving as meter for Bluetooth device battery levels and providing detailed battery levels via icon/text in the Bluetooth quick settings menu.


name: description
value:
This extension allows paired Bluetooth devices to be connected and disconnected via the GNOME system menu, Shows battery status and more.


name: description
value:
Dynamic lock for GNOME. Use your smart phone/watch/band to lock your desktop automatically when you step away.


name: description
value:
Create rules to open specific websites in specific web browsers for links clicked in any application on your computer. (emails, chat etc)


name: description
value:
If a backlight device is available, this extension shows a brightness indicator on panel menu, that allows changing brightness through scrolling on it. Useful, when using ddcci-driver-linux on a desktop PC without native keyboard buttons to change brightness.


name: description
value:
Indicator for new and unread mail (Yahoo, Gmail, Microsoft, Outlook, Aol, Icloud, Protonmail, Gmx...)


name: description
value:
Gnome Clipboard History is a clipboard manager GNOME extension that saves items you've copied into an easily accessible, searchable history panel.


name: description
value:
This simply adds a pop-out QR Code containing whatever text is currently in your clipboard. It's an easy way to share a link to your phone without any additional software.


name: description
value:
Replace the symbolic application menu icon with the regular one. An alternative version of yanbab's extension that supports GNOME 40 and higher


name: description
value:
Tint your desktop with a color of your choice to help with dyslexia, scopic sensitivity, and related conditions.


name: description
value:
Adds transparency effects (including notification tray) and slims the top bar for more space. See github page for more screenshots.


name: description
value:
Countdown to next coding contests. This extension uses the API of kontests.net to get the list of all upcoming contests. A countdown to the closest upcoming contest (that you are participating in) is shown in the panel, which can be clicked on to view the list of all upcoming contests.


name: description
value:
Brightness and volume control for monitors. Requires setting up the external ddcutil program for your user.


name: description
value:
Adds persistent counter to top bar. Left click counter +1, right click counter -1, and middle click resets counter to 0. Change name, alignment and index and remember TO RESTART THE EXTENSION to view your changes.


name: description
value:
A GNOME Shell Extension that provides 7 Custom Accent Colors. The selected Accent Color can be applied to GTK4/GTK3 apps and the Gnome Shell.


name: description
value:
Run user defined terminal/shell commands by selecting them from a customizable drop-down menu at the top bar.


name: description
value:
Run user defined terminal/shell commands and launch custom scripts using customizable quick toggle buttons.


name: description
value:
Fully customize your OSD ( On Screen Display ) pop ups like Volume , Brightness or Caffeine , Lock Keys etc. 


name: description
value:
Enable dark window decorations on applications. This extension is not compatible with applications that use Client Side Decorations (CSD).


name: description
value:
Quick fix for the https://bugs.launchpad.net/ubuntu/+source/gnome-shell-extension-ubuntu-dock/+bug/1961508


name: description
value:
An icon taskbar for the Gnome Shell. This extension moves the dash into the gnome main panel so that the application launchers and system tray are combined into a single panel, similar to that found in KDE Plasma and Windows 7+. A separate dock is no longer needed for easy access to running and favorited applications.


name: description
value:
GNOME Shell integration for Plank, the simplest dock on the planet. To use this extension, you must have Plank installed on your system.


name: description
value:
Displays a (somewhat) customisable progress bar of your day in the top panel to help you track your time.


name: description
value:
Automatically check for online DDNet (DDraceNetwork/Teeworlds) friends and join them from your top bar.


name: description
value:
Adds icons to the desktop. Fork of the original Desktop Icons extension, with several enhancements . It requires gir1.2-gnomedesktop-3.0


name: description
value:
Gnome Extension to enable cicd/container/kubernetes and cloud resource handling. you can use docker, podman and use kubernetes clusters with kind. Added resize, delete container and filter active containers.


name: description
value:
Dim completed events in the top panel menu to easily distinguish between upcoming and past events. You can also highlight events that are ongoing.


name: description
value:
Disables unredirect fullscreen windows in gnome-shell to workaround a bug when clicking on full screen windows goes through to windows underneath. This also happens to fix screen tearing in full-screen windows.


name: description
value:
Disables the workspace switch animation while preserving all other animations - instantly switch between workspaces with keyboard shortcuts.


name: description
value:
Disable the workspace switcher popup GNOME Shell 45-46 (overlay displayed when switching between workspaces).


name: description
value:
Adds a Disconnect option for Wifi in status menu, when a network is connected. Shows a Reconnect option, after network is disconnected.


name: description
value:
Discrete brightness indicator changes brightness in discrete steps, unlike default smooth brightness bar in Gnome Shell. Extension for notebooks/tablets only, default brightness bar must be present in Gnome Shell.


name: description
value:
Label in top panel that display the the percentage of disk usage of the biggest disk installed on the system.


name: description
value:
Automatically switches on the "Do Not Disturb" mode while screen sharing or screen recording. As soon as screen sharing/recording is over, "Do Not Disturb" mode will be switched back off.


name: description
value:
Convierte el Dolar Americano USD a pesos chilenos CLP usando la api MiIndicador.cl https://mindicador.cl/api/dolar.


name: description
value:
Easily enable or disable your secondary monitor with a single click. This extension adds a toggle button to the system menu, allowing you to quickly switch your second screen on or off without needing to navigate through settings. It automatically detects your connected monitors and their configurations, making it simple to manage your multi-monitor setup.


name: description
value:
A GNOME Shell extension (GNOME Panel applet) to be able to generally control your available Docker containers.


name: description
value:
Turns on GNOME Shell debug logging. As an extension developer, this allows you to log as much as you like using console.debug calls.


name: description
value:
Espresso disables the usual auto suspend and screensaver functionality and optionally Night Light with options to show an Espresso icon in the top panel, to enable Espresso when a fullscreen application is running, to restore state across reboots, to provide notifications, to enable Espresso when specific applications are running, or to pause Night Light when Espresso is enabled or only when specific applications are running. Espresso also provides some support for docking stations including options to enable Espresso when charging and/or when docked to external monitors and to allow temporarily overriding the docking support without affecting the stored state.


name: description
value:
Execute multiple shell commands periodically with separate intervals and display the output in gnome top bar.


name: description
value:
Makes the notifications in the notification list expandable. Using gsettings, you can choose between three modes: AUTO, ARROW and CRITICAL. 


name: description
value:
Extensions Manager : A quick overlay glass panel showing a grid to view / manage installed extensions.


name: description
value:
Let your desktop "keep an eye" on your mouse! And with the included cursor indicator, keep track of your pointer's every action!


name: description
value:
When a workspace switch occurs, this extension ensures the focus is on a window located in the new workspace.


name: description
value:
Prevent MRU re-sorting of IME list on switching input method so it will always be the same sequence as you set in Settings.


name: description
value:
A marking menu which can be used to launch applications, simulate hotkeys, open URLs and much more. Once installed, press Ctrl+Space to open the default menu. Open the preferences dialog for an interactive tutorial and for creating custom menus!


name: description
value:
Shows CPU temperature, disk temperature, video card temperature (NVIDIA/Catalyst/Bumblebee&NVIDIA), voltage and fan RPM (forked from xtranophilist/gnome-shell-extension-sensors)


name: description
value:
Fan Control for Framework. This extension is not affiliated, funded, or in any way associated with Framework Computer.


name: description
value:
GitLab extension utilizes the official GitLab API to provide a comfortable overview about your projects, commits & pipelines.


name: description
value:
This extension puts adds an indicator to the top panel whose icon continuously renders two comic-like eyes that follow the mouse cursor.


name: description
value:
Hey Gnome, it's bedtime! Converts to grayscale the entire Gnome workspace by using a smooth transition. Best to use during evening/night.


name: description
value:
A Gnome extension that shows the NordVPN status in the top bar and provides the ability to configure certain aspects of the connection.


name: description
value:
You need to install envycontrol(https://github.com/geminis3/envycontrol) to make this extension work. This is a simple gnome-shell extension which provides a simple way to switch between GPU profiles on Nvidia Optimus systems (i.e laptops with Intel + Nvidia or AMD + Nvidia configurations) in a few clicks.


name: description
value:
Makes GNOME's panel's background gradient. You can edit the colour scheme from the extension's settings in Gnome 45 and above.


name: description
value:
A gnome extension designed for efficiently carrying out executions of commands from a customizable menu


name: description
value:
This extension reverts the ibus input source to default when entering the overview, and restores it after exiting, which solves the conflict between the ibus popup and the "Type to search" feature.


name: description
value:
Gnome Shell Extension to visualize headset status from HeadsetControl (https://github.com/Sapd/HeadsetControl) command line tool


name: description
value:
Adds a Hibernate button in Status menu. Using Alt modifier, you can also select Hybrid Sleep instead.


name: description
value:
Hides the Activities button from the status bar (the hot corner and keyboard shortcut keeps working). To disable top left hot corner use 'No Topleft Hot Corner' extension — https://extensions.gnome.org/extension/118/no-topleft-hot-corner/ .


name: description
value:
Hides the top bar, except in overview. However, there is an option to show the panel whenever the mouse pointer approaches the edge of the screen. And if "intellihide" is enabled, the panel only hides when a window takes the space.


name: description
value:
Use PageUp and PageDown to move in HistoryManager (eg. Run Command, Looking Glass) according to prefix


name: description
value:
Add a hot edge that activates the overview to the bottom of the screen. This provides a better mouse-driven workflow and can serve as an alternative to a dock.


name: description
value:
Hotel Manager allows to start and stop the Hotel daemon and your development servers via a menu in the status area.


name: description
value:
Control various Huawei and Honor laptops WMI functions, such as battery protection, Fn-lock, power unlock and keyboard backlight.


name: description
value:
This extension controls Philips Hue compatible lights using Philips Hue Bridge on your local network, it also allows controlling Philips Hue Sync Box. If you are experiencing an error on the upgrade, please log out and log in again.


name: description
value:
Control Lenovo IdeaPad laptops options: Conservation Mode, Camera Lock, Fn Lock, Touchpad Lock, USB charging.


name: description
value:
Slightly improved workspace indicator that shows both current and in use workspaces similar to i3/sway


name: description
value:
Binds shortcuts to input sources (up to 5). Alt+Shift+1 - the first input source, Alt+Shift+2 - the second one and etc.


name: description
value:
Gnome extension for tracking air quality in real-time. data provider: https://iqair.com/. to get an API token: https://www.iqair.com/us/dashboard/api


name: description
value:
This extension is required for Kando to work on Wayland. It allows Kando to bind global shortcuts, and provides information about your currently focused application window and the position of your mouse pointer.


name: description
value:
Keep your computer awake! Prevents that your computer activates sceensaver, turns off screen(s) or goes to hibernate when not actively used for a while. Click the indicator icon once to keep your computer awake for the current session. Click again to keep it awake also between restarts (indicated by a small lock icon on the indicator). Clicking again to not keep awake.


name: description
value:
Show LAN IP address on GNOME panel. Do not show loopback addresses (127.0.0.0/8) or Docker networks.


name: description
value:
Lightweight extension for on-the-fly manipulation to primary selections, especially optimized for Dictionary lookups


name: description
value:
Add lock icon to the panel and lock the screen instead of using ctrl-alt-l (fork of https://github.com/sramkrishna/gnome3-extensions)


name: description
value:
An alternative default light theme integration for Blur my Shell and other transparent theming extension.


name: description
value:
M3U8 Play. Search and select to play (use `ffplay/ffmpeg`). `m3u8` files need put into `~/.local/share/m3u8-play/`


name: description
value:
A modern desktop interface for Linux - packaged as an extension for GNOME Shell. Improve your user experience and get rid of the anarchy of traditional desktop workflows. Designed to simplify navigation and reduce the need to manipulate windows in order to improve productivity. It's meant to be 100% predictable and bring the benefits of tools coveted by professionals to everyone.


name: description
value:
Creates an invisible system tray (TopIcons) for apps (like MEGAsync) that won't run properly without one.


name: description
value:
GNOME shell extension that puts the Window/App switcher on the active monitor (monitor with the cursor).


name: description
value:
Easily monitor and manage your mounted removable drives, displaying sizes and highlighting the mount with the least used space in the top bar.


name: description
value:
Display a label in your panel with the song/title/album/artist information available from an mpris compatible player. You can also control the player, raise/lower its volume, customize the label, and a lot more! This extension works with Spotify, Vlc, Rhythmbox, Firefox, Chromium, and (probably) any MPRIS compatible player.


name: description
value:
This extension allows muting/unmuting audio by middle-clicking the speaker icon on the menu bar. It also ports on Gnome 43 and previous versions the same behaviour of Gnome 44 and later versions: mute/unmute audio by clicking the audio output icon next to the volume slider. This extension uses mute/unmute API in order to restore previous volume level after unmuting.


name: description
value:
A simple extension that let the user to view and copy the public IPv4 and IPv6 address, by using ipify.org services.


name: description
value:
This extension controls Nanoleaf shapes and possibly others Nanoleaf devices on your local (wifi) network. If you are experiencing an error on the upgrade, please log out and log in again.


name: description
value:
Shortcuts to (1) insert a new workspace, (2) reorder workspaces and (3) reposition floating windows.


name: description
value:
An indicator gnome extension for controlling next-dns cli. This extension is not affiliated, funded, or in any way associated with NextDNS.


name: description
value:
Kiyui's Night Light Slider updated for GNOME 45. Provides a slider in the quick settings menu to control the night light temperature. Some nice options can be set in the extension preferences menu. Original implementation: https://codeberg.org/kiyui/gnome-shell-night-light-slider-extension/


name: description
value:
Automatically toggle your desktop’s color scheme between light and dark, switch backgrounds and run custom commands at sunset and sunrise.


name: description
value:
Another extension, that removes the 'Window is ready' notification and puts the window into focus. In contrast to all the other extensions, this uses ES6 syntax and is actively maintained. This extension is a fork of the original with support for GNOME 45.


name: description
value:
Noiseclapper is a GNOME Shell extension that allows you to control the Noise Cancelling mode and the Equalizer settings of your Soundcore Life headphones right from the panel. It works as a simple, easy-to-use, desktop-compatible alternative to the official mobile application.


name: description
value:
Moves the display of the clock to the left or right of the notch for the webcam when using apple_dcp.show_notch=1


name: description
value:
This extension allows configuring the same timeout for all notifications. It also allows ignoring the idle state.


name: description
value:
Changes the color of the time and date indicator in the top bar when there are unread notifications. Colors and blinking are customizable.


name: description
value:
Shows NVIDIA GPU stats in the toolbar. Requires nvidia-settings or nvidia-smi. Includes Bumblebee support.


name: description
value:
One Drive extension. This extension is not affiliated, funded, or in any way associated with Microsoft and OneDrive.


name: description
value:
Top Bar / Top Panel , Menus , Dash / Dock , Gnome Shell , Gtk Apps theming. Open the bar and let the colors 🍹 flow.


name: description
value:
This extension enables On Screek Keyboard from accessibility settings when touchpad is turned off, and disables it when it's on. Useful for 2 in 1 when tablet mode is not properly recognized.


name: description
value:
A GNOME shell extension to keep the old topbar corners, which were removed for GNOME 42. It also allows you to customize the rounded corners, even if you use GNOME 40 or 41.


name: description
value:
Allows you to quickly hide (minimize) the top-most maximized window just by middle-mouse clicking anywhere on the TOP PANEL (not the top bar of a window).


name: description
value:
This extension calculates strong passwords for each alias from your single secret. No need to remember dozens of passwords any longer. No need for a password manager any longer. Full freedom in choosing aliases and secret, e.g. alias: "username@google.com#2014", secret: "saFe⚿in漢字". Recent aliases are kept in a easily accessible drop-down. You may choose between HMAC_SHA1 and SHA1. The formula is as simple as "[secret][alias]" → SHA1 → BASE64 


name: description
value:
Show the top bar (panel) on demand while having full screen content on (like a YouTube video). Just hover the mouse cursor to the top of the screen, and the panel will show up. This way, you can quickly check the time, or swich some toggles. This is similar to what macOS offers for full screen apps.


name: description
value:
Pin your notes as notifications. Simply type your title, message and optionally choose icon and click Pin It to send notification to yourself.


name: description
value:
Makes "Picture-in-Picture" windows stay on top (even on Wayland session). Compatible with Firefox, but may work with few other browsers too.


name: description
value:
a simple indicator in the system icons area of the top panel that represent the current power profile


name: description
value:
A GPU profile switcher designed to work with PRIME (prime-select). Fork of PRIME GPU Profile Selector.


name: description
value:
A Gnome Shell extension that allows you to hide selected output/input devices from the Quick Settings audio devices panel.


name: description
value:
It lets you change the names of your audio devices in the Quick Settings Audio Panel. This works for both speakers and microphones. It's useful when you need to switch quickly between different audio devices and their default names aren't very clear or they're a bit too explicit. This extension makes it easy to customize devices names so that, e.g. "Speaker - Family 17h/19h HD Audio Controller" could become just "Laptop Speakers". Emojis are supported as well!


name: description
value:
Let's tweak gnome 43's quick settings! You can add Media Controls, Notifications, Volume Mixer on quick settings and remove useless buttons!


name: description
value:
Is like Dropbox sync client but for more than 30 services, adds an indicator to the top panel so you can manage the rclone profiles configured in your system, perform operations such as mount as remote, watch for file modifications, sync with remote storage, navigate it's main folder. Also, it shows the status of each profile so you can supervise the operations, and provides an easy access log of events. Backup and restore the rclone configuration file, so you won't have to configure all your devices one by one


name: description
value:
It's an extension for Gnome-Shell. It works as a reading guide for computer and this is really useful for people affected by dyslexia. It works great in helping children focusing to read very well, it marks the sentence that they are reading and hides the previous and the next one. It's already used in education projects at schools, it puts the attention on screen but it's also really useful for programmers and graphic designers who want to check their works.


name: description
value:
Another extension that removes the 0.15 second popup delay in switcher pop-ups. This extension is actively maintained. It fixes at least this known issue: https://gitlab.gnome.org/GNOME/mutter/issues/888.  This extension is a fork of the original with support for GNOME 44.


name: description
value:
Monitor the use of system resources like cpu, ram, disk, network and display them in gnome shell top bar.


name: description
value:
Shows info about: CPU(usage, clock, temp), RAM(free, used) and NET (download, upload) on GNOME SHELL System Tray (Top Bar)


name: description
value:
Make airplane mode sane again! This extension gives you better control over the airplane mode and lets you turn off the annoying "Bluetooth gets turned on when I disable airplane mode" behaviour.


name: description
value:
* Animation net speed show on the screen. You can click it to have fun and pass the time. Can be turned on / off at any time.


name: description
value:
Conveniently create, copy, store and upload screenshots. Please log out and log in again after updating.


name: description
value:
This extension allows switching between windows or workspaces by scrolling Gnome Shell topbar with mouse (both in overview and workspace modes).


name: description
value:
SerMon: an extension for monitoring and managing systemd services, cron jobs, docker and podman containers


name: description
value:
Control brightness and contrast with ddc and extra screen dimming with black overlay, It requires ddcutil to be installed, i2c permissions for non-root users configured.


name: description
value:
Settings Center is a customizable drop-down menu for quickly launching frequently used apps in Gnome:Shell via the quicksettings. Originally created by XES.


name: description
value:
This shows a pop-up of useful keyboard shortcuts when Ctrl + Alt + Super + S is pressed (hotkey can be changed in settings)


name: description
value:
Simple GNOME Shell Extension that shows your current public IP address. It's retrieved by a curl command to ip.lacodificadora.com


name: description
value:
Shows desired text on the right side of the top bar ;-) ..........................................................                                                                                                                                            * still has a bug ... need to re-enable extension in some cases for alt text ;-)


name: description
value:
Load light, dark and high-contrast shell themes from user directory. This extension can treat them as one unit. Put each variant css file in the user directory.  


name: description
value:
A simple panel button that shows CPU and RAM memory usage. Clicking shows the top 10 processes using CPU and memory.


name: description
value:
Replace 'Activities' button by all current workspaces buttons. Switch workspace or toggle overview by clicking on these buttons.


name: description
value:
A simple menubar app for GNOME Shell that tracks how long you've been using your computer uninterruptedly


name: description
value:
Smart Auto Move learns the position, size, and workspace of your application windows and restores them on subsequent launches. Supports Wayland.


name: description
value:
This extension just locks the screen whenever a smartcard token recognized by GNOME as used for login is removed.


name: description
value:
Popup menu in the top bar to easily manage usual snap tasks (list, changes, refresh, remove, install...).


name: description
value:
This extension adds VPN functionality to the quickSettings by integrating the SSL Network Extender (SNX CLI) client


name: description
value:
Add or override the brightness slider to change the brightness via an alpha layer (and optionally stop using or cooperate with the exising backlight, if present).


name: description
value:
Enable or disable the sound card entirely by adding or removing the sound device. Bluetooth headset not be affected.


name: description
value:
Adds a button to the panel that shows information Spotify playback. For bug reports, feature requests, translation contributions, etc., please visit the extension's github page.


name: description
value:
This extension puts an icon in the panel with a simple dropdown menu that launches items from your ssh configs


name: description
value:
When activating overview (Super button), the application view is shown instead of the view with the windows.


name: description
value:
Remove the 'window is ready' message and focus the window instead. This is a fork of the 'Steal My Focus' extension to add GNOME 45 support.


name: description
value:
Simple extension to measure time. Primary button click starts/pauses the watch, secondary button resets it.


name: description
value:
Allow automatic page switching in StreamController by adding a dbus interface to fetch info about the current window.


name: description
value:
This extension makes XKB shortcuts to switch keyboard layouts (such as Caps Lock, Ctrl+Shift, etc.) cycle between the two first layouts. The other ones still can be selected via the menu or using GNOME's shortcuts (Super+Space, Shift+Super+Space). It's useful when you have two primary layouts and more additional, which are used more rarely.


name: description
value:
Simulates switching the workspace on the active monitor only. Ctrl+Alt+q switches to the previous workspace, Ctrl+Alt+a switches to the next


name: description
value:
A GNOME Shell extension that adds a X11 or Wayland session indicator to the top panel and allows the user to switch default session between X11 and Wayland.


name: description
value:
This is a minimalist system monitor extension for GNOME Shell. It displays CPU, RAM, and Swap usage right in your GNOME Shell top bar. 


name: description
value:
SystemStatsPlus is ease user-friendly GNOME extension that provides real-time visualization of key system resources.


name: description
value:
Tile windows on a custom grid using your keyboard. Type Super-T to show the grid, then type two tiles (or the same tile twice) to move the active window.


name: description
value:
Manage Tailscale connections and check status from desktop read more at https://github.com/maxgallup/tailscale-status/blob/main/README.md


name: description
value:
ThinkPad thermal monitor, display ThinkPad thermal and fan status using /proc/acpi/ibm/thermal and /proc/acpi/ibm/fan.


name: description
value:
Extend Gnome Shell with advanced tiling window management. Supports multiple monitors, Windows 11 Snap Assistant, Fancy Zones, customised tiling layouts and more.


name: description
value:
Add tomato.c pomodoro timer to the gnome panel, requires tomato.c : https://github.com/gabrielzschmitz/Tomato.C


name: description
value:
TopHat aims to be an elegant system resource monitor for the GNOME shell. It displays CPU, memory, disk, and network activity in the GNOME top bar.


name: description
value:
Brings all icons back to the top panel, so that it's easier to keep track of apps running in the backround


name: description
value:
Shows legacy tray icons on top – the fixed version of https://extensions.gnome.org/extension/495/topicons/


name: description
value:
Generate Time-based One-Time Passwords (TOTP aka OTP) for websites that use Two-Factor Authentication (2FA) like Google, Facebook, Discord, Amazon, Steam, etc.


name: description
value:
Translate extension for Gnome-Shell - based on translate-shell, inspired by Tudmotu's clipboard-indicator and gufoe's text-translator


name: description
value:
Tray Icons Reloaded is a GNOME Shell extension which bring back Tray Icons to top panel, with additional features.


name: description
value:
Unite is a GNOME Shell extension which makes a few layout tweaks to the top panel and removes window decorations to make it look like Ubuntu Unity Shell


name: description
value:
Indicates uptime in status area. When clicked, a popup menu indicates the date when the system was started.


name: description
value:
That simple extension shows USD to Russian RUB exchange rate on the left center part of Gnome top panel. Exchange rate updates every 30 seconds. Compatible with Gnome 45-46. This extension is using economia.awesomeapi.com.br. It is a fork of usd-try.


name: description
value:
Customize your GNOME Shell UX to suit your workflow, whether you like horizontally or vertically stacked workspaces.


name: description
value:
Maximize your productivity with View Split, the window management tool that allows you to split windows into top, left, bottom, and right sections


name: description
value:
A glimpse into your computer's temperature, voltage, fan speed, memory usage, processor load, system resources, network speed and storage stats. This is a one stop shop to monitor all of your vital sensors. Uses asynchronous polling to provide a smooth user experience. Feature requests or bugs? Please use GitHub.


name: description
value:
Let your GNOME desktop speak to you. Reads desktop notifications out-loud with human-like voice using Piper. Can be muted and respects "Do not Disturb".


name: description
value:
Scroll up or down in the Top Bar to adjust volume. Supports configuring granularity (default step of 5%)


name: description
value:
Search for your vscode workspaces easily. Supports insiders and vscodium. This extension is not affiliated, funded, or in any way associated with Microsoft and vscode software.


name: description
value:
Display the current weather inside the pill next to the clock. GNOME Weather is required for this extension to work.


name: description
value:
Display the current weather in the panel and click the indicator to open GNOME Weather. The indicator position can be adjusted in preferences (on GNOME 45+).


name: description
value:
Beer timer until next week-end (based on https://extensions.gnome.org/extension/667/weekend-o-meter/)


name: description
value:
This extension add a switch to the WiFi menu, in the GNOME system menu, that show a QR Code of the active connection.


name: description
value:
Wiggle is a GNOME 45+ port/fix for the scaling effect from Jiggle with better performance. Wiggle magnifies your cursor when the mouse is moved rapidly.


name: description
value:
A simple GNOME Shell extension to display WikiArt Artwork of the day. This extension is not affiliated, funded, or in any way associated with WikiArt.


name: description
value:
Add new dbus call for windows to get windows list and some of theirs properties, plus details on window under focus.


name: description
value:
Allow keyboard selection of windows and workspaces in overlay mode. <Ctrl>number selects a workspace, and <Alt>number selects a window.


name: description
value:
This is a continuation of Wintile by @FmStrat.  The original version was abandoned after Gnome 44. This version works on Gnome 45 and 46.


name: description
value:
WinTile is a hotkey driven window tiling system for GNOME that imitates the standard Win-Arrow keys of Windows 10, allowing you to maximize, maximize to sides, or 1/4 sized to corner across a single or multiple monitors using just Super+Arrow.


name: description
value:
This extension shows the battery of the wireless keyboards, mice, and game controllers in percentages and colors. Multiple devices are supported.


name: description
value:
Put an indicator on the panel signaling in which workspace you are, and give you the possibility of switching to another one.


name: description
value:
Isolate workspaces, making the Overview and App Switcher look and behave as if the active workspace is the only workspace (except the workspace switcher).


name: description
value:
Make the workspace switcher popup useful! Customize your workspace switcher behavior and the content, dimensions, position, orientation and colors of its popup indicator.


name: description
value:
A Gnome shell extension to use Yakuake on Gnome. Adds a global shortcut to show/hide yakuake and makes the console appear focussed.


name: description
value:
Compiler for APIs described by the OpenAPI Specification with plugins for code generation and other API support tasks


name: description
value:
gnuclad tries to help the environment by creating trees.  Its primary use will be generating cladogram trees for the GNU/Linux distro timeline project


name: description
value:
Modern release of the GNU Privacy Guard, a GPL OpenPGP implementation with symbolic links for gpg and gpgv


name: description
value:
Small utility which generates Go code from any file, useful for embedding binary data in a Go program


name: description
value:
Source code linter that can be used to find code that will cause problems with Go's error wrapping scheme


name: description
value:
Command-line tool for one-click proxy in your research and development without installing v2ray or anything else


name: description
value:
Ultimate camera streaming application with support RTSP, RTMP, HTTP-FLV, WebRTC, MSE, HLS, MJPEG, HomeKit, FFmpeg, etc


name: description
value:
Crossplatform music editor for creating Commodore 64 music. Uses reSID library by Dag Lem and supports alternatively HardSID & CatWeasel devices


name: description
value:
Crossplatform music editor for creating Commodore 64 music. Uses reSID library by Dag Lem and supports alternatively HardSID & CatWeasel devices - Stereo version


name: description
value:
This is a simple helper tool for generating XML output in Cobertura format for CIs like Jenkins and others from go tool cover output


name: description
value:
Dynamic DNS client tool supports AliDNS, Cloudflare, Google Domains, DNSPod, HE.net & DuckDNS & DreamHost, etc


name: description
value:
Graphical user interface to programs that play the board game Go and support the Go Text Protocol such as GNU Go


name: description
value:
Turn your Go program(s) into an appliance running on the Raspberry Pi 3, Pi 4, Pi Zero 2 W, or amd64 PCs!


name: description
value:
Performance software for cyclists, runners and triathletes. Built from source and without API tokens


name: description
value:
Performance software for cyclists, runners and triathletes. This version includes the API Tokens for e.g. Strava


name: description
value:
Set of text-mode partitioning tools for Globally Unique Identifier (GUID) Partition Table (GPT) disks


name: description
value:
Screen recorder that has minimal impact on system performance by recording a window using the GPU only


name: description
value:
Collection of tools for the Microchip (TM) PIC microcontrollers. It includes gpasm, gplink, and gplib


name: description
value:
Open source OpenTelemetry Collector distribution with built-in Prometheus pipelines and support for metrics, logs, traces, and profiles


name: description
value:
Grafana backend plugin that handles rendering of panels & dashboards to PNGs using headless browser (Chromium/Chrome)


name: description
value:
GIS software suite used for geospatial data management and analysis, image processing, graphics and maps production, spatial modeling, and visualization


name: description
value:
SSO support for Graylog through trusted HTTP headers set by load balancers or authentication proxies


name: description
value:
Integrations are tools that help Graylog work with external systems (unfree enterprise integrations)


name: description
value:
Prints out all messages that have an estimated size crossing a configured threshold during processing


name: description
value:
Graylog plugin to record internal logs of Graylog efficiently instead of sending them over the network


name: description
value:
Correlate proton density to the response time of your app and the ion temperature to your exception rate


name: description
value:
ERP beyond your fridge - grocy is a web-based self-hosted groceries & household management solution for your home


name: description
value:
Minimal, high performance, memory-friendly, safe implementation of the gRPC health checking protocol


name: description
value:
Plugin for the Accounts-SSO gSignOn daemon that handles the OAuth 1.0 and 2.0 authentication protocols


name: description
value:
A single-file header-only version of ISO C++ Guidelines Support Library
(GSL) for C++98, C++11, and later


name: description
value:
Minimal GUI for the Text To Speech 'Svox Pico'. Read clipboard or selected text in different languages and manage it : pause, stop, replay


name: description
value:
GStreamer Plugin for MIPI camera support through the IPU6/IPU6EP/IPU6SE on Intel Tigerlake/Alderlake/Jasperlake platforms


name: description
value:
Library to create panels and other desktop components for Wayland using the Layer Shell protocol and GTK4


name: description
value:
Google Translate TUI (Originally). Now support Apertium, Argos, Bing, ChatGPT, DeepL, Google, Reverso


name: description
value:
Command-line tool that continuously monitors certificate transparency (CT) logs for newly issued SSL/TLS certificates


name: description
value:
Got Your Back (GYB) is a command line tool for backing up your Gmail
messages to your computer using Gmail's API over HTTPS.


name: description
value:
Set of utilities for visualization and conversion of scientific data in the free, portable HDF5 format


name: description
value:
Collection of tools that allows capturing TCP/IP packets and filtering them based on Lua policy files


name: description
value:
Header Dictionary Triples (HDT) is a compression format for RDF data that can also be queried for Triple Patterns


name: description
value:
Sidetone and Battery status for Logitech G930, G533, G633, G933 SteelSeries Arctis 7/PRO 2019 and Corsair VOID (Pro)


name: description
value:
HepMC package is an object oriented event record written in C++ for High Energy Physics Monte Carlo Generators


name: description
value:
HepMC package is an object oriented, C++ event record for High Energy Physics Monte Carlo generators and simulation


name: description
value:
Six utility programs to convert between hex, binary, ascii-binary
and the oddball NIST format for 90B testing.


name: description
value:
Tools for manipulating and evaluating the hOCR format for representing multi-lingual OCR results by embedding them into HTML


name: description
value:
Framework that joins data models, schemas, code generation, and a task engine. Language and technology agnostic


name: description
value:
Smart TRV control integrates room-temp sensors, window/door sensors, weather forecasts, and ambient probes for efficient heating and calibration, enhancing energy savings and comfort


name: description
value:
Custom component for Home Assistant that integrates weather data (measurements and forecasts) of Deutscher Wetterdienst


name: description
value:
Custom component for Home Assistant that integrates your (own) local Luftdaten sensor (air quality/particle sensor) without using the cloud


name: description
value:
Turn your Home Assistant instance into a jukebox, hassle free streaming of your favorite media to Home Assistant media players


name: description
value:
Home Assistant custom component adding support for controlling Midea air conditioners and dehumidifiers on local network


name: description
value:
Auto-configure and then control your Midea M-Smart devices (Air conditioner, Fan, Water heater, Washer, etc) via local area network


name: description
value:
Integration for Home Assistant to control climate, TV and fan devices via IR/RF controllers (Broadlink, Xiaomi, MQTT, LOOKin, ESPHome)


name: description
value:
Home Assistant custom integration for SmartThinQ LG devices configurable with Lovelace User Interface


name: description
value:
Home Assistant custom component for control Xiaomi Multimode Gateway (aka Gateway 3), Xiaomi Multimode Gateway 2, Aqara Hub E1 on default firmwares over LAN


name: description
value:
Automatic integrate all Xiaomi devices to HomeAssistant via miot-spec, support Wi-Fi, BLE, ZigBee devices


name: description
value:
Completely customizable universal remote card for Home Assistant. Supports multiple platforms out of the box


name: description
value:
Hourly weather card for Home Assistant. Visualize upcoming weather conditions as a colored horizontal bar


name: description
value:
Small wrapper script for tmux to easily connect to a series of hosts via ssh and open a split pane for each of the hosts


name: description
value:
Toolkit for stitching photographs and assembling panoramas, together with an easy to use graphical front end


name: description
value:
Import Hyperlynx Boardsim files to openEMS, an open source 3D full-wave electromagnetic field solver


name: description
value:
Helps you handle more efficiently your screen real estate in i3wm by auto-splitting windows on their longest side


name: description
value:
i3lock is a bash script that takes a screenshot of the desktop, blurs the background and adds a lock icon and text


name: description
value:
Simple i3lock helper which pixels a screenshot by scaling it down and up to get a pixeled version of the screen when the lock is active


name: description
value:
Desktop utility that helps preventing repetitive strain injuries by keeping track of usage patterns and periodically informing the user to take breaks


name: description
value:
Simple tool to allow storage of signed, encrypted, incremental backups using Amazon's Glacier storage


name: description
value:
Report network interfaces bandwith just like vmstat/iostat do for other system counters - legacy version


name: description
value:
Video game ROM collection manager to help filter, sort, patch, archive, and report on collections on any OS


name: description
value:
All-in-one platform to build, launch, and maintain any crypto application on a sovereign and secured blockchain


name: description
value:
 A library for 2D/3D vectors and matrices and other mathematical objects, functions and data types for computer graphics


name: description
value:
Imath is a C++ and python library of 2D and 3D vector, matrix, and math operations for computer graphics


name: description
value:
Hex Editor for Reverse Engineers, Programmers and people who value their retinas when working at 3 AM


name: description
value:
Read your tfstate or HCL to generate a graph specific for each provider, showing only the resources that are most important/relevant


name: description
value:
This is an extension for creating hex grids in Inkscape. It can also be used to make brick patterns of staggered rectangles


name: description
value:
Extension to drive Silhouette vinyl cutters (e.g. Cameo, Portrait, Curio series) from within Inkscape


name: description
value:
 The open-source, cross-platform API client for GraphQL, REST, WebSockets, SSE and gRPC. With Cloud, Local and Git storage.


name: description
value:
Inspec is an open-source testing framework for infrastructure with a human- and machine-readable language for specifying compliance, security and policy requirements


name: description
value:
Intel One Mono, an expressive monospaced font family that’s built with clarity, legibility, and the needs of developers in mind


name: description
value:
Go application that routes requests to different Invidious instances based on their health status and (optional) response time


name: description
value:
Fast-paced 3D first-person shooter, a community effort to continue supporting/developing id's Quake III Arena


name: description
value:
Customised build of the Iosevka typeface, with a consistent
rounded style and overrides for almost all individual glyphs
in both roman (upright) and italic (slanted) variants.


name: description
value:
Command-line tool that allows searching and downloading app packages (known as ipa files) from the iOS App Store


name: description
value:
Iran Supreme Council of Information and Communication Technology (SCICT) standard Persian fonts series


name: description
value:
ircdog is a simple wrapper over the raw IRC protocol that can respond to pings, and interprets formatting codes


name: description
value:
Client for OpenStack bare metal provisioning API, includes a Python module (ironicclient) and CLI (baremetal)


name: description
value:
Istio configuration command line utility for service operators to debug and diagnose their Istio mesh


name: description
value:
Improved software detection and extraction of ITS1 and ITS2 from ribosomal ITS sequences of fungi and other eukaryotes for use in environmental sequencing


name: description
value:
This tool serializes the output of popular command line tools and filetypes to structured JSON output


name: description
value:
Jalali calendar is a small and portable free software library to manipulate date and time in Jalali calendar system


name: description
value:
100% pure Java desktop application designed to load test functional behavior and measure performance


name: description
value:
jnr-posix is a lightweight cross-platform POSIX emulation layer for Java, written in Java and is part of the JNR project


name: description
value:
Dead simple terminal plots from JSON (or CSV) data. Bar charts, line charts, scatter plots, histograms and heatmaps are supported


name: description
value:
Part of the Apache Commons Daemon software, a set of utilities and Java support classes for running Java applications as server processes


name: description
value:
Official API for https://www.kaggle.com, accessible using a command line tool implemented in Python 3


name: description
value:
Compiler to generate binary data parsers in C++ / C# / Go / Java / JavaScript / Lua / Perl / PHP / Python / Ruby 


name: description
value:
CLI tool that encourages Kubernetes users to manage bulk resources with an application abstraction for grouping


name: description
value:
Lightweight Virtual Machines like containers that provide the workload isolation and security of VMs


name: description
value:
A graphical user interface to gdb, the GNU debugger. It provides an
intuitive interface for setting breakpoints, inspecting variables, and
stepping through code.


name: description
value:
Attica is a Qt library that implements the Open Collaboration Services API.

Mailing list: https://lists.freedesktop.org/mailman/listinfo/ocs
Internet Relay Chat: #ocs@freenode


name: description
value:
Kalk is a powerful cross-platform calculator application built with the [Kirigami framework](https://kde.org/products/kirigami/)


name: description
value:
KBreakOut is a Breakout-like game. Its objective is to destroy as many bricks as possible without losing the ball.


name: description
value:
Tooling for monitoring inotify limits and informing the user when they have been or about to be reached.


name: description
value:
Library to allow application developers to separate the structure of documents from the data they contain.


name: description
value:
Merkuro is a application suite designed to make handling your emails, calendars, contacts, and tasks simple.


name: description
value:
Qt wrapper for ModemManager DBus API.

Report bugs in bugs.kde.org, under product frameworks-modemmanager-qt.


name: description
value:
Qt wrapper for NetworkManager API.

Report bugs in bugs.kde.org, under product frameworks-networkmanager-qt.


name: description
value:
prison is a barcode api currently offering a nice Qt api to produce QRCode barcodes and DataMatrix barcodes, and can easily be made support more.


name: description
value:
Common Qt related C++ classes and routines used by @Martchus' applications such as dialogs, widgets and models Topics


name: description
value:
Sega SG1000, SC3000, SF7000, Master System, Game Gear, Genesis/Megadrive, SVP, Pico, SegaCD/MegaCD and 32X emulator


name: description
value:
Open source visual database applications creator, a long-awaited competitor for programs like MS Access or Filemaker


name: description
value:
Natural Language Search Assistant for your Org-Mode and Markdown notes, Beancount transactions and Photos


name: description
value:
Find security vulnerabilities, compliance issues, and infrastructure misconfigurations early in the development
cycle of your infrastructure-as-code with KICS by Checkmarx.


name: description
value:
Knative client kn is your door to the Knative world. It allows you to create Knative resources interactively from the command line or from within scripts


name: description
value:
Kodi/XBMC bash script to send Kodi commands using JSON RPC. It also allows sending YouTube videos to Kodi


name: description
value:
Set of common python functions to work with the Kodi archive virtual file system (vfs) binary addons


name: description
value:
Simple Kodi module that makes life easier for add-on developers relying on InputStream based add-ons and DRM playback


name: description
value:
Show video content from the website of Sky Italia (video.sky.it). News, sport, entertainment and much more


name: description
value:
Lightweight and blazing fast kubeconfig manager which allows to use different kubeconfigs at the same time


name: description
value:
Kontroll demonstates how to control the Keymapp API, making it easy to control your ZSA keyboard from the command line and scripts


name: description
value:
Cross-platform backup tool with fast, incremental backups, client-side end-to-end encryption, compression and data deduplication


name: description
value:
An ebook reader application supporting PDF, DjVu, EPUB, FB2 and many more formats, running on Cervantes, Kindle, Kobo, PocketBook and Android devices


name: description
value:
Toolkit to help you manage, manipulate, customize, and apply Kubernetes Resource configuration data files


name: description
value:
API-first Identity and User Management system that is built according to cloud architecture best practices


name: description
value:
Fullwidth scalable monospace font designed specifically to support pseudographics, semigraphics, and private use characters


name: description
value:
Little krunner plugin (Plasma 5) to retrieve unicode symbols, or any other string, based on a corresponding keyword


name: description
value:
Plugin for KRunner which integrates a translator, supports Google Translate, Bing Translator, youdao and Baidu Fanyi


name: description
value:
Simple, modern, and secure encryption and signing tool that aims to be a better version of age and Minisign


name: description
value:
Program that reformats Kotlin source code to comply with the common community standard for Kotlin code conventions


name: description
value:
Checks whether Kubernetes is deployed according to security best practices as defined in the CIS Kubernetes Benchmark


name: description
value:
A simple CLI that provides an overview of the resource requests, limits, and utilization in a Kubernetes cluster


name: description
value:
kubectl plugin to list allocations (cpu, memory, gpu,... X utilization, requested, limit, allocatable,...)


name: description
value:
Tool to create instant GitOps platforms that integrate some of the best tools in cloud native from scratch


name: description
value:
Application delivery platform to deploy and operate applications in hybrid, multi-cloud environments


name: description
value:
KUbernetes Test TooL (KUTTL) provides a declarative approach to testing production-grade Kubernetes operators


name: description
value:
collection of helper tools for network engineers, while configuring and experimenting with their own network labs


name: description
value:
LabPlot is a FREE, open source and cross-platform Data Visualization and Analysis software accessible to everyone


name: description
value:
C++ library for value-oriented design using the unidirectional data-flow architecture — Redux for C++


name: description
value:
Latin Modern Math (LM Math) font completes the modernization of the Computer Modern family of typefaces designed and programmed by Donald E. Knuth


name: description
value:
Collection of injectable files, designed to be used in a pentest when SQL injection flaws are found and are in multiple languages for different environments


name: description
value:
Fantastic new revival of ATF's classic Spartan, a geometric sans-serif that has no problem kicking its enemies in the chest


name: description
value:
Unofficial downloader to GOG.com for Linux users. It uses the same API as the official GOGDownloader


name: description
value:
General purpose interpolator, used for evaluating Parton Distribution Functions from discretised data files


name: description
value:
AJA NTV2 Open Source Static Libs and Headers for building applications that only wish to statically link against


name: description
value:
Key derivation function that was selected as the winner of the Password Hashing Competition in July 2015


name: description
value:
Programming interface for the 1394 Trade Association AV/C (Audio/Video Control) Digital Interface Command Set


name: description
value:
Allows you (with the right hardware) to control your device with your TV remote control using existing HDMI cabling


name: description
value:
Image library which can can load, save, convert, manipulate, filter and display a wide variety of image formats


name: description
value:
Drop-in replacement for the libc allocator which improves
the odds of bumping into heap-related security bugs in
several ways


name: description
value:
Cross-platform and open source library for communication with dive computers from various manufacturers


name: description
value:
Free implementation of the DVB Common Scrambling Algorithm with encryption and decryption capabilities


name: description
value:
Simple library designed for decoding and generation of MPEG TS and DVB PSI tables according to standards ISO/IEC 13818 and ITU-T H.222.0


name: description
value:
Graphite versions of Linux Libertine and Linux Biolinum font families for LibreOffice and OpenOffice.org


name: description
value:
Library and a set of tools for reading and converting Apple iWork documents (Keynote, Pages and Numbers)


name: description
value:
Modern C++ library, offering some basic functionality to build high-performing, platform-independent programs


name: description
value:
Simple programming interface for decoding and encoding audio data using Xiph.org codecs (FLAC, Speex and Vorbis)


name: description
value:
Library designed to make it easy to add support for consumer fingerprint readers, with support for loaded drivers


name: description
value:
Fully feature complete YAML parser and emitter, supporting the latest YAML spec and passing the full YAML testsuite


name: description
value:
Library implementing attempt to create a tiff based interchange format for georeferenced raster imagery


name: description
value:
Software library that talks the protocols to support iPhone®, iPod Touch® and iPad® devices on Linux


name: description
value:
Libipfix C-library implements the IPFIX protocol defined by the IP Flow Information Export working group of the IETF


name: description
value:
General purpose formula parser, interpreter, formula cell dependency tracker and spreadsheet document model backend all in one package


name: description
value:
Lightweight library to handle the sending and receiving of messages according to the Open Sound Control (OSC) protocol


name: description
value:
Library for talking to WWAN modems and devices which speak the Mobile Interface Broadband Model (MBIM) protocol


name: description
value:
Userspace library that provides the programming interface to the user-space connection tracking helper infrastructure


name: description
value:
Userspace library that provides the programming interface to the connection tracking timeout infrastructure


name: description
value:
Opensource implementation of the Khronos OpenMAX Integration Layer API to access multimedia components


name: description
value:
GObject based library API for managing information about operating systems, hypervisors and the (virtual) hardware devices they can support


name: description
value:
Simple, high-level interfaces for offline location and POI lokup, rendering and routing functionalities based on OpenStreetMap (OSM) data


name: description
value:
C library for parsing/normalizing street addresses around the world. Powered by statistical NLP and open geo data


name: description
value:
Library for reading RAW files obtained from digital photo cameras (CRW/CR2, NEF, RAF, DNG, and others)


name: description
value:
Library providing direct access to the IEEE 1394 bus through the Linux 1394 subsystem's raw1394 user space interface


name: description
value:
Library providing C and Python (libcURL like) API for downloading linux repository metadata and packages


name: description
value:
Free and Open Source Machine Translation API. Self-hosted, no limits, no ties to proprietary services


name: description
value:
Tooling for monitoring inotify limits and informing the user when they have been or about to be reached


name: description
value:
Interactive, thoroughly customizable maps in native Android, iOS, macOS, Node.js, and Qt applications, powered by vector tiles and OpenGL


name: description
value:
Set of plugins responsible for better integration of Qt applications when running on a KDE Plasma workspace


name: description
value:
Schema-based serializer/deserializer C/C++ library with support for Avro and the Confluent Platform Schema Registry


name: description
value:
Library and utilities for working with the TIFF image file format (fork containing tools dropped in original libtiff version)


name: description
value:
Simple and portable (but not inflexible) GUI library in C that uses the native GUI technologies of each platform it supports


name: description
value:
Library for communicating with devices connected via the USB bridge on LPC-Link2 and MCU-Link debug probes on supported NXP microcontroller evaluation boards


name: description
value:
Interface for terminal emulators such as screen and xterm to record user sessions to utmp and wtmp files


name: description
value:
Portable C library of density functionals with van der Waals interactions for density functional theory


name: description
value:
WBXML Library (aka libwbxml) contains a library and its associated tools to Parse, Encode and Handle WBXML documents


name: description
value:
Library targeting Intel Architecture for specialized dense and sparse matrix operations, and deep learning primitives


name: description
value:
A fork of pantheon greeter that positions elements in a central and
vertigal manner and adds a blur effect to the background


name: description
value:
Small, portable GNU readline replacement for Linux, Windows and MacOS which is capable of handling UTF-8 characters


name: description
value:
Sitelen pona font resembling the style found in Toki Pona: The Language of Good (lipu pu), by jan Sa


name: description
value:
Tool designed to assist in detecting security deficiencies for given Linux kernel/Linux-based machine


name: description
value:
The Linux kernel (with patches: bridge-stp-helper, request-key-helper, modinst-arglist-too-long, linux-hardened-4.19.315-hardened1)


name: description
value:
The Linux kernel (with patches: bridge-stp-helper, request-key-helper, linux-hardened-5.10.218-hardened1)


name: description
value:
The Linux kernel (with patches: bridge-stp-helper, request-key-helper, linux-hardened-5.15.160-hardened1)


name: description
value:
The Linux kernel (with patches: bridge-stp-helper, request-key-helper, rtl8761b-support, linux-hardened-5.4.277-hardened1)


name: description
value:
The Linux kernel (with patches: bridge-stp-helper, request-key-helper, linux-hardened-6.1.92-hardened1)


name: description
value:
The Linux kernel (with patches: bridge-stp-helper, request-key-helper, linux-hardened-6.6.32-hardened1)


name: description
value:
Built using the best configuration and kernel sources for desktop, multimedia, and gaming workloads. (Same as linux_zen, but less aggressive release schedule and additional extra config)


name: description
value:
The Linux kernel (with patches: bridge-stp-helper, request-key-helper, gpio-pwm_-_pwm_apply_might_sleep.patch, ir-rx51_-_pwm_apply_might_sleep.patch)


name: description
value:
Built with custom settings and new features built to provide a stable, responsive and smooth desktop experience


name: description
value:
Built using the best configuration and kernel sources for desktop, multimedia, and gaming workloads.


name: description
value:
Kernel module that exposes the Framework Laptop (13, 16)'s battery charge limit and LEDs to userspace


name: description
value:
Kernel module for the Nuvoton NCT6687-R chipset found on many B550/B650 motherboards from ASUS and MSI


name: description
value:
Aircrack-ng kernel module for Realtek 88XXau network cards
(8811au, 8812au, 8814au and 8821au chipsets) with monitor mode and injection support.


name: description
value:
Linux kernel driver that exposes access to the SMU (System Management Unit) for certain AMD Ryzen Processors


name: description
value:
Experimental implementation of a kvmclock-derived clocksource for Linux guests under OpenBSD's hypervisor


name: description
value:
Linux kernel driver for reading temperature, voltage(SVI2), current(SVI2) and power(SVI2) for AMD Zen family CPUs


name: description
value:
Lightweight authentication server that provides an opinionated, simplified LDAP interface for authentication


name: description
value:
LM Studio is an easy to use desktop app for experimenting with local and open-source Large Language Models (LLMs)


name: description
value:
Insanely fast, Feature-rich searching. lnx is the adaptable, typo tollerant deployment of the tantivy search engine. Standing on the shoulders of giants.


name: description
value:
Loco CLI is a powerful command-line tool designed to streamline the process of generating Loco websites


name: description
value:
Logstash is a data pipeline that helps you process logs and other event data from a variety of systems


name: description
value:
DBus-activated service that manages human feedback devices such as LEDs and vibrators on mobile devices


name: description
value:
Powerful and easy to use calculator for Ubuntu Touch, with calculations history and formula validation


name: description
value:
Simple and easy to use clock for Ubuntu Touch, with time zone support for cities and timer and count down functions


name: description
value:
Wallpapers for the Lomiri Operating Environment, gathered from people of the Ubuntu Touch / UBports community


name: description
value:
LPrint implements printing for a variety of common label and receipt printers connected via network or USB


name: description
value:
A library for NGINX implementing the OpenID Connect Relying Party (RP) and the OAuth 2.0 Resource Server (RS) functionality


name: description
value:
SQLite/LuaJIT binding and a highly opinionated wrapper for storing, retrieving, caching, and persisting [SQLite] databases


name: description
value:
All-in-one encrypted todo list, notebook, habit and mood tracker, pomodoro timer, and journaling app


name: description
value:
Data compression library providing in-memory LZMA compression and decompression functions, including integrity checking of the decompressed data


name: description
value:
Chorus algorithm that maintains constant and symmetric detuning depth (in cents), regardless of modulation rate. For jack and lv2


name: description
value:
Generate entire directory structures using Jinja templates with support for external data and custom plugins


name: description
value:
Open source intelligence and forensics application, enabling to easily gather information about DNS, domains, IP addresses, websites, persons, and so on


name: description
value:
MariaDB Connector/J is used to connect applications developed in Java to MariaDB and MySQL databases


name: description
value:
Fast, flexible, configuration-based command-line interface for linting Markdown/CommonMark files with the markdownlint library


name: description
value:
Free computer algebra and analysis system consisting of a high level language with a compiler and a series of mathematical libraries


name: description
value:
Matter Compiler is a API Blueprint AST Media Types to API Blueprint conversion tool.
It composes an API blueprint from its serialzed AST media-type.


name: description
value:
Simple bridge between Mattermost, IRC, XMPP, Gitter, Slack, Discord, Telegram, Rocket.Chat, Hipchat(via xmpp), Matrix and Steam


name: description
value:
Mattermost is an open source platform for secure collaboration across the entire software development lifecycle


name: description
value:
A fast ISO to CSO compression program for use with PSP and PS2 emulators, which uses multiple algorithms for best compression ratio


name: description
value:
Unix utilities for processing and interacting with mail messages which are stored in maildir folders


name: description
value:
Integrate Mcfly with fzf to combine a solid command history database with a widely-loved fuzzy search UI


name: description
value:
Powerful and lightweight streaming engine specialized for voice/video telephony applications. Part of the Linphone project


name: description
value:
Entertaining free (freeware and free software) and open source cross-platform 3D real-time strategy (RTS) game


name: description
value:
Ultra-fast single-node solution for large and complex metagenomics assembly via succinct de Bruijn graph


name: description
value:
memstream.c is an implementation of the POSIX function open_memstream() for BSD and BSD-like operating systems


name: description
value:
Merriweather Sans is a low-contrast semi-condensed sans-serif text typeface family designed to be pleasant to read at very small sizes


name: description
value:
Modern take on the classic host DNS lookup utility including an easy to use and very fast Rust lookup library


name: description
value:
Mobile Device Management server for Apple Devices, focused on giving you all the power through an API


name: description
value:
Like awk, sed, cut, join, and sort for data formats such as CSV, TSV, JSON, JSON Lines, and positionally-indexed


name: description
value:
Grafana Mimir provides horizontally scalable, highly available, multi-tenant, long-term storage for Prometheus. 


name: description
value:
Standard format for offline reinforcement learning datasets, with popular reference datasets and related utilities


name: description
value:
Simple Minio tool to generate self-signed certificates, and provides SAN certificates with DNS and IP entries


name: description
value:
Compiler for Miranda -- a pure, non-strict, polymorphic, higher order functional programming language


name: description
value:
Takes JPGs from Linux-UVC compatible webcams, filesystem or other input plugins and streams them as M-JPEG via HTTP to webbrowsers, VLC and other software


name: description
value:
Command line tool to clean and optimize Matroska (.mkv / .mka / .mks / .mk3d) and WebM (.webm / .weba) files that have already been muxed


name: description
value:
Routines which implement a method for encoding binary data into a sequence
of words which can be spoken over the phone, for example, and converted
back to data on the other side.


name: description
value:
User-friendly desktop wallet with support for transaction history, encrypted contact book, gift codes, and payments


name: description
value:
The OWASP ModSecurity Core Rule Set is a set of generic attack detection
rules for use with ModSecurity or compatible web application firewalls.


name: description
value:
Execute commands from mouse events such as clicks/wheel on the side/corners of the screen, or drawing shapes


name: description
value:
Rust application which displays your currently playing song / album / artist from MPD in Discord using Rich Presence


name: description
value:
Integrated set of utilities to remotely interact with and automate a MicroPython device over a serial connection


name: description
value:
A little application that makes it possible to display mpv's subs anywhere you want. With translation features


name: description
value:
This script uses the lavfi cropdetect filter to automatically insert a crop filter with appropriate parameters for the currently playing video


name: description
value:
This script uses the lavfi idet filter to automatically insert the appropriate deinterlacing filter based on a short section of the currently playing video


name: description
value:
Script to "cropping" dynamically, hard-coded black bars detected with lavfi-cropdetect filter for Ultra Wide Screen or any screen (Smartphone/Tablet)


name: description
value:
Microsoft Authentication Library cross platform Dbus client for talking to microsoft-identity-broker


name: description
value:
Command-line Linux utility that efficiently directs mail synchronization between a pair of mailboxes


name: description
value:
Mtr-exporter periodically executes mtr to a given host and
provides the measured results as prometheus metrics.


name: description
value:
Perl script used to interpret and provide human readable output of the trace log contained in the file mtracedata, whose contents were produced by mtrace(3)


name: description
value:
Multus CNI is a container network interface (CNI) plugin for Kubernetes that enables attaching multiple network interfaces to pods


name: description
value:
Bash-like shell and scripting environment with advanced features designed for safety and productivity


name: description
value:
Music Assistant is a music library manager for various music sources which can easily stream to a wide range of supported players


name: description
value:
Lightweight, Portable, Flexible Distributed/Mobile Deep Learning with Dynamic, Mutation-aware Dataflow Dep Scheduler


name: description
value:
Myanon is a mysqldump anonymizer, reading a dump from stdin, and producing on the fly an anonymized version to stdout


name: description
value:
Client, protocol, and server for running Java programs from the command line without incurring the JVM startup overhead


name: description
value:
Decentralized open source information registration and transfer system based on the Bitcoin cryptocurrency


name: description
value:
Self-hosted solution to enable secure connectivity between devices across restricted networks like NAT or firewalls


name: description
value:
Extension for nautilus, which adds an context-entry for opening other terminal-emulators then `gnome-terminal`


name: description
value:
Run ruff, isort, pyupgrade, mypy, pylint, flake8, black, blacken-docs, and more on Jupyter Notebooks


name: description
value:
Minimal, efficient, statically-typed and meta-programmable systems programming language heavily inspired by Lua, which compiles to C and native code


name: description
value:
Connect your devices into a single secure private WireGuard®-based mesh network with SSO/MFA and simple access controls


name: description
value:
Network address discovering tool, developed mainly for those wireless networks without dhcp server, it also works on hub/switched networks


name: description
value:
ngtcp2 project is an effort to implement QUIC protocol which is now being discussed in IETF QUICWG for its standardization


name: description
value:
Combine the power of nix-eval-jobs with nix-output-monitor to speed-up your evaluation and building process


name: description
value:
A --pre-build-hook for Nix, that allows to expose extra paths in the build sandbox based on derivations' requiredSystemFeatrues


name: description
value:
Set of nit-picky rules that aim to point out and explain common mistakes in nixpkgs package pull requests


name: description
value:
Downloads and provides debug symbols and source code for nix derivations to gdb and other debuginfod-capable debuggers as needed


name: description
value:
A command line tool that recreates the famous data decryption
effect seen in the 1992 movie Sneakers.


name: nomad_1_4
value:
nomad_1_4 is no longer supported upstream. You can switch to using a newer version of the nomad package, or revert to older nixpkgs if you cannot upgrade


name: nomad_1_5
value:
nomad_1_5 is no longer supported upstream. You can switch to using a newer version of the nomad package, or revert to older nixpkgs if you cannot upgrade


name: description
value:
Open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones


name: description
value:
Visual tool that provides data modeling, data visualization, and query development features to help you design, create, query, and manage DynamoDB tables


name: description
value:
CLI tool which does in-place conversion of Microsoft's NTFS filesystem to the open-source filesystem Btrfs


name: description
value:
A sendmail/qmail/etc replacement MTA for hosts which relay to a fixed set of smart relays.
It is designed to be simple to configure, secure, and easily extendable.


name: description
value:
User-level daemon that monitors NUMA topology and processes resource consumption to facilitate good NUMA resource access


name: description
value:
Tool for runtime memory locality characterization and analysis of processes and threads on a NUMA system


name: description
value:
A little program that can be used to compare putatively similar files
line by line and field by field, ignoring small numeric differences
or/and different numeric formats


name: description
value:
Tools to work with the feeds (vulnerabilities, CPE dictionary etc.) distributed by National Vulnerability Database


name: description
value:
Wrapper to display a script output or a text file content on the desktop in sway or other wlroots-based compositors


name: description
value:
Complete open-source clone/rewrite of the masterpiece jump-and-run platformer Doukutsu Monogatari (also known as Cave Story)


name: description
value:
OBS Studio plugin that provides a dummy source to execute arbitrary commands when a scene is switched


name: description
value:
Comprehensive blur plugin for OBS that provides several different blur algorithms, and proper compositing


name: description
value:
OBS Studio source, encoder and video filter plugin to use GStreamer elements/pipelines in OBS Studio


name: description
value:
OCaml is an industrial-strength programming language supporting functional, imperative and object-oriented styles


name: description
value:
Binary data format designed for speed, safety, ease of use and backward compatibility as protocols evolve


name: description
value:
Bisect_ppx is a code coverage tool for OCaml and Reason. It helps you test thoroughly by showing what's not tested


name: description
value:
This library adds Erlang-style bitstrings and matching over bitstrings as a syntax extension and library for OCaml


name: description
value:
Cool implementation of normalization by evaluation (nbe) & elaboration for Cartesian cubical type theory


name: description
value:
OCaml library that provides configuration, cache and data paths (and more!) following the suitable conventions on Linux, macOS and Windows


name: description
value:
Converts OCaml floats into strings (doubles to ascii, "d to a"), using the efficient Grisu3 algorithm


name: description
value:
Syntax extension to define first class values representing record fields, to get and set record fields, iterate and fold over all fields of a record and create new record values


name: description
value:
Implementation of a platform specific runtime code for driving network libraries based on state machines, such as http/af, h2 and websocketaf


name: description
value:
Bindings for the GStreamer library which provides functions for playning and manipulating multimedia streams


name: description
value:
ocaml-junit is an OCaml package for the creation of JUnit XML reports, proving a typed API to produce valid reports acceptable to Jenkins, comes with packages supporting OUnit and Alcotest


name: description
value:
Fun, functional, and stateful way to build terminal apps in OCaml heavily inspired by Go's BubbleTea


name: description
value:
Reporter for the Logs library that writes log messages to stderr, using a Mirage `CLOCK` to add timestamps


name: description
value:
A comparison function for strings that sorts numeric fragments of strings according to their numeric value


name: description
value:
OCaml library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities


name: description
value:
OPAM repository and remote sources handling, including curl/wget, rsync, git, mercurial, darcs backends


name: description
value:
A library for use in ppxes for constructing and matching on ASTs corresponding to the augmented parsetree


name: description
value:
Programmable debugger that targets reactive programs for which a rdbg-plugin exists. Currently two plugins exist : one for Lustre, and one for Lutin (nb: both are synchronous programming languages)


name: description
value:
Library providing a web-influenced polymorphic console API for native Console.log(anything) with runtime printing


name: description
value:
Library that provides a consistent API for common system, user and application directories consistently on all platforms


name: description
value:
Text formatting library that harnesses Reason JSX to provide intuitive terminal output. Like React but for CLI


name: description
value:
Library containing custom Rely matchers allowing for easily using QCheck with Rely. QCheck is a 'QuickCheck inspired property-based testing for OCaml, and combinators to generate random values to run tests on'


name: description
value:
Error formatter tool for Reason and OCaml. Takes raw error output from compiler and converts to pretty output


name: description
value:
Library written in OCaml, relying on Javalib to provide a high level representation of Java bytecode programs


name: description
value:
Bindings for the soundtouch library which provides functions for changing pitch and timestretching audio data


name: description
value:
Lightweight library for dispatching and handling events, with a focus on metrics and instrumentation


name: description
value:
Library that makes it almost impossible for your OCaml programs to generate wrong XML output, using static typing


name: description
value:
OCaml library providing efficient access to a selection of character properties of the Unicode character database


name: description
value:
OCaml module implementing 128 bits universally unique identifiers version 3, 5 (name based with MD5, SHA-1 hashing) and 4 (random based) according to RFC 4122


name: description
value:
OCaml syntax extension (technically, a ppx_deriving plugin) which generates object-oriented visitors for traversing and transforming data structures


name: description
value:
Executable and OCaml library to run, read and write Web Assembly (wasm) files and manipulate their AST


name: description
value:
Orchestrate end-to-end encryption, cryptographic identities, mutual authentication, and authorization policies between distributed applications – at massive scale


name: description
value:
Basic Octave implementation of the matlab arduino extension, allowing communication to a programmed arduino board to control its hardware


name: description
value:
 Digital Communications, Error Correcting Codes (Channel Code), Source Code functions, Modulation and Galois Fields


name: description
value:
Computer-Aided Control System Design (CACSD) Tools for GNU Octave, based on the proven SLICOT Library


name: description
value:
Monte Carlo simulation, options pricing routines, financial manipulation, plotting functions and additional date manipulation tools


name: description
value:
Collection of routines to export data produced by Finite Elements or Finite Volume Simulations in formats used by some visualization programs


name: description
value:
Routines for calculating the time-evolution of the level-set equation and extracting geometric information from the level-set function


name: description
value:
Collection of routines for the creation, and manipulation of Non-Uniform Rational B-Splines (NURBS), based on the NURBS toolbox by Mark Spink


name: description
value:
Interface to the librsb package implementing the RSB sparse matrix format for fast shared-memory sparse matrix computations


name: description
value:
Commandline tool for joining, analyzing and transforming data from multiple databases and file formats using SQL


