gh's repositories

• haksat — boolean sat based prover for H(@,E)
• highlighter — a pygments-like syntax highlighting lib for Haskell
• ssh — a pure-Haskell SSH server library