MrChico

MrChico's Stars

• ethereum/go-ethereum

  Go implementation of the Ethereum protocol

  Language:Go47.8k2.2k8.2k20.2k

• NixOS/nixpkgs

  Nix Packages collection & NixOS

  Language:Nix18.4k27542.8k14.3k

• HoTT/book

  A textbook on informal homotopy type theory

  Language:TeX2k120634360

• rchain/rchain

  Blockchain (smart contract) platform using CBC-Casper proof of stake + Rholang for concurrent execution.

  Language:Scala69384257216

• dapphub/dappsys

  Composable building blocks for Ethereum contracts

  Language:Nix5793343101

• jwbuurlage/category-theory-programmers

  Category theory in the context of (functional) programming

  51429438

• wmayner/pyphi

  A toolbox for integrated information theory.

  Language:Python379383397

• danfinlay/js-eth-personal-sign-examples

  A simple web UI for demonstrating the provider API for signing & recovering messages.

  Language:JavaScript311119193

• dapphub/dapp

  This repository has been moved to dapphub/dapptools

  249276249

• dapphub/seth

  (OLD REPO) The command-line Ethereum army knife by DappHub

  147101725

• dapphub/ds-auth

  Updatable, unobtrusive Solidity authorization pattern

  Language:Solidity140121037

• runtimeverification/wasm-semantics

  A Prototype Formal Semantics of WebAssembly in K

  Language:WebAssembly78237023

• runtimeverification/casper-proofs

  Coq definitions and lemmas for verification of Casper

  Language:TeX171205

• dapp-studies/game-theory-study-group

  Notes and stuff related to the study group

  15932

• CirclesUBI/circles-prototype

  Language:TypeScript69100

• dapp-studies/linear_logic_study

  Language:TeX2200

• dapphub/k

  k-fork

  Language:Java21004

• typedefs/tdlc

  compiler

  1370