Discover @kpavery Open Source projects

Keith Avery (@kpavery)

kpavery

Stars
45
Global Rank 367,370 (Top 13 %)
Followers 30
Following 52
Registered almost 15 years ago
Most used languages

Scala
25.0 %

Python
25.0 %

JavaScript
25.0 %

Objective-C
25.0 %
Location 🇺🇸 United States
Country Total Rank 71,149
Country Ranking

Scala
594

Objective-C
7,868

System-Fo

An implementation of the "lightweight" linear type system for System F◦ presented in "Lightweight Linear Types in System F◦" by Mazurak, et al.

goldmine

Browser extension to get course data from UCSB GOLD.

CheckCSIL

A tiny Python script to check the UCSB CSIL for available workstations.

pomodoro

A non-intrusive pomodoro method timer for Mac OS X. Pauses iTunes during breaks.