Popular repositories

1. x-painter x-painter Public

   A Paint-like application written in C using GTK+

   C 4 2

2. static-timing-analysis static-timing-analysis Public

   Analyzes a boolean circuit together with rising and falling delays, computes valid routes and outputs the best and worst timings for each one.

   Scala 3 1

3. kdecaf-jvm kdecaf-jvm Public

   A compiler for the decaf typed language. It targets the JVM.

   Scala 2

4. gf-book gf-book Public

   Exercises from the Grammatical Framework book by Aarne Ranta

   2 1

5. Configs Configs Public

   Personal config files for shell, emacs, xmonad, ipython and more

   Emacs Lisp 2

6. kmels.net kmels.net Public

   My personal webpage (kmels.net) source

   Java 2 3