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/jslinux-truebit
mhhf/abi2
abi to something - helpers
mhhf/coc-isabelle
hacky version to make isabelle work with my vim setup
mhhf/CompMeta
mhhf/covid-crawler-script
mhhf/cyclejs-cookie
CycleJS Cookie Driver
mhhf/dappci
dappci webpage for displaying proofs and stuff
mhhf/dapptools
Dapp, Seth, Hevm, and more
mhhf/eth-conductor
mhhf/evm-semantics
K Semantics of the Ethereum Virtual Machine (EVM)
mhhf/flake-templates
mhhf/haskell-toy
mhhf/isabelle-test
mhhf/k
K Framework Tools 5.0
mhhf/k-token
formal verification of the medallion token
mhhf/klab-delegatecall
mhhf/lpk
mhhf/maid
src manager
mhhf/manix
A fast CLI documentation searcher for Nix.
mhhf/mcrl2-tests
mhhf/memehub.github.io
mhhf/neovim-config
mhhf/react-native
Cycle.js driver that uses React Native to render
mhhf/remarcable-screen
mhhf/secret
psssst
mhhf/signaling_games
mhhf/verified-smart-contracts
Smart contracts which are formally verified
mhhf/vimwiki
Personal Wiki for Vim
mhhf/xcolor
cli color helper
mhhf/xstream
An extremely intuitive, small, and fast functional reactive stream library for JavaScript