Showing entries 16101-16200 out of 20810.
Tools for software verification and analysis
Extensible, Lisp-based window manager
Pretty-print .class files
XSLT 1.0 processor
Processor for XSLT 3.0, XPath 3.1, and XQuery 3.1
Processor for XSLT 3.0, XPath 2.0 and 3.1, and XQuery 3.1
Processor for XSLT 3.0, XPath 2.0 and 3.1, and XQuery 3.1
Complete and conformant processor of XSLT 2.0, XQuery 1.0, and XPath 2.0
Complete and conformant processor of XSLT 2.0, XQuery 1.0, and XPath 2.0
Sayonara music player
Binaural sound generator
SubBand Codec Library
Common Lisp compiler
Common Lisp compiler
Common Lisp compiler
Secure Boot key manager
Small Footprint CIM Client Library
Utility that provides an API platform for validating, querying and managing BOM data
Utilities to help with software supply chain challenges on nix targets
Tools for maintaining UEFI signature databases
Build tool for Scala, Java and more
Build tool for Scala, Java and more
A more featureful runner for sbt, the simple/scala/standard build tool
SymbiYosys, a front-end for Yosys-based formal verification flows
SymbiYosys, a front-end for Yosys-based formal verification flows
Curses-based spreadsheet calculator
User-mode driver and GUI for Steam Controller and other controllers
Ncurses spreadsheet program for terminal
Atari ST and Amiga music player
Experimental static code analyser for OpenSCAD
Research platform for new language concepts and compiler technologies for Scala
Research platform for new language concepts and compiler technologies for Scala
General purpose programming language
General purpose programming language
General purpose programming language
General purpose programming language
Command-line tool to interact with the Scala language
Alternative implementation of the Scala distribution's runners
Update your Scala dependencies interactively
Refactoring and linting tool for Scala
Opinionated code formatter for Scala
Library of high-performance linear algebra routines for parallel distributed memory machines
ScaleFT provides Zero Trust software which you can use to secure your internal servers and service…
High-resolution, low-overhead CPU, GPU, and memory profiler for Python with AI-powered optimizatio…
Interact with Scaleway API from the command line
Command line client for the Scalingo PaaS
Scalable Linear Programming Library
Recover files based on their headers, footers and internal data structures, based on Foremost
Command-line tool that communicates directly with the Scalr API
Scanner button daemon
Memory scanner for finding and poking addresses in executing processes
Interactive post-processing tool for scanned pages (vigri's fork)
Interactive post-processing tool for scanned pages (vigri's fork)
Interactive post-processing tool for scanned pages
Electrical power consumption metrology agent
Hollow Knight mod installer and manager
Assembler and linker for the Z80
Very fast accurate code counter with complexity calculations and COCOMO estimates written in pure …
Ccache with Cloud Storage
Scd2html generates HTML from scdoc source files
Download Music from Soundcloud
Simple man page generator written in C99 for POSIX systems
Visual, drag'n'drop, layout tool for designing JavaFX application user interfaces
Drop-in replacement for the wlroots scene API that allows wayland compositors to render surfaces w…
JavaFx application to visualize and modify the scenegraph of running JavaFx applications
SVGinOT color font builder
Query or alter a process' scheduling policy under Linux
Font designed in a similar style to traditional Naskh typefaces
Font designed in a similar style to traditional Naskh typefaces
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
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
Schleuder is an 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
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
SCIntilla based Text Editor
A C++ implementation of the SciTokens library with a C library interface
A 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
Add numbered shortcuts to common git commands
Improved, cross-platform substitute for Make