Pinned

1. covenant covenant Public

   Covenant - modern programming language for blockchains - it's a functional, statically-typed language with formal verification features

   Haskell 2 1

2. covenant-playground covenant-playground Public

   The Covenant Playground is a web service that runs on Accumulate nodes along with Covenant core. The service receives a Covenant smart-contract, wasm binary, compiles, and runs it.

   3 1

3. aves aves Public

   Haskell library for generating different cryptocurrency wallets

4. furnace furnace Public

   VM for blockchains

5. accumulate-rust-client accumulate-rust-client Public

   Small rust client for Accumulate JSON RPC

   Rust 3

6. accumulate-haskell-client accumulate-haskell-client Public

   Haskell client for Accumulate

   Haskell 3