Showing entries 17701-17800 out of 22785.
Utilities to manage schema in .schema and .ldif format
Database schema discovery and comprehension tool
Instant batch data import for Postgres
Document your database simply and easily
Code formatter for Scheme, Lisp, and any S-expressions
Structured access to bytevector contents
Unix manual pages for R6RS and R7RS
Scheme 48 interpreter for R5RS
Edit GtkSourceView style-schemes for an application or platform
Music tracker application, free reimplementation of Impulse Tracker
Encrypting mailing list manager with remailing-capabilities
Command line tool to create and manage schleuder-lists
Implementation of the Dirac video codec in ANSI C
Lightweight virtualisation tool
Chess database with play and training functionality
Chess database with play and training functionality
Tall and condensed bitmap font for geeks
Scientific software package for numerical computations (Matlab lookalike)
Information gathering tool for DNS, ports and more
Scientific and numerical computing benchmark (ANSI C version)
Future Internet architecture utilizing path-aware networking
Public repository for SCION applications
Bootstrapper for SCION network configuration
SCIP Code Intelligence Protocol CLI
SCIP (SCIP Code Intelligence Protocol) indexer for Golang
Branch-and-Price & Column Generation for Everyone
Parallel Presolve for Integer and Linear Optimization
Solving Constraint Integer Programs
Sequential object-oriented simPlex
Ubiquity Generator framework to parallelize branch-and-bound based solvers
Zuse Institut Mathematical Programming Language
SCIntilla based Text Editor
C++ implementation of the SciTokens library with a C library interface
Simple terminal user interface for Signal
PCSC drivers for linux, for the SCM SCR3310 v2.0 card and others
Numeric file shortcuts for common git commands
Scheme library for mathematical physics
Minimal serial communication tool
Improved, cross-platform substitute for Make
Interactive find and replace in the terminal
Migration path to C++ library extensions scope_exit, scope_fail, scope_success, unique_resource
Simple oscilloscope/vectorscope/spectroscope for your terminal
Advanced test & measurement remote control and analysis suite
3D Clone of the classic Scorched Earth
Security health metrics for Open Source
Graph and mesh/hypergraph partitioning, graph clustering, and sparse matrix ordering
Transfers your listens between various music listen tracking and streaming services
SVG Optimizer / Cleaner
Lightweight URL fuzzer and spider: Discover a web server's undisclosed files, directories and VHOS…
Spell checker oriented word lists
Shell that only permits scp and sftp-server
Tool to query HTML files with CSS selectors
Display and control Android devices over USB or TCP/IP
Audio receiver for the Scream virtual network sound card
Screen sharing for developers
Window manager that multiplexes a physical terminal
Displays a short text fullscreen in an X11 window
Personalized AI powered by what you've seen, said, or heard
Automatic configuration of connected screens/monitors
Fetches system/theme information in terminal for Linux desktop screenshots
Screencast tool to display your keys inspired by Screenflick
Tools for managing digital signs and screens at scale
Simple screen testing tool
Desktop Publishing (DTP) and Layout program
Cozy nest for your scripts
Shell script prometheus exporter
Set of JavaScript libraries to enhance the user interface of web sites
Run bash, Python, and JS snippets from your Markdown files directly from the command-line
Language-agnostic "shebang interpreter" that enables you to write scripts in compiled languages
Command-line tool for helping developers maintain useful changelogs
Tool to reverse the direction of scrolling
Strategy collectible card game
Command-line screen capture utility
Data recovery program for NTFS file systems
Disk overwrite utility
Hard Drive S.M.A.R.T Monitoring, Historical Trends & Real World Failure Thresholds
Hard disk metrics collector for Scrutiny
Modern Prolog implementation written mostly in Rust
Encryption utility
Splitting Conic Solver
Scheme shell
Spell checker for source code
Tool to help keep your SCSS files clean and readable
Minimal utility to set display colour temperature
Program to run certain classic graphical point-and-click adventure games (such as Monkey Island)
Intuitive find & replace CLI (sed alternative)
Screwdriver.cd local mode
Tool for controlling multiple sd-mux devices
Systemd unit switcher for Home Manager
Convert sparse Android data image (.dat) into filesystem ext4 image (.img)
Eternal september version of the date program
High-level C++ D-Bus library designed to provide easy-to-use yet powerful API
High-level C++ D-Bus library designed to provide easy-to-use yet powerful API
Small Device C Compiler
Console version of StarDict
Modern looking qt6 sddm theme
Chili login theme for SDDM
Dark SDDM theme from the sugar family
Drop-in replacement for sdkmanager from the Android SDK written in Python
Simple SDL joystick test application for the console