ZX's starred repositories

xg2xg

by ex-googlers, for ex-googlers - a lookup table of similar tech & services

quic-go

A QUIC implementation in pure Go

wabt

The WebAssembly Binary Toolkit

Language:C++License:Apache-2.0Stargazers:6867Issues:155Issues:752

wav2letter

Facebook AI Research's Automatic Speech Recognition Toolkit

Language:C++License:NOASSERTIONStargazers:6390Issues:246Issues:925

blockscout

Blockchain explorer for Ethereum based network and a tool for inspecting and analyzing EVM based blockchains.

Language:ElixirLicense:GPL-3.0Stargazers:3616Issues:92Issues:5407

consensus-specs

Ethereum Proof-of-Stake Consensus Specifications

Language:PythonLicense:CC0-1.0Stargazers:3568Issues:242Issues:928

specs

Technical specifications for the libp2p networking stack

awesome-decentralized-finance

A curated list of awesome decentralized finance projects

verified-smart-contracts

Smart contracts which are formally verified

Language:SolidityLicense:NOASSERTIONStargazers:716Issues:50Issues:18

slate

WIP - We're building the place you go to discover, share, and sell files on the web.

Language:JavaScriptLicense:MITStargazers:526Issues:17Issues:524

go-libp2p-kad-dht

A Kademlia DHT implementation on go-libp2p

Language:GoLicense:MITStargazers:526Issues:48Issues:324

evm-semantics

K Semantics of the Ethereum Virtual Machine (EVM)

Language:PythonLicense:BSD-3-ClauseStargazers:508Issues:55Issues:347

py-ipfs

python implementation of ipfs

Language:PythonLicense:MITStargazers:477Issues:83Issues:34

go-libp2p-pubsub

The PubSub implementation for go-libp2p

Language:GoLicense:NOASSERTIONStargazers:327Issues:42Issues:224

eth2.0-pm

ETH2.0 project management

Language:PythonLicense:NOASSERTIONStargazers:261Issues:102Issues:130

mustekala

MetaMask Light Client Development

Language:GoLicense:MITStargazers:225Issues:34Issues:17

shasper

Parity Shasper beacon chain implementation using the Substrate framework.

Language:RustLicense:GPL-3.0Stargazers:197Issues:27Issues:38

klab

K framework proof explorer & smart contract specification format

Language:JavaScriptLicense:AGPL-3.0Stargazers:123Issues:17Issues:106

specs-actors

DEPRECATED Specification of builtin actors, in the form of executable code.

Language:GoLicense:NOASSERTIONStargazers:86Issues:40Issues:586

wasm-chisel

Some useful utilities to transform WebAssembly binaries.

Language:RustLicense:Apache-2.0Stargazers:56Issues:10Issues:47

eth_state

data and charts for Ethereum state analysis

Language:HTMLLicense:Apache-2.0Stargazers:47Issues:7Issues:3

py-multiaddr

multiaddr implementation in Python

Language:PythonLicense:NOASSERTIONStargazers:33Issues:12Issues:21

adex-protocol-substrate

Substrate implementation of the AdEx Protocol v4: OUTPACE & Registry

Language:RustLicense:UnlicenseStargazers:32Issues:7Issues:2

go-libp2p-webrtc-star

libp2p WebRTC transport in Go that includes a discovery mechanism provided by the signalling-star

Language:GoLicense:Apache-2.0Stargazers:27Issues:3Issues:1

CryptoLife

A repo for all the #CryptoLife Hackathon submissions, The National House Smichov, Prague, 26-28th October 2018.

License:MPL-2.0Stargazers:23Issues:7Issues:0

kademlia

Example project using go-libp2p-kad-dht

guidelines

Smart Contract Security Guidelines

humminglend

A lending bot that maximizes the interest you earn from decentralized lending protocols like Compound Finance

Language:JavaScriptLicense:MITStargazers:8Issues:2Issues:1
Language:RustLicense:NOASSERTIONStargazers:5Issues:2Issues:2

AGE

Files for Agents, Games, and Evolutin

Language:NetLogoLicense:GPL-3.0Stargazers:2Issues:2Issues:0