Leonidas-from-XIV

#!/usr/bin/env python3
# A simple script to download stuff from Game One, a show on MTV.
# This code is public domain (if not applicable, then MIT licensed)
import re, urllib.request, urllib.parse, subprocess, sys, json, posixpath

# regex to get the variables from the page that the flash player uses
variable_re = re.compile(r'var variables = (.*);')
# crude regex to convert JS-dict syntax into JSON syntax
jsonize_re = re.compile(r' (\w+):')
# regex to get the path to the SWF file

Leonidas-from-XIV

<?xml version="1.0" encoding="UTF-8"?>
<interface>
  <!-- interface-requires gtk+ 3.0 -->
  <object class="GtkWindow" id="MainWindow">
    <property name="can_focus">False</property>
    <property name="has_resize_grip">False</property>
    <signal name="destroy" handler="on_window_destroy" swapped="no"/>
    <child>
      <object class="GtkBox" id="vbox">
        <property name="width_request">400</property>

Leonidas-from-XIV

import qualified Data.Map as M

type State = String
type Symbol = (String, Int)

data TreeAutomaton = TreeAutomaton
    { symbols :: [Symbol]
    , states :: [State]
    , finalStates :: [State]
    , delta :: M.Map (Symbol, [State]) State