Showing entries 3701-3800 out of 25014.
OCI container runtime monitor
OCI container runtime monitor written in Rust
Make network connection via SOCKS and https proxy
Interact with a Connect Box 3 modem/router
Visualization and discovery tool used to map neuroimaging data
Daemon for managing internet connections
Daemon for managing internet connections
Daemon for managing internet connections
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
Compresses your videos to your chosen file size
Abstraction over x86 NASM Assembly
Masses and springs simulation game
Masses and springs simulation game
Tool for service discovery, monitoring and configuration
Highly available daemon for sending notifications and reminders based on Consul health checks
Generic template rendering and notifications with Consul
Prometheus exporter for Consul metrics
Console UI for Meshtastic
Access contacts from the Mac address book from command-line
Create and run Linux containers using lightweight virtual machines on a Mac
Framework to validate the structure of a container image
Container to WASM converter
Daemon to control runC
Container-based networking lab
Declarative, reproducible, and reusable decentralized approach for defining containers
Context window optimization MCP server for AI coding agents
MCP Server for up-to-date code documentation for LLMs and AI code editors
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
Generate a CHANGELOG from git metadata
Converged Security Suite for Intel & AMD platform security features
Batch image converter and resizer
Graphical unit converter
Tool for converting Microsoft Reader ebooks to more open formats
Self-hosted online file converter
Mail client for GNOME 3
Converts font for use with FontLibC
Image palette quantization
Converts filenames from one encoding to another
IRCv3 FILEHOST extension adapter to external file upload services
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
Cooper* a revival of the Cooper font family by indestructible type*
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
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
Copilot Node.js server
Low level control GUI for the PipeWire multimedia server
Tool for transforming and moving code between repositories
Command-line and programmatic Go code generator that generates custom type-based code
Turn almost any device into a file server over http(s), webdav, ftp(s), and tftp
Turn almost any device into a file server over http(s), webdav, ftp(s), and tftp - full variant
Turn almost any device into a file server over http(s), webdav, ftp(s), and tftp - minimal variant
Turn almost any device into a file server over http(s), webdav, ftp(s), and tftp - most variant
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
Coq proof assistant
HTML documentation generator for Coq source files