用 Groff 编写的库

funsat

Haskell 中的高效、嵌入式 DPLL SAT 求解器。
  • 35
  • BSD 3-clause "New" or "Revised"

openssh-jman

OpenSSH 手册页的日语翻译。
  • 13

markov3

修订和改进了 markov3,一个 Usenet 文章生成器。
  • 6