Patrik Jansson (@patrikja)
github

patrikja

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    109
  • Global Rank 195,484 (Top 7 %)
  • Followers 93
  • Following 67
  • Registered over 13 years ago
  • Most used languages
    Haskell
         58.3 %
    TeX
         16.7 %
    Python
         8.3 %
    Java
         8.3 %
    Agda     8.3 %
  • Location 🇸🇪 Sweden
  • Country Total Rank 1,917
  • Country Ranking
    Agda     9
    Haskell
         25
    TeX
         70
    Java
         2,180
    Python
         4,386

Top repositories

1

autosar

A simplified model of programming in autosar
Haskell
62
star
2

AFPcourse

http://www.cse.chalmers.se/edu/course/afp/
Haskell
17
star
3

PolyP

PolyP - a polytypic programming language
Haskell
5
star
4

PAD

Programansvarig Datateknik 300 hp / Computer Science and Engineering / Chalmers
TeX
4
star
5

SeqDecProb_Agda

Agda
3
star
6

LearningHaskellDataAnalysis

Some notes and code from working through the book "Learning Haskell Data Analysis"
Haskell
3
star
7

progolymp

Some problems and solutions from http://www.progolymp.se/
Haskell
2
star
8

ClassLaws

http://wiki.portal.chalmers.se/cse/pmwiki.php/FP/ClassLaws
Haskell
2
star
9

ProfLect

Material related to my inaugural lecture as Full Professor of Computer Science (2015-08-21, Chalmers).
TeX
2
star
10

MScThesisExaminer

Some documents related to my role as examiner (for the Programming Languages area) of MSc theses at the CSE department, Chalmers and GU.
2
star
11

javabeginner

Java
1
star
12

SyntheticPopulations

Some material and code for generating simple synthetic populations.
Python
1
star
13

LiVe4CS

1
star
14

SWEET

Public repository for the CSE department SWEET group
1
star
15

TestGraphics

Some exploration of graphics in Haskell
Haskell
1
star