gvx

from veri import Verified


class Something(metaclass=Verified):
    # a single type
    some_int = int
    some_str = str
    # a 'struct' using tuples
    some_tuple = (int, int, str)
    # a list of integers

gvx

import sys

vowels = set('aeiouy')
consonants = set('bcdfghjklmnpqrstvwxz')

impossible_digraphs = ['aa', 'bg', 'bh', 'bk', 'bq', 'bw', 'bx', 'bz', 'cb', 'cf', 'cg', 'cj', 'cm', 'cp', 'cv', 'cw', 'cx', 'cz', 'dx', 'dz', 'fc', 'fd', 'fg', 'fj', 'fk', 'fn', 'fp', 'fq', 'fv', 'fw', 'fx', 'fz', 'gc', 'gj', 'gk', 'gq', 'gv', 'gx', 'gz', 'hj', 'hk', 'hq', 'hv', 'hx', 'hz', 'ij', 'iy', 'jb', 'jc', 'jd', 'jf', 'jg', 'jh', 'jj', 'jk', 'jl', 'jm', 'jn', 'jp', 'jq', 'jr', 'js', 'jt', 'jv', 'jw', 'jx', 'jy', 'jz', 'kq', 'kv', 'kx', 'kz', 'lj', 'lx', 'md', 'mj', 'mk', 'mq', 'mx', 'mz', 'pg', 'pj', 'pq', 'pv', 'px', 'pz', 'qa', 'qb', 'qc', 'qd', 'qe', 'qf', 'qg', 'qh', 'qi', 'qj', 'qk', 'ql', 'qm', 'qn', 'qo', 'qp', 'qq', 'qr', 'qs', 'qt', 'qv', 'qw', 'qx', 'qy', 'qz', 'rx', 'sx', 'sz', 'tq', 'tx', 'uj', 'uq', 'uw', 'uy', 'vb', 'vc', 'vd', 'vf', 'vg', 'vh', 'vj', 'vk', 'vl', 'vm', 'vn', 'vp', 'vq', 'vr', 'vs', 'vt', 'vv', 'vw', 'vx', 'vz', 'wj', 'wk', 'wp', 'wq', 'wv', 'ww', 'wx', 'wz', 'xb', 'xf', 'xg', 'xj', 'xk', 'xm', 

gvx

%{
#include "units.tab.c"
%}

%option noyywrap

int -?[0-9]+

%%
[ \t] /*empty*/

gvx

import gc
import weakref

class Object(object): pass

l = [Object()]
l[0].l = l

REFS = weakref.WeakKeyDictionary()
REFS[l[0]] = True

gvx

#include <signal.h>

void stop_self()
{
	raise(SIGSTOP);
}

int main()
{
	struct sigaction act;

gvx

#!/usr/bin/env python
import argparse
import sys


def tokenize(source):
    return list(source)


def parse(tokens):

gvx

-- kilobyte (and megabyte) constants
-- string like methods
-- implicit multiplication
-- successor function
debug.setmetatable(0, { __index = function(n, k)
	if k == 'K' then
		return n * 1024
	elseif k == 'M' then
		return n * 1024 * 1024
	else

gvx

"""
formula.py - propositional formulas for Python
by Robin Wellner
Hereby, I waive all rights to this library, as described at <http://creativecommons.org/publicdomain/zero/1.0/>

Examples:

foo = Atom('foo')
bar = Atom('bar')

gvx

-- CC0, see http://creativecommons.org/publicdomain/zero/1.0/ etcetera, etcetera

function from(source, which)
	local t = require(source)
	local function import (which)
		if which == '*' then
			for k, v in pairs(t) do
				if _G[k] == nil then
					_G[k] = v
				end

gvx

class Alias(object):
	def __init__(self, initial):
		self._set = {initial}
		self.initial = initial
	def add(self, alias):
		self._set.add(alias)
	def merge(self, other):
		self._set.update(other._set)
	def __iter__(self):
		return iter(self._set)