This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
import tkinter as tk | |
from tkinter import * | |
from tkinter import messagebox, simpledialog, filedialog, StringVar, ttk | |
import os | |
import sys, platform, traceback | |
import time | |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/usr/bin/env python | |
# This file implements Brzozowski's parsing-with-derivatives (see: | |
# https://arxiv.org/abs/1604.04695) with fairly simple and | |
# straightforward Python code. This implementation is naive and | |
# subject to exponential memory growth in the worst case; in practice, | |
# average complexity is closer to linear. This version recalculates | |
# derivatives every time they are needed; memoization, the first and | |
# most obvious optimization, is not implemented. | |
# |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
// Mixins.styl | |
has($name) | |
/&__{$name} | |
{block} | |
variant($name) | |
/&--{$name} | |
{block} | |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
! Hybrid Terminal Colours. Uses the palette from Tomorrow-Night: | |
! https://github.com/chriskempson/tomorrow-theme/blob/master/vim/colors/Tomorrow-Night.vim | |
! vim: ft=xdefaults | |
*background: #1D1F21 | |
*foreground: #C5C8C6 | |
! black | |
*color0: #282A2E | |
*color8: #373B41 | |
! red |