Andy Arvanitis

purescript-native. A native compiler backend for PureScript (via C++ or Golang)

purescript-native-go-ffi. Go foreign export implementations for the standard library

purescript-native-cpp-ffi. C++ foreign export implementations for the standard library

IdrisObjCExperiment. Idris

idris-golang. Haskell

idris-cplusplus. Experimental C++11 backend for Idris

purescript-clojure. An experimental Clojure backend for PureScript

pure14-standalone. An experimental C++14 compiler/backend for PureScript

idris-generic. Haskell

ada_nifs. Writing Erlang/Elixir NIFs with Ada/SPARK. The goals are making them easy to write and provable/verifiable (SPARK + GNATprove).

Xcode-4-Fixins. Plugins for fixing Xcode 4 bugs and shortcomings

purescript-prelude. The PureScript Prelude

HaskellObjCExperiment. Haskell

lambda-lantern. 🧙 ‎‎ A 3D game about functional programming patterns. Uses PureScript Native, C++, and Panda3D.