Packages

RISC-V ISA Simulator

Formal verification tool for distributed software systems

A random forest model for splice prediction in genomics

Utility for secure encrypted channels between sockets

SPIFFE Runtime Environment

SPIFFE Runtime Environment

SPIFFE Runtime Environment

Online schema change tool for MySQL

Tool designed for parsing and converting SPIR-V to other shader languages

Machine-readable components of the Khronos SPIR-V Registry

Tool and a library for bi-directional translation between SPIR-V and LLVM IR

SPIR-V Tools project provides an API and commands for processing SPIR-V modules

Simple, concise, concatenative scripting language

Specialized Parallel Linear Algebra, providing distributed GEMM functionality for specific matrix …

An interactive visualisation and plotting tool using kernel interpolation, mainly used for Smoothe…

SPLAT! is an RF Signal Propagation, Loss, And Terrain analysis tool for the electromagnetic spectr…

Monospaced bitmap fonts

Annotation-assisted lightweight static analyzer for C

Tool for flexible, efficient parsing, interpreting, and editing of technical sequences in sequenci…

Utility for splitting OpenStreetMap maps into tiles

CUPS drivers for SPL (Samsung Printer Language) printers

Cybersecurity utility designed to provide detailed information on vulnerabilities and associated e…

A tool for visualizing the lifecycle of many concurrent multi-staged processes

Interactive configuration GUI for space navigator input devices

Easily spoof your MAC address in OS X & Linux

Simple and fast anti-censorship tool written in Go

Assess and report on deployment of source address validation

Assess and report on deployment of source address validation

Automate spoofing or clone Bluetooth device Name, Class, and Address

Library for solving sparse real and complex linear systems of equations

Native Spotify client for the GNOME desktop

Download your Spotify playlists and songs along with album art and metadata

Play music from the Spotify music service

Play music from the Spotify music service

Command line interface to Spotify on Linux

Terminal spotify player that has feature parity with the official client

Lightweight unofficial Spotify client using Qt

Adds a tray icon to the Spotify Linux client application

Open source Spotify client running as a UNIX daemon

Wrapper around Spotify that correctly sets class name before opening the window

Open source, cross-platform Spotify client compatible across multiple platforms

Submit pull requests for individual, amendable, rebaseable commits to GitHub

Sparse Parallel Robust Algorithms Library

Convenient full-system test (task) distribution

Powerful real-time strategy (RTS) game engine

CLI which makes it easy to create spring-based applications

Cross-platform lobby client for the Spring RTS project

BOSH template merge tool

Suite of speech signal processing tools

Spotify lyrics in your terminal

Scientific python development environment

YARA-based IOC scanner

Swiss army knife for data

Sensible database change management

Sensible database change management

Whitespace formatter for different query languages

SQL Database Explorer [SQLite, libSQL, PostgreSQL, MySQL/MariaDB, DuckDB, ClickHouse]

Flexible SQL exporter for Prometheus

SQLite Archive utilities

Generate a Go ORM tailored to your database schema

CockroachDB generator for usage with SQLBoiler

Generate type-safe code from SQL

Automatically identify anti-patterns in SQL queries

SQLite extension that provides 256 bit AES encryption of database files

Oracle's Oracle DB CLI client

Command line tool for working with Microsoft SQL Server, Azure SQL Database, and Azure Synapse

LibSQL with extended capabilities like HTTP protocol, replication, and more

Idempotent SQL schema management tool

Tool that displays the differences between SQLite databases

SQL linter and auto-formatter

Simple SQL linter

Self-contained, serverless, zero-configuration, transactional SQL database engine

Tool that shows statistics about SQLite databases

Self-contained, serverless, zero-configuration, transactional SQL database engine

Library for accessing and creating SQLite database files in Java

Python CLI utility and library for manipulating SQLite databases

Vector search SQLite extension that runs anywhere

SQLite extension for efficient vector search based on Faiss

Web-based SQLite database browser

Simple Python tool to transfer data from SQLite 3 to MySQL

Light header only SQLite ORM

DB Browser for SQLite

C++ SQLite3 wrapper

Free, open source, multi-platform SQLite database manager

Automatic SQL injection and database takeover tool

Tool to check URLs of a domain for SQL injections

SQL-only webapp builder, empowering data analysts to build websites and applications quickly

SQLite package manager

SQL language server written in Go

SQLx's associated command-line utility for managing databases, migrations, and enabling offline mo…

Fast SQL formatter/linter

Command line tool for querying Sybase/MSSQL databases

Tool for creating and unpacking squashfs filesystems

FUSE filesystem to mount squashfs archives

Linter for PostgreSQL, focused on migrations

Squeak virtual machine

Virtual keyboard supporting Wayland

Lightweight headless squeezebox client emulator

Lightweight headless squeezebox client emulator