Packages

Tool for managing the installation of multiple software packages in the same run-time directory tr…

Simple Theorem Prover

System call tracer for Linux

Analyzes strace output

Open source web search engine hosted at stract.com targeted towards tinkerers and developers

CLI for the Stratis project

Easy to use local storage management for Linux

Virtual Machine Manager from Huawei

Music player and music collection organizer

Music player and music collection organizer

Elegant Linux app for the Elgato Stream Deck with support for plugins

Linux compatible UI for the Elgato Stream Deck

CLI for extracting streams from various websites to video player of your choosing

Twitch.tv browser for Streamlink

Fastest way to build custom ML tools

Scriptable music downloader for Qobuz, Tidal, SoundCloud, and Deezer

Application that lets you record streaming mp3 to your hard drive

Germline and small variant caller

Modern media center that gives you the freedom to watch everything you want

Simple workload generator for POSIX systems

Stress test a computer system

Userspace memory and IO stress test tool

Break time reminder app

Multi-use cryptographic tool based on the STRIBOB algorithm

Software for technical documentation and requirements management

Digital model of electronic string ensemble instrument

Command-line tool for Stripe

OpenSource IPsec-based VPN Solution

OpenSource IPsec-based VPN Solution

OpenSource IPsec-based VPN Solution

Create Nassi-Shneiderman diagrams (NSD)

Generate 3D structures by specifying a design grammar

Deep learning toolkit for Speech-to-Text, battle-tested in research and production

Cross-platform cli tool to perform various operations on string

Terminal file explorer for S3 buckets

Local DNS Privacy stub resolver (using DNS-over-TLS)

Compress and embed static files and assets into Go binaries and access them with a virtual file sy…

STUMPwm Interactive SHell

Stun server and test client

Universal tls/ssl wrapper

STUNTMAN - an open source STUN server and client

Stunt Rally game with Track Editor, based on VDrift and OGRE

Simple wrapper around the VTE terminal emulator widget for GTK

Fast (80+ Gbit/s) pixelflut client with full IPv6 and animation support

(Stutter Text|String)-Utterer

Simple text widget for X resembling the watch(1) command

Implementation of the C++ standard template library STL for external memory (out-of-core) computat…

Library and cli tool for working with scoped CSS in rust

Mighty CSS linter that helps you avoid errors and enforce conventions

A stylelint Language Server

Format Cabal files

Haskell code prettifier

Shell script to manage wallpapers

Opinionated Lua code formatter

Cross-platform (Windows, Mac, Linux, iOS, Android) application for handwritten notes

Write is a word processor for handwriting

Write is a word processor for handwriting

Nix based static site generator

Switch user and group id and exec

Match and rename subtitle files to video files and perform other batch operations on subtitle file…

OpenSubtitles.org downloader

Command-line tool to download subtitles from opensubtitles.org

Command-line subtitle editor written in BASH

Subdomain discovery tool

Tool for a smooth, stress-free SVN to Git migration

Fetcher for Javascript files

Git client from the makers of Sublime Text

Git client from the makers of Sublime Text

GTK3 Subsonic/Airsonic client

Converts tmLanguage to sublime-syntax

Sophisticated text editor for code, markup and prose

Sophisticated text editor for code, markup and prose

Sophisticated text editor for code, markup and prose

Sophisticated text editor for code, markup and prose

Sophisticated text editor for code, markup and prose

SubNetCalc is an IPv4/IPv6 subnet address calculator

Subdomain scanning tool

High-performance read alignment, quantification and mutation discovery

Personal media streamer

Learn foreign languages using audio and subtitles extracted from video files

Divelog program

Open source text-based subtitle editor

A subtitle editor

GTK 3 application to edit video subtitles

This application, a subtitle generator for YouTube, utilizes OpenAI's Whisper API

Streaming protocol for test results

Version control system intended to be a compelling replacement for CVS in the open source communit…

Version control system intended to be a compelling replacement for CVS in the open source communit…

Submit transactions to a substrate node via RPC

Python module to help with the enumeration of subdomains

Recursively visit and download a website's content to your disk

Japanese morphological analyzer

Lexicon for Sudachi

Command to run commands as root

Font for programmers and command line users

Memory safe implementation of sudo and su

Setuid-safe wrapper for chroot

Lightweight C library for loading and wrapping LV2 plugin UIs