Andre Kuhlenschmidt (@akuhlens)
github

akuhlens

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    13
  • Global Rank 834,067 (Top 29 %)
  • Followers 24
  • Following 17
  • Registered over 11 years ago
  • Most used languages
    Racket
         33.3 %
    HTML
         33.3 %
    TeX
         16.7 %
    Makefile     16.7 %

Top repositories

1

gradual-racket

The gradually typed lambda calculus as a racket language.
Racket
5
star
2

assembler

A dynamic assembler
Racket
3
star
3

akuhlens.github.io.pollen

1
star
4

akuhlens.github.io

My professional site
HTML
1
star
5

suslife

A collaborative blog about our adventures trying to create a sustainable lifestyle.
Makefile
1
star
6

hyper-coercions

A new representation for coercions based gradual typing
TeX
1
star
7

akuhlens.old_website

The Professional Website of a Computer Scientist
HTML
1
star