Pinned Repositories
Grail-Plus
Grail+ is a set of command line tools for manipulating non-deterministic finite automata (NFAs), non-deterministic pushdown automata (PDAs), and context-free grammars (CFGs). Grail+ is built on top of the Formal Language Template Library (FLTL), a library for representing and symbolically manipulating CFGs, NFAs, and PDAs.
pdf-cut
cut part of pdf into a image, still in pdf format
segc
a high performance mmseg implement
sfh
Structured Fault Handling
stdcxx
tweeeet
twitter client based on pygtk
wmplg
An environment to write plugins to window manager as well as other X11 desktop facilities
mikeandmore's Repositories
mikeandmore/segc
a high performance mmseg implement
mikeandmore/wmplg
An environment to write plugins to window manager as well as other X11 desktop facilities
mikeandmore/pdf-cut
cut part of pdf into a image, still in pdf format
mikeandmore/tweeeet
twitter client based on pygtk
mikeandmore/Grail-Plus
Grail+ is a set of command line tools for manipulating non-deterministic finite automata (NFAs), non-deterministic pushdown automata (PDAs), and context-free grammars (CFGs). Grail+ is built on top of the Formal Language Template Library (FLTL), a library for representing and symbolically manipulating CFGs, NFAs, and PDAs.
mikeandmore/sfh
Structured Fault Handling
mikeandmore/stdcxx
mikeandmore/blogger-rst
blogger-rst
mikeandmore/BwTree
An open sourced implementation of Bw-Tree in SQL Server Hekaton
mikeandmore/caponia
A simple in-memory full-text-search engine for Clojure
mikeandmore/chestnut-64
mikeandmore/emacs-window-manager
A simple window manager for emacs (Concept implementation)
mikeandmore/fvwm3
FVWM version 3 -- the successor to fvwm2
mikeandmore/masstree-beta
Beta release of Masstree.
mikeandmore/rtags
A c/c++ client/server indexer for c/c++/objc[++] with integration for Emacs based on clang.
mikeandmore/Smyck-Color-Scheme
Color Scheme for Terminal.app, iTerm2, Vim, MacVim, Sublime Text2 and Textmate
mikeandmore/spice-web-client
A full featured and high performance SPICE web client written in Javascript and HTML5
mikeandmore/switcher
mikeandmore/sysmon
mikeandmore/tgt
mikeandmore/tpcc
Java implementation of TPC-C benchmark
mikeandmore/vmman
a qemu launcher
mikeandmore/xdg-desktop
xdg desktop and icon specification in Rust