Harald Steinlechner (@haraldsteinlechner)
github

haraldsteinlechner

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    12
  • Global Rank 874,315 (Top 31 %)
  • Followers 42
  • Following 30
  • Registered almost 14 years ago
  • Most used languages
    Jupyter Notebook
         33.3 %
    Haskell
         33.3 %
    F#
         16.7 %
    C
         16.7 %
  • Location 🇦🇹 Austria
  • Country Total Rank 3,174
  • Country Ranking
    F#
         24
    Haskell
         32
    Jupyter Notebook
         307
    C
         431

Top repositories

1

augustus-windows

Source drop of our ancient school project: Augustus (2005-2007)
C
3
star
2

research

Research, Links, Preprints
Haskell
2
star
3

aardvark-notebook-demo

Jupyter Notebook
1
star
4

formalMethods

playground for stuff related to VU formal methods @ ut vienna
Haskell
1
star
5

derivatives

F#
1
star
6

notebook-test

Jupyter Notebook
1
star