Tarrasch/zsh-colors
Imagine a shell where `red ERROR` just works
Developer Profile
Tarrasch
Discovered public repositories for Tarrasch in the GitHub catalog.
Tarrasch/hipspec
The inductive theorem prover for Haskell
Tarrasch/ReportDefault
Default report templates for some standard report types.
Tarrasch/threepenny-personnummer
Validate personnummer using threepenny-gui
Tarrasch/unite-bibtex
a BibTeX source for unite.vim
Tarrasch/ministg
Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.
Tarrasch/git-fame-rb
Generates awesome stats from git-blame
Tarrasch/zsh-prompt-powerline
A ZSH prompt based on the powerline font from the popular vim plugin
Tarrasch/control-monad-exception
Explicitly Typed exceptions as a library
Tarrasch/zsh-i-know
Avoid catastrophes like accidentally running `rm -rf .giit`
Tarrasch/vim-easymotion
Vim motions on speed!
Tarrasch/gamla-po-uppgifter
[deprecated] My (very) old solutions to various Swedish PO problems
Tarrasch/PuzzleBobble
[deprecated] PuzzleBobble in Haskell
Tarrasch/zsh-history-substring-search
ZSH port of Fish shell's history search feature.
Tarrasch/pure
Pretty, minimal and fast ZSH prompt
Tarrasch/vault
A typed, persistent store for values of arbitrary types
Tarrasch/zsh-autoenv
Autoenv for zsh
Tarrasch/vim2hs
vim2hs :: Vim -> Haskell
Tarrasch/zsh-bd
Jump back to a specific directory, without doing `cd ../../..`
Tarrasch/packages-base
Copy of packages-base repository, with fixes to work with profiling branch.
Tarrasch/exjobb
None-code files for my master thesis work
Tarrasch/ghc
The Glorious Glasgow Haskell Compiler, with added support for profiling using the LLVM backend to generate DWARF debug information
Tarrasch/stacker
Hello world in elixir
Tarrasch/vim-dispatch
dispatch.vim: asynchronous build and test dispatcher
Tarrasch/motion-serving
[motion-grammar] A toy simulation of a robot serving drinks
Tarrasch/mg-lights
[motion-grammar] Blinking LED controlled with button using a motion grammar for control
Tarrasch/gnome-terminal-colors-solarized
Solarized Gnome Terminal colors, based on http://ethanschoonover.com/solarized
Tarrasch/zsh-command-not-found
A mirror of oh-my-zsh/plugins/command-not-found in case you don't want all of oh-my-zsh
Tarrasch/compilers-hws
My homeworks/material for the compiler course
Tarrasch/vim-antlr
Syntax highlighter for ANTLR files in vim
Tarrasch/deploy-keys-testing
Just testing deploy keys in github
Tarrasch/travis-testing
I test the irc functionality of travis
Tarrasch/dartgrip-stable
Meta repository tracking dart, grip, and grip-samples for proper versioning purposes
Tarrasch/grip
GRIP is a graphical interface that assists with developing applications based on DART.
Tarrasch/zsh-mcd
zsh plugin for `mkdir && cd`
Tarrasch/dart
Dynamic Animation and Robotics Toolkit
Tarrasch/ast-pass
homework 1 clang
Tarrasch/clang-tools-extra-private
homework 1 clang
Tarrasch/easyVision
Haskell packages for computer vision, image processing, and pattern recognition
Tarrasch/spectral
Spectral Algorithms Spring 2013
Tarrasch/clang-tools-extra
Mirror of official clang-tools-extra git repository located at http://llvm.org/git/clang-tools-extra. Updated hourly.
Tarrasch/find-class-decls
Public repository.
Tarrasch/test-suite
Mirror of official llvm git repository located at http://llvm.org/git/test-suite. Updated hourly
Tarrasch/cereal
Public repository.
Tarrasch/motion-grammar-kit
Formal Language Tools for Robots
Tarrasch/ach
IPC for Real-Time Robot Control
Tarrasch/clang
Messing with clang homework
Tarrasch/llvm
Mirror of official llvm git repository located at http://llvm.org/git/llvm. Updated hourly.
Tarrasch/windward
Public repository.
Tarrasch/grip-samples
Sample Tabs for the GRIP DART projects