Skip to content

Highlights

  • Arctic Code Vault Contributor

Popular repositories

  1. Reflow is an Apache Maven site skin built on Bootstrap. It allows various structural and stylistic customizations to create a modern-looking Maven-generated website.

    Java 131 57

  2. A mirror of Isabelle/Scala code from the official Isabelle repository at http://isabelle.in.tum.de/repos/isabelle/. Restructured as Eclipse projects to work with Scala IDE for Eclipse.

    Scala 15 3

  3. Maven plugin to generate Eclipse PDE target definitions using POM-first dependencies. Supplements functionality of Eclipse Tycho to use OSGI bundles from Maven repositories in Eclipse Plug-in Devel…

    Java 15 3

  4. Eclipse integration for Isabelle proof assistant.

    Python 12 4

  5. Scripts for BibDesk application

    AppleScript 8 1

  6. Eclipse plug-in for Standard ML

    Java 7 3

1,130 contributions in the last year

Aug Sep Oct Nov Dec Jan Feb Mar Apr May Jun Jul Mon Wed Fri

Contribution activity

August 2020

6 contributions in private repositories Aug 4 – Aug 6

Seeing something unexpected? Take a look at the GitHub profile guide.

You can’t perform that action at this time.