Popular repositories Loading

1. ornaments-thesis ornaments-thesis Public

   My master thesis about generic programming and ornaments

   Agda 16 2

2. mooArrayStableSort mooArrayStableSort Public

   A mootools-plugin. Adds a stable sort function to Google Chrome and other browsers.

   JavaScript 5

3. route-move route-move Public

   Copying routes from strava to garmin connect

   Python 3

4. MooDialog MooDialog Public

   Forked from arian/MooDialog

   MooDialog is a MooTools plugin to replace the native alert(), confirm() and prompt() javascript functions by more stylish ones. You can use it also for other DOM elements, create an IFrame dialog o…

   JavaScript 2

5. iFrameFormRequest iFrameFormRequest Public

   Forked from arian/iFrameFormRequest

   iFrameFormRequest is a MooTools plug-in that can upload files the Ajax way

   JavaScript 2

6. PiWare-prefixes PiWare-prefixes Public

   Parallel prefix sums in PiWare

   Agda 2