Showing entries 5001-5100 out of 22233.
Automated theorem prover for full first-order logic with equality
Epson printer driver (BX535WD, BX630FW, BX635FWD, ME940FW, NX530, NX635, NX635, SX535WD, WorkForce…
Epson printer driver (L456, L455, L366, L365, L362, L360, L312, L310, L222, L220, L132, L130)
Epson AcuLaser C1100 Driver
ESC/P-R Driver (generic driver)
ESC/P-R 2 Driver (generic driver)
Proprietary CUPS drivers for Epson inkjet printers
Epson printer driver (L110, L210, L300, L350, L355, L550, L555)
Epson Scan 2 scanner driver for many modern Epson scanners and multifunction printers
Utility to create or extract preview images in EPS files, fix bounding boxes and convert to bitmap…
Script to extract the cover of an epub book and create a thumbnail for it
Simple command-line utility for Linux, for extracting text from EPUB documents
Validation tool for EPUB
CLI Ebook Reader
LV2 EQ plugins and more, with 64 bit processing
Custom Discord App aiming to give you better performance and improve linux support
The other cutest Discord client mod
Material Design theme for GNOME/GTK based desktop environments
Enhancement patches for Elden Ring adding ultrawide support, custom frame rate limits and more
Rainy clock in your terminal
File-tree visualizer and disk usage analyzer
ERESI Reverse Engineering Software Interface
Essential Routines for Fundamental Astronomy
Statically typed language that can deeply improve the Python ecosystem
Open protocol that implements modern scientific ideas in the blockchain area
Modern IRC server (daemon/ircd) written in Go
Quantum chemistry program for large-scale self-consistent field calculations
Map compile tools for Quake and Hexen 2
Ethereum node implementation focused on scalability and modularity
Implementation of ERIS for Go
Programming language used for massively scalable soft real-time systems
An IDE-first library for the semantic analysis of Erlang code, including LSP server, linting and r…
An IDE-first library for the semantic analysis of Erlang code, including LSP server, linting and r…
Userspace utilities for linux-erofs file system
SMB network scanner
Manage your tasks
Chatbot designed to be simple to extend with plugins written in Python
Checks for unchecked errors in go programs
Extensible shell with higher order functions
Extremely fast JavaScript bundler
Fork of esbuild maintained by netlify
Config files for esbuild
HTTP-based APIs test application for GNOME
Tor hidden service name generator
Linux screen capture using pygtk, inspired by scrot
Entropy Source and DRNG Manager in user space
Simple templating engine based on shell
Find and fix problems in your JavaScript code
Makes eslint the fastest linter on the planet
Template generation tool to create no_std applications targeting Espressif's chips
Cross-platform Text Expander written in Rust
Cross-platform Text Expander written in Rust
Compact open source software speech synthesizer
Open source speech synthesizer that supports over 70 languages, based on eSpeak
Phoneme editor for espeak
Lightweight connector for espeak-ng and speakup
Serial flasher utility for Espressif SoCs and modules based on esptool.py
Serial flasher utility for Espressif SoCs and modules based on esptool.py
Make creating custom firmwares for ESP32/ESP8266 super easy
Cargo tool for monitoring ESP32/ESP8266 execution
Multi-valued PLA minimization
ESP8266 and ESP32 serial bootloader utility
ESP8266/ESP32 build helper tool
Tool for installing and maintaining Espressif Rust ecosystem
AcousticBrainz audio feature extractor
Offline ShaderToy-compatible GLSL shader viewer using OpenGL ES 2.0
Estimate the unfolded site frequency spectrum and ancestral states
Minimal libnotify-based (egg) timer
Typeface used in Edward Tufte’s books
Tool for monitoring progress and ETA of an arbitrary process
Distributed reliable key-value store for the most critical data of a distributed system
Distributed reliable key-value store for the most critical data of a distributed system
Etebase (EteSync 2.0) server so you can run your own
Remote shell that automatically reconnects without interrupting the session
New school Doom port by James Haley
Secure, end-to-end encrypted, and privacy respecting sync for contacts, calendars and tasks
PoW algorithm for Ethereum 1.0 based on Dagger-Hashimoto
Online collaborative spreadsheet
IgH EtherCAT Master for Linux
Layer 2 version of WireGuard with Floyd Warshall implementation in Go
Ethernet NIC Queue stats viewer
Utility for controlling network drivers and hardware
Command output timestamper
Comprehensive suite for man in the middle attacks
Fork of udev with the aim of isolating it from init
Authoritative English Dictionary Software Essential Tools for English Learners
Geometry Drawing Language
Futuristic decorative font
Map editor for the classic DOOM games, and a few related games such as Heretic and Hexen
CLI tool to input and store your ideas without leaving the terminal
Family of geometric rounded sans serif fonts
Calculator REPL, similar to bc
More expressive universal gRPC client
EV Charge Controller
Evaluation context for Rust