jqyu Goto Github PK

babel-plugin-pipe-operator-curry

Alternative to babel-plugin-pipe-operator

bibly

Web-based client for bibly

bustle-chi

Haxl + GraphQL

c.jumpp

dot-ott

Ott formalization of the DOT calculus

ember-cli-sortable

Ember CLI addon for RubaXa's sortable plugin

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

graphql-row-types

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

jumpp-cust

lngen

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

marbles

marvin

math245

course notes

metalib

The Penn Locally Nameless Metatheory Library

min

experimental graphql + radredis backend

mygithubpage

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-graphql

Translation of the haskell project

purescript-js

Native JS bindings for better performance

purescript-parsing

A parser combinator library based on Parsec

purescript-paxl

like haxl except purescript

purescript-rad

Rough translation of Haxl into Purescript

purescript-transformers

Monad and comonad transformers

purs-loader

PureScript loader for webpack

rad

GraphQL in purescript