larskuhtz/stm-conduit
STM-based channels for conduits.
Developer Profile
larskuhtz
Discovered public repositories for larskuhtz in the GitHub catalog.
larskuhtz/ghci-pretty
tiny hack for colored pretty-printing within ghci
larskuhtz/error-ideas
Just a temporary repo for some ideas
larskuhtz/hs-configuration-tools
Tools for defining and parsing configurations of Haskell applications
larskuhtz/dns
DNS libary in Haskell
larskuhtz/hs-certificate
Certificate and Key Reader/Writer in haskell
larskuhtz/MoCS
Monitor Circuit Synthesis. MoCS compiles monitor circuits from linear time temporal logic specifications. The input logic is similar to PSL by allowing nesting of regular expressions within temporal modalities. The output of MoCS is a synthesizable VHDL description of the monitor circuit.