andyarvanitis Goto Github PK

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).

andyarvanitis.github.io

arduinostl

An STL and iostream implementation based on uClibc++ that supports my CS-11M class.

documentation

Documentation for the PureScript language, compiler, and tools.

haskellobjcexperiment

idris-cplusplus

Experimental C++11 backend for Idris

idris-dev

A Dependently Typed Functional Programming Language

idris-generic

idris-golang

idrisobjcexperiment

lambda-lantern

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

language-javascript

Parser for JavaScript, in Haskell

pure14-standalone

An experimental C++14 compiler/backend for PureScript

purescript-arrays

Array utility functions

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

purescript-orders

Utilities for the Ord type class.

purescript-prelude

The PureScript Prelude

safecategories

Safe categories for Objective-C

spago

🍝 PureScript package manager and build tool powered by Dhall and package-sets

vscode-ide-purescript

PureScript IDE support for VS Code

xcode-4-fixins

Plugins for fixing Xcode 4 bugs and shortcomings