Michael Budde (@mbudde)
github

mbudde

Twitter logo Share LinkedIn logo Share Facebook logo Share

Top repositories

1

jana

An interpreter for Janus, the reversible programming language.
Haskell
14
star
2

tabulate

Tool for aligning data in columns
Rust
9
star
3

homedir

My configuration files
Shell
6
star
4

ledger-pkg

[Abandoned] See instead: https://github.com/mbudde/ledger
C++
5
star
5

kufront

LaTeX frontpage with University of Copenhagen logo
TeX
5
star
6

rhythmweb

Fork of Rhythmweb, a web interface for Rhythmbox for controlling playback through a browser.
JavaScript
4
star
7

bean-copy-txn

Rust
4
star
8

mail-indicator

Mail notificator for Ubuntu MessagingMenu.
Python
4
star
9

aplacc

APL to Accelerate compiler through a typed IL
Haskell
3
star
10

treap-rs

A randomized treap implementation in Rust
Rust
3
star
11

rb-party-lockdown

Rhythmbox plugin for locking down β€œParty Mode”
Python
3
star
12

waf-tools

Various Waf tools written by myself.
Python
2
star
13

likebox-player

Vala
2
star
14

ekg-renamer

Python
1
star
15

dotemacs

Emacs configuration
Emacs Lisp
1
star
16

ergoemacs

Ergoemacs git mirror
Emacs Lisp
1
star
17

kubeamertheme

1
star
18

retempler

File renaming with regex and templates
Python
1
star