by-name/zc - MyNixOS

Showing entries 1-3 out of 3.

Zero-configuration fan daemon for ThinkPads

Accelerated SAT Solver from Princeton

File format designed for highly efficient deltas while maintaining good compression