pirapira Goto Github PK

async_lazy_rpc

awesome-ethereum-virtual-machine

Ethereum Virtual Machine Awesome List

bamboo

Bamboo see https://github.com/cornellblockchain/bamboo

bamboo-tests

Little prost to test bamboo contracts with mocha and web3js

base

Standard library for OCaml

bigint

bitcoin

Bitcoin Core integration/staging tree

book

truffle practice

bst

Binary search tree based on a logarithmic method

c10k

Network server library to handle over 10,000 connections in Haskell

casper

Casper contract, daemon and related software and tests

cbc_casper

Isabelle formalization of binary consensus

cedille

Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations

certifier-website

Certifier Website

cltt

concurrentset

contracts

A bin for all the contracts we do

coq2rust

Coq to Rust program extraction. The whole tree is on the original Coq code base.

cpp-ethereum

Ethereum C++ client

cpp2v

Formalization of C++ for verification purposes.

cryptokit

A library of cryptographic primitives (ciphers, hashes, etc) for OCaml

dao

The DAO smart contracts

dapp-address

Dapp for Parity default address info view

dapp-addresses

Dapp for the Parity default addressbook view

dapp-chaindeploy

Dapp for doing a simple base contract deployment to a new chain

dapp-console

A JavaScript console Dapp

dapp-contract

Dapp for interacting with a contract

dapp-contracts

Dapp for viewing a list of available contracts

dapp-dapp-accounts

Dapp for managing the accounts visible to dapps

dapp-dapp-methods

Dapp to manage the methods/permissions available to all dapps