Andy Arvanitis (@andyarvanitis)
github

andyarvanitis

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    1,332
  • Global Rank 23,297 (Top 0.9 %)
  • Followers 98
  • Following 4
  • Registered almost 13 years ago
  • Most used languages
    Haskell
         70.0 %
    C++
         10.0 %
    Go
         10.0 %
    Idris     10.0 %
  • Location πŸ‡ΊπŸ‡Έ United States
  • Country Total Rank 7,031
  • Country Ranking
    Idris     11
    Haskell
         41
    Go
         3,956
    C++
         6,846

Top repositories

1

purescript-native

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

purescript-native-go-ffi

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

purescript-native-cpp-ffi

C++ foreign export implementations for the standard library
C++
21
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