larskuhtz

Seattle, WA, US

Pinned Repositories

chainweb-node
Chainweb: A Proof-of-Work Parallel-Chain Architecture for Massive Throughput
Language:Haskell249 49 20995
digraph
Directed Graphs
Language:Haskell6 15 15
merkle-log
Haskell Merkle Tree Logs
Language:Haskell5 5 40
cuckoo
Haskell Implementation of Cuckoo Filters
Language:Haskell6 3 11
ghci-pretty
tiny hack for colored pretty-printing within ghci
Language:Haskell20 4 25
hs-hashes
Haskell hash functions
Language:Haskell6 3 83
loglevel
Haskell Log-Level Datatype
Language:Haskell2 2 01
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.
Language:C++2 1 00
random-bytestring
Efficient Generation of Random Haskell ByteStrings
Language:Haskell2 2 13
wai-cors
A Haskell implementation of Cross-Origin resource sharing (CORS) for Wai
Language:Haskell26 3 1313

larskuhtz's Repositories

larskuhtz/loglevel
Haskell Log-Level Datatype
Language:Haskell2 2 01
larskuhtz/random-bytestring
Efficient Generation of Random Haskell ByteStrings
Language:Haskell2 2 13
larskuhtz/chainweb-node
Chainweb: A Proof-of-Work Parallel-Chain Architecture for Massive Throughput
Language:Haskell1 1 0
larskuhtz/minhash
Haskell MinHash implementation with a single hash function
Language:Haskell1 2 0
larskuhtz/rocksdb-haskell
Haskell bindings to RocksDB (http://rocksdb.org)
Language:Haskell1 0 0
larskuhtz/bigolchungus
Big Ol' Chungus - an OpenCL GPU miner for Kadena's Chainweb
Language:C0 0
larskuhtz/chainweb-history-validation
Repository for testing chainweb history validation workflow
2 0
larskuhtz/consensus-overview
Chainweb Consensus Overview
1 0
larskuhtz/data-dword
Stick two binary words together to get a bigger one
Language:Haskell1 0
larskuhtz/diagrams-svg
An SVG backend for diagrams
Language:Haskell1 0
larskuhtz/foundation
Empire strikes back
Language:Haskell0 0
larskuhtz/haskell-ide-engine
The engine for haskell ide-integration. Not an IDE
Language:Haskell1 0
larskuhtz/haskoin
Haskell implementation of the Bitcoin protocol
Language:Haskell1 0
larskuhtz/hasktags
Produces ctags "tags" and etags "TAGS" files for Haskell programs
Language:Haskell1 0
larskuhtz/hs-memory
haskell memory
Language:Haskell1 0
larskuhtz/insert-ordered-containers
Associative containers retating insertion order for traversals
Language:Haskell0 0
larskuhtz/install-chainweb-action
Github action for installing chainweb-node
Language:JavaScript1 0
larskuhtz/network
Low-level networking interface
Language:Haskell0 0
larskuhtz/optparse-applicative
Applicative option parser
Language:Haskell1 0
larskuhtz/QuickCheck-GenT
A GenT monad transformer for QuickCheck library
Language:Haskell1 0
larskuhtz/rocksdb
Pure C++ Node.js RocksDB binding. An abstract-leveldown compliant store.
Language:JavaScript0 0
larskuhtz/rocksdb-alpine-static
Static and shared RocksDB for Alpine Linux
Language:Dockerfile1 0
larskuhtz/safeio
Haskell Library for safe (atomic) IO
Language:Haskell1 0
larskuhtz/servant-swagger
Swagger for Servant
Language:Haskell1 0
larskuhtz/setup-haskell
Set up your GitHub Actions workflow with a specific version of Haskell (GHC and Cabal)
Language:TypeScript0 0
larskuhtz/streaming-with
with/bracket-style idioms for use with streaming
Language:Haskell0 0
larskuhtz/systemd
Haskell bindings for systemd
Language:Haskell0 0
larskuhtz/tasty-json
JSON report for tasty tests
Language:Haskell1 01
larskuhtz/wai
Haskell Web Application Interface
Language:Haskell0 0
larskuhtz/wai-middleware-throttle
WAI Request Throttling Middleware
Language:Haskell1 0