Lars Kuhtz's repositories
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.
hs-certificate
Certificate and Key Reader/Writer in haskell
base64-bytestring
Fast base64 encoding and decoding for Haskell.
bayhac2014
example package for class at BayHac 2014 on development with the Haste compiler
error-ideas
Just a temporary repo for some ideas
haste-compiler
A Haskell to Javascript compiler.
haste-ffi-parser
Programm for easier writing ffi for the haste haskell to js compiler
hs-aws-performance-tests
Performance Tests for the Haskell Bindings for Amazon Web Services (AWS)
hs-cabal-tools
Scripts and tools for custom Cabal setups
hs-connectivity-test
Tools for testing network connectivity