Lists (6)
Stars
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.
Composing and deciphering C (or C++) declarations or casts, aka ‘‘gibberish.’’