Discover @jan-christiansen Open Source projects

Jan Christiansen (@jan-christiansen)

jan-christiansen

Stars
77
Global Rank 250,308 (Top 9 %)
Followers 68
Following 28
Registered over 13 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 15

Haskell
79

Objective-C
290

MOScrollView

Subclass of UIScrollView with custom timing function for animation of setContentOffset

cabal-uninstall

Very simple Haskell script to uninstall cabal packages

Language-based-Security

Course Language-based Security at Flensburg University of Applied Sciences

MOTabView

View displaying several tabs similar to the view used in Safari for iOS

Fortgeschrittene-funktionale-Programmierung

Course Advanced Functional Programming at Flensburg University of Applied Sciences

nextstep-plist

Parser and printer for NextStep style plist files

kif-parser

Process KIF iOS test logs