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