Bibliothèques écrites en Groff

funsat

Un solveur DPLL SAT efficace et intégrable dans Haskell.
  • 34
  • BSD 3-clause "New" or "Revised"

openssh-jman

Traduction japonaise des pages de manuel OpenSSH.