Pinned Repositories
ada_monads
Experiments in implementing monads in Ada / SPARK. Their adherence to the monad laws are verified using GNATprove.
ada_nifs
Writing Erlang/Elixir NIFs with Ada/SPARK. The goals are making them easy to write and provable/verifiable (SPARK + GNATprove).
idris-cplusplus
Experimental C++11 backend for Idris
idris-golang
IdrisObjCExperiment
pure14-standalone
An experimental C++14 compiler/backend for PureScript
purescript-clojure
An experimental Clojure backend for PureScript
purescript-native
A native compiler backend for PureScript (via C++ or Golang)
purescript-native-cpp-ffi
C++ foreign export implementations for the standard library
purescript-native-go-ffi
Go foreign export implementations for the standard library
andyarvanitis's Repositories
andyarvanitis/purescript-native
A native compiler backend for PureScript (via C++ or Golang)
andyarvanitis/purescript-native-go-ffi
Go foreign export implementations for the standard library
andyarvanitis/purescript-native-cpp-ffi
C++ foreign export implementations for the standard library
andyarvanitis/IdrisObjCExperiment
andyarvanitis/idris-golang
andyarvanitis/idris-cplusplus
Experimental C++11 backend for Idris
andyarvanitis/purescript-clojure
An experimental Clojure backend for PureScript
andyarvanitis/pure14-standalone
An experimental C++14 compiler/backend for PureScript
andyarvanitis/idris-generic
andyarvanitis/HaskellObjCExperiment
andyarvanitis/lambda-lantern
🧙 A 3D game about functional programming patterns. Uses PureScript Native, C++, and Panda3D.
andyarvanitis/purescript-prelude
The PureScript Prelude
andyarvanitis/Xcode-4-Fixins
Plugins for fixing Xcode 4 bugs and shortcomings
andyarvanitis/ada_monads
Experiments in implementing monads in Ada / SPARK. Their adherence to the monad laws are verified using GNATprove.
andyarvanitis/ada_nifs
Writing Erlang/Elixir NIFs with Ada/SPARK. The goals are making them easy to write and provable/verifiable (SPARK + GNATprove).
andyarvanitis/andyarvanitis.github.io
andyarvanitis/ArduinoSTL
An STL and iostream implementation based on uClibc++ that supports my CS-11M class.
andyarvanitis/documentation
Documentation for the PureScript language, compiler, and tools.
andyarvanitis/Idris-dev
A Dependently Typed Functional Programming Language
andyarvanitis/language-javascript
Parser for JavaScript, in Haskell
andyarvanitis/purescript-arrays
Array utility functions
andyarvanitis/purescript-orders
Utilities for the Ord type class.
andyarvanitis/SafeCategories
Safe categories for Objective-C
andyarvanitis/spago
🍝 PureScript package manager and build tool powered by Dhall and package-sets
andyarvanitis/vscode-ide-purescript
PureScript IDE support for VS Code