• Stars
    star
    1
  • Language
    C
  • Created over 13 years ago
  • Updated over 12 years ago

Reviews

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

Repository Details

CG method for BSPlib

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

apa-proj2

Haskell
3
star
7

clitotp

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

ios-buildtools

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

pas-uminho

Repo for PAS subject (mCRL2 etc)
2
star
10

racket-docker

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

agda-gp

2
star
12

forest-fire

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

colloquium

Talk about Binders Unbound
Haskell
2
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