abakst/iTerm2-Color-Schemes
iTerm Colors - A set of iTerm 2 color schemes/themes. Some schemes have been ported from Mac OSX's Terminal application
Developer Profile
abakst
Discovered public repositories for abakst in the GitHub catalog.
abakst/liquid-fixpoint
Haskell Interface for Back-End Implication / Horn Clause Constraint Solving for Liquid Types
abakst/teaching
Class materials
abakst/language-ecmascript
JavaScript parser and additional tools
abakst/pandoc-templates
Templates for pandoc
abakst/algorithmic-software-verification
Course Materials for Graduate Class on Algorithmic Software Verification
abakst/Twitkov
Tweet generator
abakst/runonhost
Attempts to determine if a command is to be executed on a filesystem that lives on a remote host. If so, runs the command on the remote host via ssh.
abakst/Space-
Public repository.
abakst/Zoepis
An OpenGL Game/Simulation Engine in Haskell