mkhl/thesis mkhl/thesis

  • Stars
    star
    1
  • Language
  • Created about 14 years ago
  • Updated almost 14 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
mkhl/thesis
github

mkhl

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

My diploma thesis — Integrating Maude into Hets

More Repositories

1

espresso-tutti-colori.tmtheme

Espresso-lookalike Theme for TextMate
35
star
2

bash.sugar

A Sugar adding sweet Bash support for Espresso
Shell
21
star
3

services.hgs

A Quick Search Box plugin for accessing the Services menu.
Objective-C
19
star
4

dotfiles

Yet another collection of dotfiles
Shell
15
star
5

textile.sugar

A Sugar adding sweet Textile support for Espresso
13
star
6

quiet-light.tmtheme

Peaceful coding, ported to TextMate
10
star
7

tm-syntax-inspector

Reimplementation of Espresso’s Syntax Inspector for TextMate
Objective-C
9
star
8

haskell.sugar

A sugar adding sweet Haskell support to Espresso
Python
9
star
9

smart-folders.hgs

A Quick Search Box plugin for accessing Smart Folders.
Objective-C
9
star
10

thor.tmbundle

TextMate bundle for Thor <http://github.com/wycats/thor>
8
star
11

maude.tmbundle

TextMate bundle for the Maude rewriting logic system. http://maude.cs.uiuc.edu/
Ruby
7
star
12

cmd

Go
6
star
13

bin

My ~/bin directory
Shell
6
star
14

finder-sidebar.hgs

A Quick Search Box plugin for accessing your Finder sidebar.
Objective-C
6
star
15

run-script.hgs

A Quick Search Box plugin for running scripts.
6
star
16

FastScripts.hgs

A Quick Search Box plugin for accessing the FastScripts menu.
C
5
star
17

nothing.tmtheme

A Theme without Colours
5
star
18

nokia-5220-xpressmusic.phoneplugin

iSync Plugin for the Nokia 5220 XpressMusic
5
star
19

mkhl.github.com

My GitHub page
CSS
5
star
20

color-theme-espresso

color-theme based on the default theme for Espresso
Emacs Lisp
4
star
21

ligatures-showcases

Fira Code showcases.txt, rendered in different fonts
Shell
4
star
22

tm-terminal

Ruby
4
star
23

emacs

My emacs config
Emacs Lisp
4
star
24

dock-items.hgs

A Quick Search Box plugin for accessing your Dock.
Objective-C
4
star
25

MKMacros

Useful (Objective-)C Macros
4
star
26

autopairs.tea

AutoPairs support for TEA for Espresso
3
star
27

color-theme-quiet-light

color-theme based on the eponymous theme for Espresso
Emacs Lisp
2
star
28

textile.tmbundle

My patches to the official Textile bundle for TextMate
2
star
29

monocle.hgs

A Quick Search Box plugin for using Monocle search engines.
Objective-C
2
star