Anders Kiel Hovgaard (@ahovgaard)
github

ahovgaard

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    4
  • Global Rank 1,611,161 (Top 56 %)
  • Followers 16
  • Following 17
  • Registered over 12 years ago
  • Most used languages
    TeX
         66.7 %
    Haskell
         33.3 %
  • Location πŸ‡ΈπŸ‡ͺ Sweden
  • Country Total Rank 10,529
  • Country Ranking
    TeX
         139
    Haskell
         182

Top repositories

1

twelf-records

Formalization of a simple functional language with records and subtyping in Twelf.
1
star
2

thesis

Thesis on adding support for higher-order functions to the Futhark language.
Haskell
1
star
3

TiPL-kleenex-approx

Kleenex-based approximate pattern matching for DNA analysis.
TeX
1
star
4

ret2libc

Presentation of "The advanced return-into-lib(c) exploits" article.
TeX
1
star