larskuhtz

wai-cors

A Haskell implementation of Cross-Origin resource sharing (CORS) for Wai

ghci-pretty

tiny hack for colored pretty-printing within ghci

cuckoo

Haskell Implementation of Cuckoo Filters

hs-hashes

Haskell hash functions

chainweb-3d

A prototype for a Chainweb 3d viewer

decode-header

Decode and Print Kadena Chainweb Block Headers

actions

Github actions for Haskell CI

always-upload-cache

Cache dependencies and build outputs in GitHub Actions

bellpepper

SNARK Circuit library

cabal-cache-action

Cabal-Cache Github Action

chainweb-node-docker

cryptonite

lowlevel set of cryptographic primitives for haskell

foundation

Empire strikes back

hashable

A class for types that can be converted to a hash value

hostaddress

Haskell parser and tools for host addresses

hs-sha-validation

Haskell Package for Validation of SHA Implementations

ixset-typed

More strongly typed variant of the ixset Haskell package

kadena.js

Public monorepo for all Typescript/Javascript related tools and libs for Kadena

leveldown

Pure C++ Node.js LevelDB binding. An abstract-leveldown compliant store.

linuxbrew-core

🍻🐧 Core formulae for the Homebrew package manager on Linux

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.

massiv

Efficient Haskell Arrays featuring Parallel computation

pact

The Pact Smart Contract Language

rocksdb

Pure C++ Node.js RocksDB binding. An abstract-leveldown compliant store.

rocksdb-alpine-static

Static and shared RocksDB for Alpine Linux

sbv

SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.

setup-z3

Install the Z3 binary in Github Actions

streaming

An optimized general monad transformer for streaming applications, with a simple prelude of functions

wai

Haskell Web Application Interface

yaml

Support for serialising Haskell to and from Yaml.