Showing entries 3201-3300 out of 21361.
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
Library and command-line utility for rendering projects templates
Build, Release and Operate Containerized Applications on AWS
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
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
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
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
Open-source APM & Observability tool
Group Communication System with features for implementing high availability within applications
Corral is a dependency management tool for ponylang (ponyc)
Amazon's distribution of OpenJDK
Amazon's distribution of OpenJDK
Amazon's distribution of OpenJDK
Tool for integrating Rust into an existing CMake project
Render wave files into oscilloscope views, featuring advanced correlation-based triggering algorit…
Simple image glitcher suitable for producing lockscreens
Python module to check for Cross-Origin Resource Sharing (CORS) misconfigurations
Reimplementation of the 1997 Bullfrog business sim Theme Hospital
Mesh compression library, designed for rendering and speed
Tool and libraries for maintaining Ruby gems
Container Signing CLI with support for ephemeral keys and Sigstore signing
Applets for the COSMIC Desktop Environment
Application Template for the COSMIC Desktop Environment
Applies Background for the COSMIC Desktop Environment
Compositor for the COSMIC Desktop Environment
Design Demo for the COSMIC Desktop Environment
Text Editor for the COSMIC Desktop Environment
File Manager for the COSMIC Desktop Environment
Greeter for the COSMIC Desktop Environment
System76 Cosmic icon theme for Linux
Launcher for the COSMIC Desktop Environment
Notifications for the COSMIC Desktop Environment
OSD for the COSMIC Desktop Environment
Panel for the COSMIC Desktop Environment
Additional wayland-protocols used by the COSMIC desktop environment
Library and utility for displaying and configuring Wayland outputs
Screenshot tool for the COSMIC Desktop Environment
Session manager for the COSMIC desktop environment
Settings for the COSMIC Desktop Environment
Settings Daemon for the COSMIC Desktop Environment
App Store for the COSMIC Desktop Environment
Terminal for the COSMIC Desktop Environment
Wallpapers for the COSMIC Desktop Environment
Workspaces Epoch for the COSMIC Desktop Environment
Compilers for Cosmopolitan C/C++ programs
Your build-once run-anywhere c library
Distributed Communication-Optimal Shuffle and Transpose Algorithm
Common OVF Tool
Trustworthy, encrypted, command-line TOTP/HOTP authenticator app with import functionality
Package manager for JavaScript projects
TURN server
Shell for Couchbase Server and Cloud