Showing entries 3401-3500 out of 22945.
Daemon for managing internet connections
Daemon for managing internet connections
Daemon for managing internet connections
GTK GUI for Connman
Simple ncurses UI for connman
Desktop notification integration for connman
Dmenu wrapper for connmann
Connection tracking userspace tools
Continuous password spraying tool
Robust portable backup tool in Rust
Application that allows multiple users to watch a serial console at the same time
ROS-independent package for logging that seamlessly pipes into rosconsole/rosout for ROS-dependent…
Console font and keymap setup program
Linux text console viewer
Construct is an abstraction over x86 NASM Assembly
Tool for service discovery, monitoring and configuration
Extendable open source continuous integration server
Generic template rendering and notifications with Consul
Prometheus exporter for Consul metrics
Access contacts from the Mac address book from command-line
Framework to validate the structure of a container image
Container to WASM converter
Daemon to control runC
Container-based networking lab
Modern C++ Terminal Emulator
Checks whether the contrast between two colors meet the WCAG requirements
Control Roku devices from the comfort of your own desktop
Tools to use with the Kubernetes controller-runtime libraries
Converts files to other formats
Bitmap generation from a single example with convolutions and MCMC
Conventional commit cli
Batch image converter and resizer
Graphical unit converter
Tool for converting Microsoft Reader ebooks to more open formats
Converts font for use with FontLibC
Image palette quantization
Converts filenames from one encoding to another
Suite of tools to create shopping lists and maintain recipes
Wordlist generator, splitter, merger, finder, saver for security researchers, bug bounty and hacke…
Command-line utility that creates projects from project templates
Terminal emulator which mimics the old cathode display
Cross platform open source e-book reader
Contemporary sans serif, with characters composed of modified-geometric curves and arches
Schrodinger-developed 2D Coordinate Generation
Tiny boost library in C++11
Tool for directly patching vulnerabilities in container images
Library and command-line utility for rendering projects templates
Build, Release and Operate Containerized Applications on AWS
Use GitHub Copilot with any editor or IDE via the Language Server Protocol
Use GitHub Copilot with any editor or IDE via the Language Server Protocol (FHS-wrapped, expand pa…
Copilot Node.js server
Simple imperative language, statically typed with type inference and genericity
Low level control GUI for the PipeWire multimedia server
Clipboard Manager with Advanced Features
Updates the copyright information in a set of files
Automate copyright headers and license files at scale
Coq proof assistant
Coq proof assistant
Coq proof assistant
Coq proof assistant
Coq proof assistant
Coq proof assistant
Coq proof assistant
Coq proof assistant
Coq proof assistant
Coq proof assistant
Coq proof assistant
Coq proof assistant
Coq proof assistant
Coq proof assistant
Coq proof assistant
Coq proof assistant
Coq proof assistant
Coq proof assistant
HTML documentation generator for Coq source files
Formally verified C compiler
Deep learning toolkit for Text-to-Speech, battle-tested in research and production
Discord terminal client
Build native mobile applications using HTML, CSS and JavaScript
Simple GUI to change settings in Coreboot's CBFS
Various coreboot-related tools
Control your computer hardware via application profiles
DNS server that runs middleware
Microsoft's TrueType core fonts for the Web
Wrappers for npm, pnpm and Yarn via Node.js Corepack
Wrappers for npm, pnpm and Yarn via Node.js Corepack
Wrappers for npm, pnpm and Yarn via Node.js Corepack
Wrappers for npm, pnpm and Yarn via Node.js Corepack
Wrappers for npm, pnpm and Yarn via Node.js Corepack
Extensible and observable IPv6 NDP RA daemon
Code and wrapper to extract Ethereum blockchain functionalities without network/consensus, for bui…
GNU Core Utilities
GNU Core Utilities
GNU Core Utilities
Tool for tunneling SSH through HTTP proxies
Agda-mode for Neovim