Showing entries 22701-22800 out of 24672.
Free Open-Source filesystem on-the-fly encryption
Command line and GUI industry supported PDF/A and PDF/UA Validation
Command line and GUI industry supported PDF/A and PDF/UA Validation
French and Italian verb conjugator
Compute functions of 2- and 3-dimensional regions
Suite of SystemVerilog developer tools
SystemVerilog Language Server
Verification for C and Java programs via separation logic
Cryptographic protocol analysis for students and engineers
Fast and robust (System)Verilog simulator/compiler and linter
Open, trustable and efficient SMT-solver
Concurrently detect the minimum Python versions needed to run code
Game and app launcher for Linux - native, Windows, and retro
Qt based Veroboard/Perfboard/PCB layout and routing application
Toolbox for converting, checking and serving map tiles in various formats
Lookup for $version in the output of --help and --version
Versity S3 gateway, a high-performance S3 translation service
Benchmark multiple API endpoints against each other
Digital currency with mining decentralisation and ASIC resistance as a key focus
Digital currency with mining decentralisation and ASIC resistance as a key focus
Speeding up the estimation of phylogenetic trees for large alignments through parallelization and …
Modern Hardware Description Language
Alternate client for Discord with Vencord built-in
Command-line tool for Vespa.ai
Static analysis of vulnerabilities, Docker and Kubernetes cluster configuration
3D visualization program for structural models, volumetric data such as electron/nuclear densities…
Scientific plotting and graphing program with a GUI
Beautiful, fast, and feature-rich terminal-based Excel and CSV viewer built with Go
Tool to create, transform and attest VEX metadata
Simple command line tool to start VMs through the macOS Virtualization framework
Extendable version manager
Tools for working with genome variation graphs
VGM file extraction tools
New VGMPlay, based on libvgm
Library for playback of various streamed audio formats used in video games
Collection of tools for the VGM file format
Tool to convert proprietary, sequenced videogame music to industry-standard formats
User-friendly pager for grep/git-grep/ripgrep
VHDL to Verilog converter
Fast VHDL language server
Virtio-sound device using the vhost-user protocol
Tool for generating terminal GIFs with code
MongoDB TUI manager designed to simplify data visualization and quick manipulation
Yet another keyboard configurator
Open-source GUI and QMK fork for configuring your keyboard in real time
Instant messaging and Voice over IP (VoIP) app
Tool to automate managing your screen's saturation depending on what programs are running
Emulators for a variety of 8-bit Commodore computers
Provides local testing for developers working with Compute@Edge
Native, fast, extensible launcher for the desktop
Free programming font with cursive italics and ligatures
User friendly log database from VictoriaMetrics
User friendly log database from VictoriaMetrics
Fast, cost-effective and scalable time series database, long-term remote storage for Prometheus
Fast, cost-effective and scalable time series database, long-term remote storage for Prometheus
Fast open-source observability solution for distributed traces
Video stabilization library
Modern yet simple multi-platform video cutter and joiner
Modern watch command
Split screen video comparison tool
GUI application based on yt-dlp
Trim videos quickly
AI-powered video upscaling tool
Merge video & audio files via CLI
Prediction and comparison of RNA secondary structures
Fast and simple image viewer
Displays a tree showing the widget class hierarchy of the Athena Widget Set (libxaw)
Vi-like file manager
Vi-like file manager; Includes support for optional features
Novel computer vision C++ library with customizable algorithms and data structures
GPS data editor and analyzer
Todo-app to organize your life
Desktop App of the Vikunja to-do list app
High level stage 0/1 C2 framework that can handle multiple TCP socket & HoaxShell-based revers…
Most popular clone of the VI editor
Long-term maintenance fork of Vim 8.2
Most popular clone of the VI editor
VImScript language server, LSP for vim script
Small Go program for better vim --startuptime alternative
Fast and Highly Extensible Vim script Language Lint implemented by Python
Vim-like browser
Vim-like browser
CLI to generate vim/nvim help doc from LuaCATS
Language server for vim help files
A convenience wrapper for gvim/mvim --remote(-tab)-silent to open files in an existing instance of…
Game that tests Vim efficiency
Learn vim from your terminal with spaced repetition
Image viewer with Vim-like keybindings (Qt port)
X cursor theme inspired by Materia design
Material Design icon theme based on Paper icon theme
Use Vim as PAGER
Use Vim as PAGER
Batch-rename files using Vim
Command line utility for batch-renaming files
Vimwiki markdown plugin
Open-source, minimal, configurable, fast bootstrapper for running Roblox Studio on Linux
In-development indie sandbox game about innovation and exploration