Packages

Fast solver for the #SAT model counting problem

Tools for remote synchronization and `shell archives'

Traditional roguelike game with pixel-art graphics and simple interface

Program to automatically decrypt and mount ZFS datasets using Yubikey HMAC as 2FA or any File on U…

Shell Script Compiler

Fast and configurable shell plugin manager

Access ChatGPT from your terminal

Executing shell commands via HTTP server

Shell script analysis tool

Shell script analysis tool

CLI tool to convert shellcheck diagnostics into SARIF

Secure shell history commands by finding sensitive data

Corrective bash syntax highlighter

Enables easy access any Linux device behind firewall and NAT

A tool for generating shell.nix files

Shellcode writing toolkit

Full-featured BDD unit testing framework for bash, ksh, zsh, dash and all POSIX shells

Shelly humidity sensor exporter for prometheus

Utility to manage your SSH, telnet, kubernetes, winrm, web or any custom shell

Port of Shen running on Steel Bank Common Lisp

Utility for applying code changes across many repositories

Hunt down social media accounts by username across social networks

Lightweight and efficient application launcher for Wayland built with Rust and GTK4

Monte Carlo event generator for the Simulation of High-Energy Reactions of PArticles

POSIX-shell based file manager

Shell parser and formatter

Automatic systemd service hardening guided by strace profiling

Library for displaying messages

Library for parsing command line options

Enables SSO and Federation web applications written with any programming language or framework

Dynamic output configuration tool that automatically detects and configures connected outputs base…

UEFI shim loader

Fast fixed-point mp3 encoding library

Simple bookmark manager built with Go

Postal package tracking application

PC port of Ocarina of Time with modern controls, widescreen, high-resolution, and more

Implementation of the Kerberos 5 network security system

Lightweight static analyzer for several programming languages

Unconventional code formatting tool for JavaScript

Command line utility for building fully self contained Python zipapps

Minimalistic database migration tool with MySQL, PostgreSQL and SQLite support

Simple, stupid and slow HNCP daemon

Multi-purpose WAVE data processing and reporting utility

Quick-and-dirty, literate-programming-style documentation generator for / in POSIX shell

Mouse-based window manager that can tile windows inside floating containers

Shogi frontend supporting USI engines

Toolbox which offers a wide range of efficient and unified machine learning methods

CLI which helps you build against the Shopify platform faster

Command line tool for shopify themes

Command line tool for Shopware 6

Very fast (200+ Gbit/s) pixelflut server written in C with full IPv6 support

IP gateway/firewall configuration tool for GNU/Linux

Manipulate macOS masterfully, minus the mouse

A shorter fork of the Shattered Pixel Dungeon roguelike

IIS short filename enumeration tool

Find and listen to internet radio stations

Command-line utility for taking automated screenshots of websites

Free, open source, cross-platform video editor

Minimal X screenshot utility

Uncompromising screenshot GUI for Wayland compositors

MacOS screenshot app with scrolling screenshots, OCR, annotation and measurement instruments

Popular photo organizer for the GNOME desktop

Notification library for gophers and their furry friends

Multi-platform GUI application to effortlessly visualize MIDI activity

Show keys you typed on screen

Slideshow presentation tool with a twist

Watch without distraction

Persistent session management like tmux, but more lightweight

Vibrant and playful typeface for both Latin and Gujarati writing systems

Minimal CLI launcher for the Toontown Rewritten MMORPG

High performance library for Spherical Harmonic Transform

Pure shell script (sh) that implements the Tetris game following the Tetris Guideline (2009)

XUnit based unit test framework for Bourne based shell scripts

Screenshot and annotation tool

Simple IRC client

Accessible image processing and conversion from the terminal

Most reliable stable TV fork of the great Sick-Beard to fully automate TV enjoyment with innovatio…

Command-line tool designed to simplify the process of deploying and managing applications on a VPS

Open app store and side-loading tool for Android-based VR devices such as the Oculus Go, Oculus Qu…

Cross‑platform, non‑custodial wallet and atomic swap marketplace for the Liquid Network

SID player using libsidplayfp

HTTP load tester

Fast-paced one button platformer

OSX-like window decoration for KDE Plasma written in C++

Mac OSX like theme for GTK based desktop environments

First-principles materials simulation code using DFT

First-principles materials simulation code using DFT

Client for the MANAGESIEVE Protocol

Activate, edit, delete and add Sieve scripts with a convenient interface

Fast and powerful alternative to grep

Interactive grep (for streaming)

Yet another simple static gallery generator

Qt-based digital signal analyzer, using Suscan core and Sigutils DSP library

Organizing CLI for people who don't love organizing

Free, open source, multi-platform ebook (ePub) editor

GTK app to sync InfiniTime watch with PinePhone

Sigma command line interface

Generate chunked backups for Signal messages

Command-line and dbus interface for communicating with the Signal messaging service