• Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language
    Haskell
  • Created over 13 years ago
  • Updated over 13 years ago

Reviews

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

Repository Details

More Repositories

1

debounce-mac

Frustrated that OS X doesn't have a simple software keyboard debouncer. Here's my hack.
Objective-C
162
star
2

Spotiqueue

Dead-simple queue-oriented client for Spotify
Swift
81
star
3

dotfs

DotFS allows per-host configuration by providing dotfiles on a virtual FS.
Haskell
6
star
4

confluence-dump

i want all the pages locally
Go
5
star
5

keez

Tool to simplify copying and modifying AWS SSM Parameter Store values
Rust
5
star
6

clitotp

Hacky script to generate TOTPs on the CLI. 🌽 🐈
Python
2
star
7

ios-buildtools

Useful utilities for building iOS projects, etcetera.
Shell
2
star
8

pas-uminho

Repo for PAS subject (mCRL2 etc)
2
star
9

racket-docker

Happy fluffy yaks abound in verdant pastures.
Racket
2
star
10

agda-gp

2
star
11

forest-fire

Compute transitive closure of uses of CloudFormation exports.
Haskell
2
star
12

colloquium

Talk about Binders Unbound
Haskell
2
star
13

bsp-cg

CG method for BSPlib
C
1
star
14

cco-types

4th assignment CCO
Haskell
1
star
15

greasemonkey

Some scripts I find useful.
JavaScript
1
star
16

cco-tdiag

CCO 2nd assignment
Haskell
1
star
17

cco-staticlink

CCO 3rd assignment, static link optimisation
Haskell
1
star
18

spotiqueue-old

A simple queue GUI for Spotify. OS X only, for now.
C
1
star
19

eratosthenes

Project for Parallel Algorithms mathematics course
C
1
star
20

cco-bibtex2html

Compiler Construction 2011, first assignment
Haskell
1
star
21

lunch-roulette

Spin the wheel and have lunch with a stranger!
Ruby
1
star
22

SwiftMenu

Gaah, xmenu doesn't work and Hammerspoon isn't to my taste. Emacs Helm is great but new frame creation is too slow! 👿
Swift
1
star