Betterpath's repositories
Coq-Haskell
A library for formalizing Haskell types and functions in Coq
Terraform-AWS-Quorum-Cluster
A tool to launch a quorum cluster in AWS leveraging Hashicorp software.
Cardano-SL
Cryptographic currency implementing Ouroboros PoS protocol
Common-Evidence-Model
Structure for standardizing evidence about drug-outcome relationship across disparate evidence soures
Elm-Native-UI
Experimental: mobile apps in Elm using React Native.
Elm-Ops-Tooling
Tooling for Elm ops
erc20-semantics
ERC20 in K
GDPR-Transparency-and-Consent-Framework
Technical specifications for IAB Europe Transparency and Consent Framework that will help the digital advertising industry interpret and comply with EU rules on data protection and privacy - notably the General Data Protection Regulation (GDPR) that comes into effect on May 25, 2018.
Imageproxy
A caching, resizing image proxy written in Go
Metamorphosys
Metamorphosys UMLS
Perspective
Streaming pivot visualization via WebAssembly
Quorum-Docker-Nodes
Run a bunch of Quorum nodes, each in a separate Docker container.
Quorum-Playground
Examples for Quorum
Rainbow-Deploys
๐ ๐ ๐
React-Native-Apple-HealthKit
A React Native package for interacting with Apple HealthKit
Treasury-Coin
An experimental implementation of a treasury system based on Scorex framework