Christian KjÊr Larsen (@christiankjaer)
github

christiankjaer

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    12
  • Global Rank 874,315 (Top 31 %)
  • Followers 16
  • Following 23
  • Registered about 14 years ago
  • Most used languages
    Scala
         40.0 %
    Coq     20.0 %
    Haskell
         20.0 %
    JavaScript
         20.0 %
  • Location 🇩🇰 Denmark
  • Country Total Rank 2,938
  • Country Ranking
    Scala
         17
    Coq     18
    Haskell
         75
    JavaScript
         2,027

Top repositories

1

stupid-compiler

Simple compiler for a simple language
Scala
8
star
2

bake

A Make pun
Haskell
1
star
3

pop-webhelp

PKSU Projekt 2015
JavaScript
1
star
4

proofs-as-programs

Scala
1
star
5

soac-coq

Formalisation of SOACs in Coq
Coq
1
star