dservgun

bighfi

moving the ccar-websockets to bighfi

calendricalcomputations

CompCert-small-tests

A small test suite for the CompCert C verified compiler

distributed-process

Cloud Haskell core library

dservgun.github.io

Blogs, thoughts etc.

feed

Haskell package for handling various feed (RSS) formats.

gen

Common generator scripts for all client libraries

GF

GF, Grammatical Framework, is a programming language for multilingual grammar applications. This is a mirror of the darcs repository.

gitignore

The largest collection of useful .gitignore templates

grpc

The C based gRPC (C++, Python, Ruby, Objective-C, PHP, C#)

gRPC-haskell

Haskell gRPC support

grpc.github.io

The grpc.io website. (on GitHub pages)

haskell

Haskell client for the kubernetes API. A work in progress.

haskell-hedgehog

Release with confidence, state-of-the-art property testing for Haskell.

henryswerk

k8sUtils

kafunk

Kafunk: F# Kafka client

Lab-Group

ocaml-cohttp

An OCaml library for HTTP clients and servers using Lwt or Async

pact

The Pact Smart Contract Language

piqi_haskell

pkcs10-hs

Haskell PKCS #10 library

realitz

Real estate analysis, not real analysis.

resume

TBD

scilla

Scilla - A Smart Contract Intermediate Level Language

slacf

SLACF related documentation.

tezos

A self-amending cryptographic ledger

tezos_commons_proposal

A proposal to help gain adoption of Tezos within the crypto-currency community.

volare

Web-based flight analyzer for hanggliding and paragliding

zya