Popular repositories

1. alacrity alacrity Public

   DSL for Secure DApps

   JavaScript 32 5

2. legicash-facts legicash-facts Public

   Fast Cryptocurrency Transactions, Securely (https://j.mp/FaCTS)

   OCaml 10

3. lavbda lavbda Public

   Language Abstraction for [V]erifiable Blockchain Distributed Applications

   CSS 3

4. bbtwatcl bbtwatcl Public

   Binding Blockchains Together with Accountability through Computability Logic — Talk at LambdaConf 2018

   Scheme 3

5. mkb mkb Public

   Mutual Knowledgebase

   Rust 3

6. bdao bdao Public

   Building Distributed Applications in OCaml (LambdaConf Talk)

   CSS 2