Andy Arvanitis (@andyarvanitis)
github

andyarvanitis

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    1,322
  • Global Rank 22,698 (Top 0.8 %)
  • Followers 99
  • Following 4
  • Registered over 12 years ago
  • Most used languages
    Haskell
         70.0 %
    Idris     10.0 %
    Go
         10.0 %
    C++
         10.0 %
  • Location πŸ‡ΊπŸ‡Έ United States
  • Country Total Rank 7,031
  • Country Ranking
    Idris     11
    Haskell
         40
    Go
         3,994
    C++
         6,577

Top repositories

1

purescript-native

A native compiler backend for PureScript (via C++ or Golang)
Haskell
620
star
2

purescript-native-go-ffi

Go foreign export implementations for the standard library
Go
29
star
3

purescript-native-cpp-ffi

C++ foreign export implementations for the standard library
C++
22
star
4

IdrisObjCExperiment

Idris
18
star
5

idris-golang

Haskell
16
star
6

idris-cplusplus

Experimental C++11 backend for Idris
Haskell
14
star
7

purescript-clojure

An experimental Clojure backend for PureScript
Haskell
9
star
8

pure14-standalone

An experimental C++14 compiler/backend for PureScript
Haskell
5
star
9

idris-generic

Haskell
4
star
10

HaskellObjCExperiment

Haskell
1
star