jqyu
Follow
-
-
graphql-row-types Public
experimental haskell graphql implementation using row types and type families to describe a type-safe schema
-
graphql-hs Public
experimental haskell graphql implementation
Haskell BSD 3-Clause "New" or "Revised" License UpdatedApr 26, 2018 -
-
-
-
metalib Public
Forked from plclub/metalibThe Penn Locally Nameless Metatheory Library
Coq Other UpdatedNov 28, 2017 -
lngen Public
Forked from plclub/lngenTool for generating Locally Nameless definitions and proofs in Coq, working together with Ott
Haskell MIT License UpdatedNov 28, 2017 -
ott Public
Forked from ott-lang/ottOtt is a tool for writing definitions of programming languages and calculi
OCaml Other UpdatedNov 28, 2017 -
-
fastboot Public
Forked from ember-fastboot/fastbootFastBoot is a library for rendering Ember.js applications in Node.js.
JavaScript UpdatedNov 6, 2016 -
purescript-transformers Public
Forked from purescript/purescript-transformersMonad and comonad transformers
PureScript MIT License UpdatedOct 6, 2016 -
node-purescript-bin Public
Forked from e-jigsaw/node-purescript-binPureScript wrapper that makes it seamlessly available via npm
JavaScript MIT License UpdatedOct 4, 2016 -
babel-plugin-pipe-operator-curry Public
Forked from Swizz/babel-plugin-pipe-operator-curryAlternative to babel-plugin-pipe-operator
JavaScript MIT License UpdatedSep 8, 2016 -
purs-loader Public
Forked from ethul/purs-loaderPureScript loader for webpack
JavaScript MIT License UpdatedSep 6, 2016 -
gettyimages-api_nodejs Public
Forked from mdahiemstra/gettyimages-api_nodejsGetty Images API SDK - Node.js
JavaScript MIT License UpdatedAug 10, 2016 -
-
-
bustle-chi Public
Haxl + GraphQL
-
-
-
purescript-parsing Public
Forked from purescript-contrib/purescript-parsingA parser combinator library based on Parsec
PureScript Other UpdatedApr 3, 2016 -
-
-
-
-
-
-
-