Jan Christiansen (@jan-christiansen)
github

jan-christiansen

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    77
  • Global Rank 250,980 (Top 9 %)
  • Followers 68
  • Following 28
  • Registered almost 14 years ago
  • Most used languages
    Haskell
         57.1 %
    Objective-C
         28.6 %
    Coq     14.3 %
  • Location πŸ‡©πŸ‡ͺ Germany
  • Country Total Rank 12,151
  • Country Ranking
    Coq     16
    Haskell
         80
    Objective-C
         289

Top repositories

1

MOScrollView

Subclass of UIScrollView with custom timing function for animation of setContentOffset
Objective-C
37
star
2

cabal-uninstall

Very simple Haskell script to uninstall cabal packages
Haskell
28
star
3

Language-based-Security

Course Language-based Security at Flensburg University of Applied Sciences
Coq
5
star
4

MOTabView

View displaying several tabs similar to the view used in Safari for iOS
Objective-C
5
star
5

Fortgeschrittene-funktionale-Programmierung

Course Advanced Functional Programming at Flensburg University of Applied Sciences
Haskell
3
star
6

nextstep-plist

Parser and printer for NextStep style plist files
Haskell
3
star
7

kif-parser

Process KIF iOS test logs
Haskell
1
star