-
Stars1,467
-
Global Rank 21,205 (Top 0.8 %)
-
Followers 279
-
Registered almost 15 years ago
-
Most used languagesHaskell38.2 %Agda 16.2 %JavaScript10.3 %Shell8.8 %C8.8 %Python2.9 %CSS2.9 %HTML2.9 %AppleScript 1.5 %Objective-C1.5 %Common Lisp1.5 %Erlang1.5 %Standard ML 1.5 %Idris 1.5 %
