Konstantinos Kallas (@angelhof)
github

angelhof

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    23
  • Global Rank 587,022 (Top 21 %)
  • Followers 69
  • Following 43
  • Registered over 9 years ago
  • Most used languages
    Python
         28.6 %
    Cuda     14.3 %
    Haskell
         14.3 %
    Erlang
         14.3 %
    Roff     14.3 %
    Dafny     14.3 %
  • Location 🇬🇷 Greece
  • Country Total Rank 1,166
  • Country Ranking
    Dafny     1
    Erlang
         3
    Cuda     7
    Roff     8
    Haskell
         30
    Python
         749

Top repositories

1

flumina

A parallel programming model for online applications with complex synchronization requirements.
Erlang
15
star
2

gpus-kmeans

Cuda
3
star
3

edsger_compiler

A complete compiler for the edsger toy language.
Python
2
star
4

mu2sls

A framework for correctly implementing stateful microservice applications on serverless using standard Python.
Python
2
star
5

penn-cis673-hw-dafny

Dafny
1
star
6

pl2-exercises

The solutions for the exercises of the Programming Languages 2 course in ECE, NTUA
Haskell
1
star
7

penn-cis673-hw-spin

1
star
8

flumina-examples

Roff
1
star