Discover @Alex1005a Open Source projects

@Alex1005a

Alex1005a

Stars
6
Global Rank 1,300,168 (Top 45 %)
Followers 1
Following 8
Registered almost 5 years ago
Most used languages

Idris 50.0 %

C#
50.0 %
Location 🇷🇺 Russia
Country Ranking

Idris 4

C#
2,386

Idris2-HVM

HVM backend for Idris 2 (lazy)

Blog

Blog on asp.net core