Discover @ret Open Source projects

Reto Kramer (@ret)

ret

Stars
24
Global Rank 571,305 (Top 20 %)
Followers 41
Following 192
Registered about 16 years ago
Most used languages

Haskell
100.0 %
Location 🇺🇸 United States
Country Total Rank 102,293
Country Ranking

Haskell
552

specifica

Basic TLA+ related Haskell libraries (parser, evaluator, pretty-printer)