jqyu

bustle-chi

Haxl + GraphQL

graphql-row-types

experimental haskell graphql implementation using row types and type families to describe a type-safe schema

dot-ott

Ott formalization of the DOT calculus

math245

course notes

purescript-graphql

Translation of the haskell project

rad

GraphQL in purescript

c.jumpp

marbles

purescript-paxl

like haxl except purescript

purescript-rad

Rough translation of Haxl into Purescript

rql

weakly typed service language

babel-plugin-pipe-operator-curry

Alternative to babel-plugin-pipe-operator

fastboot

FastBoot is a library for rendering Ember.js applications in Node.js.

gettyimages-api_nodejs

Getty Images API SDK - Node.js

graphql-hs

experimental haskell graphql implementation

jumpp-cust

lngen

Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott

Marvin

metalib

The Penn Locally Nameless Metatheory Library

min

experimental graphql + radredis backend

node-purescript-bin

PureScript wrapper that makes it seamlessly available via npm

ott

Ott is a tool for writing definitions of programming languages and calculi

pmath347

course notes

purescript-dynamo-graph

Purescript bindings for dynamo-graph

purescript-js

Native JS bindings for better performance

purescript-parsing

A parser combinator library based on Parsec

purescript-transformers

Monad and comonad transformers

purs-loader

PureScript loader for webpack

row-types

RSL

Haxl, pruned the fuck down and written in purescript