taruti/permfixer
Public repository.
Package nodename fetches the name of the current machine as a short hostname, domain name, full dns name (host.domain).
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
Public repository.
parrun - shell utility to run commands in parallel.
Package packetio provides length delimeted typed serialization compatible with protobuf.
Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for emacs.