David Kofler (@koflerdavid)
github

koflerdavid

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    5
  • Global Rank 1,435,387 (Top 50 %)
  • Followers 4
  • Following 7
  • Registered over 12 years ago
  • Most used languages
    Python
         33.3 %
    JavaScript
         33.3 %
    Haskell
         33.3 %
  • Location 🇦🇹 Austria
  • Country Total Rank 4,533
  • Country Ranking
    Haskell
         47
    Python
         1,699
    JavaScript
         2,107

Top repositories

1

nfa-equivalence-code

Reimplementations of algorithms for the CL master seminar
Haskell
2
star
2

uni-programming-lab

Programming Lab: Innovative Interaktion, Visualisierung und Analyse
JavaScript
1
star
3

equational-calculator

A tool to use the inference rules of equational logic on terms.
Python
1
star
4

jar-navigator

A simple tool which displays the classes contained in the JAR archives in a directory.
1
star