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/wai-cors
A Haskell implementation of Cross-Origin resource sharing (CORS) for Wai
larskuhtz/ghci-pretty
tiny hack for colored pretty-printing within ghci
larskuhtz/cuckoo
Haskell Implementation of Cuckoo Filters
larskuhtz/hs-hashes
Haskell hash functions
larskuhtz/chainweb-3d
A prototype for a Chainweb 3d viewer
larskuhtz/decode-header
Decode and Print Kadena Chainweb Block Headers
larskuhtz/actions
Github actions for Haskell CI
larskuhtz/always-upload-cache
Cache dependencies and build outputs in GitHub Actions
larskuhtz/bellpepper
SNARK Circuit library
larskuhtz/cabal-cache-action
Cabal-Cache Github Action
larskuhtz/chainweb-header-range
Temporary Repository to share work in progress on chainweb header ranges
larskuhtz/chainweb-node-docker
larskuhtz/ChainwebSimulations
Chainweb Simulations
larskuhtz/cryptonite
lowlevel set of cryptographic primitives for haskell
larskuhtz/hashable
A class for types that can be converted to a hash value
larskuhtz/hostaddress
Haskell parser and tools for host addresses
larskuhtz/hs-sha-validation
Haskell Package for Validation of SHA Implementations
larskuhtz/ixset-typed
More strongly typed variant of the ixset Haskell package
larskuhtz/kadena.js
Public monorepo for all Typescript/Javascript related tools and libs for Kadena
larskuhtz/leveldown
Pure C++ Node.js LevelDB binding. An abstract-leveldown compliant store.
larskuhtz/linuxbrew-core
🍻🐧 Core formulae for the Homebrew package manager on Linux
larskuhtz/lurk-hs
Haskell Wrappers for Lurk
larskuhtz/lurk-rs
Lurk is a Turing-complete programming language for recursive zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common Lisp.
larskuhtz/massiv
Efficient Haskell Arrays featuring Parallel computation
larskuhtz/pact
The Pact Smart Contract Language
larskuhtz/sbv
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
larskuhtz/setup-z3
Install the Z3 binary in Github Actions
larskuhtz/streaming
An optimized general monad transformer for streaming applications, with a simple prelude of functions
larskuhtz/yaml
Support for serialising Haskell to and from Yaml.
larskuhtz/zk-light-clients
A collection of ZK light client libraries for various blockchains. (contact: @tchataigner)