Lists (6)
Stars
a command line tool for URL parsing and manipulation.
A command line tool and library for transferring data with URL syntax, supporting DICT, FILE, FTP, FTPS, GOPHER, GOPHERS, HTTP, HTTPS, IMAP, IMAPS, LDAP, LDAPS, MQTT, MQTTS, POP3, POP3S, RTSP, SCP,…
Open-metrics endpoint for ONTAP, StorageGRID, E-Series, and Cisco switches
Archive of the Abstruse Goose website comics
The CompCert formally-verified C compiler
Industrial design files for Keychron keyboards and mice. 100+ models with CAD assets in STEP, DXF, DWG, and PDF. Source-available, with commercial use allowed for original compatible accessories wi…
A gping-inspired terminal visualization tool for monitoring real-time hardware sensor data from HWInfo.
A TUI for controlling and monitoring Framework Computers hardware built in Rust
Cross platform utilities useful for configuring features and assessing health on SATA, SAS, NVMe, and USB storage devices.
A cross-platform terminal based system monitor alternative to top for monitoring system process
Hands-on Workshop for RISC-V Summit Developer Days focused on Getting Started with RISC-V, Fedora and AI
Format Agnostic jQ -- process various formats with libjq
The low-level, core functionality of boto3 and the AWS CLI.
A terminal workspace with batteries included
A git diff pager based on delta but with a file tree, à la GitHub.
A computer science textbook
A SystemVerilog language server based on the Slang library.
Servo aims to empower developers with a lightweight, high-performance alternative for embedding web technologies in applications.
A (TUI/CLI) markdown navigator with tree-based structural navigation.
A tool for running small microbenchmarks on recent Intel and AMD x86 CPUs.