Pinned Repositories
cfs-ipfs
CollectionFS - IPFS Storage Adapter
dapple
A tool for contract system developers.
evolution
An image evolution written in java
gng
Growing Neural Gas
jslinux-truebit
mem
Decentral Json voting and validation system
meteor-contract-inspector
redisc
spore
A Decentral package manager for dApp development based on ethereum and ipfs
mhhf's Repositories
mhhf/dapple
A tool for contract system developers.
mhhf/epm
Ethereum Package Manager
mhhf/mem
Decentral Json voting and validation system
mhhf/AOTidF-bagger
mhhf/breaking_truffle_libraries
mhhf/calc
Calculus Toolbox
mhhf/calculus-toolbox
A set of tools for generating calculi in Isabelle and supporting tools through a JSON description file
mhhf/celf
mhhf/dapple-exec
create dapple executables
mhhf/demo_simple_storage
mhhf/docgen
my private document generator
mhhf/ethereumjs-tx
A simple module for creating, manipulating and signing ethereum transactions
mhhf/ethereumjs-vm
the ethereum VM implemented in JS
mhhf/EtherSim
EtherSim is a Limited Ethereum RPC simulator for testing and development purposes
mhhf/ethrun
Directly run EVM bytecode
mhhf/layout_test
mhhf/liquidLearning-poc
Proof of Concept of the Liquid Learning App
mhhf/logic_homework
mhhf/LuK2015
Logik und Komplexität gemeinsame Notizen
mhhf/memhub.io
mhhf/meteorcrash
Example of an meteor bug
mhhf/meteord
MeteorD - Docker Runtime for Meteor Apps for Production Deployments
mhhf/sol-rlp
solidity rlp implementation
mhhf/solidity
The Solidity Contract-Oriented Programming Language
mhhf/test_hooks
mhhf/testrpc
Fast Ethereum RPC client for testing and development
mhhf/testrpc-breaking-example
mhhf/testrpc_error_propagation
Failing example
mhhf/web3.js
Ethereum Compatible JavaScript API
mhhf/xmonad.hs