Christian Kjær Larsen (@christiankjaer)
github

christiankjaer

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    12
  • Global Rank 870,000 (Top 31 %)
  • Followers 16
  • Following 23
  • Registered almost 14 years ago
  • Most used languages
    Scala
         40.0 %
    JavaScript
         20.0 %
    Coq     20.0 %
    Haskell
         20.0 %
  • Location πŸ‡©πŸ‡° Denmark
  • Country Total Rank 2,938
  • Country Ranking
    Coq     17
    Scala
         17
    Haskell
         82
    JavaScript
         2,053

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