Discover @krcz Open Source projects

Marcin Kurczych (@krcz)

krcz

Stars
18
Global Rank 681,289 (Top 24 %)
Followers 6
Following 5
Registered about 11 years ago
Most used languages

Racket
100.0 %
Location 🇵🇱 Poland
Country Total Rank 5,731
Country Ranking

Racket
3

zygote

Explorations in area of programming languages: concepts, typing, formal verification