Kai Stadtmueller (@KaiSta)
github

KaiSta

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    34
  • Global Rank 448,285 (Top 16 %)
  • Followers 14
  • Following 10
  • Registered almost 12 years ago
  • Most used languages
    Go
         66.7 %
    C++
         33.3 %
  • Location πŸ‡©πŸ‡ͺ Germany
  • Country Total Rank 19,259
  • Country Ranking
    Go
         985
    C++
         4,654

Top repositories

1

gopherlyzer

Static Trace-Based Deadlock Analysis for Synchronous Mini-Go
Go
20
star
2

gopherlyzer-GoScout

Trace-Based Run-time Analysis of Message-Passing Go Programs
Go
7
star
3

scrates

C++
4
star
4

SpeedyGo

Go
1
star
5

Parallel_CHR

CHR framework written in C++ that executes CHR concurrently and supports linear and non-linear rules.
C++
1
star
6

gopherlyzer-GuaranteedRaces

Go
1
star