Beast code in Giters

Kuat's repositories

Alloy for security

Language:RubyGPL-2.09 70

Music streaming server in 300 lines of code

Language:JavaScriptMIT2 30

Deductive synthesis of cache-oblivious dynamic algorithms

Language:JavaScript1 30

Automatically exported from code.google.com/p/scalasmt

Language:Scala1 20

The Scala programming language

Language:Scala000

[Cocoa] SPMediaKeyTap is a global event tap for the play/pause, prev and next keys on the keyboard.

Language:Objective-CNOASSERTION000

example status bar application for OS X in Swift

Language:SwiftMIT000