import sys
import ast
import operator
from collections import namedtuple
State = namedtuple('State', ('s', 'e', 'c', 'd'))
APPLY = lambda S, N, F: F(*[x.pop() for x in [S.s] * N])
PEEK = lambda S, N, F: F(*S.s[-1:0-N])
#!/usr/bin/env python
from __future__ import print_function
import sys
import json
import subprocess
def hydrate(ast):
if isinstance(ast, dict):
if 'nodeType' in ast:
nodeType = globals().get(ast['nodeType'], Node)
#!/usr/bin/env python
from __future__ import print_function
import os
import requests
import codecs
from bs4 import BeautifulSoup
View output-example.json
"body": [
"access": [
"name": "name",
"type": "string",
"value": "'Mainstreet Token'"
def topological_sort(source):
"""perform topo sort on elements.
:arg source: list of ``(name, [list of dependancies])`` pairs
:returns: list of names, with dependancies listed first
pending = [(name, set(deps)) for name, deps in source.items()] # copy deps so we can modify set in-place
emitted = []
while pending:
import re
import sys
def parse_any(symbols):
while len(symbols):
if symbols[0] == '(':
return parse_list(symbols[1:])
if symbols[0] == "'":
symbols, inner = parse_any(symbols[1:])
return symbols, ['quote', inner]
View ethpipe.sol
pragma solidity ^0.4.13;
EthPipe creates cryptographically secure off-chain financial channels.
Copyright (C) 2017 Harry Roberts
This program is free software: you can redistribute it and/or modify
it under the terms of the GNU Affero General Public License as published by
# -*- coding: utf-8 -*-
from z3 import *
SOLVER = Solver()
# √x
Y = Real("Y")
X = Y * Y
SOLVER.add(Y > 0.0)
#!/usr/bin/env python
from __future__ import print_function
import json
import re
from base64 import b32encode
from hashlib import sha1
RE_SPLIT = re.compile('[\.]')