akuhlens/akuhlens.github.io.pollen akuhlens/akuhlens.github.io.pollen

  • Stars
    star
    1
  • Language
  • Created over 7 years ago
  • Updated over 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
akuhlens/akuhlens.github.io.pollen
github

akuhlens

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

More 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

My professional site
HTML
1
star
4

suslife

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

hyper-coercions

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

akuhlens.old_website

The Professional Website of a Computer Scientist
HTML
1
star