Pinned Repositories
chainweb-node
Chainweb: A Proof-of-Work Parallel-Chain Architecture for Massive Throughput
digraph
Directed Graphs
merkle-log
Haskell Merkle Tree Logs
cuckoo
Haskell Implementation of Cuckoo Filters
ghci-pretty
tiny hack for colored pretty-printing within ghci
hs-hashes
Haskell hash functions
loglevel
Haskell Log-Level Datatype
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.
random-bytestring
Efficient Generation of Random Haskell ByteStrings
wai-cors
A Haskell implementation of Cross-Origin resource sharing (CORS) for Wai
larskuhtz's Repositories
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.
larskuhtz/dns
DNS libary in Haskell
larskuhtz/hs-certificate
Certificate and Key Reader/Writer in haskell
larskuhtz/aws
Amazon Web Services for Haskell
larskuhtz/base64-bytestring
Fast base64 encoding and decoding for Haskell.
larskuhtz/bayhac2014
example package for class at BayHac 2014 on development with the Haste compiler
larskuhtz/cabal
Fork of Cabal and cabal-install that features a version of cabal-install that supports connections over TLS
larskuhtz/curl
A Haskell binding to the curl library
larskuhtz/error-ideas
Just a temporary repo for some ideas
larskuhtz/haste-compiler
A Haskell to Javascript compiler.
larskuhtz/haste-ffi-parser
Programm for easier writing ffi for the haste haskell to js compiler
larskuhtz/hs-aws-general
Haskell Bindings for AWS General API
larskuhtz/hs-aws-performance-tests
Performance Tests for the Haskell Bindings for Amazon Web Services (AWS)
larskuhtz/hs-cabal-tools
Scripts and tools for custom Cabal setups
larskuhtz/hs-connectivity-test
Tools for testing network connectivity
larskuhtz/stm-conduit
STM-based channels for conduits.