jqyu

Pinned Repositories

bustle-chi
Haxl + GraphQL
Language:Haskell4 2 01
c.jumpp
Language:JavaScript1 5 00
dot-ott
Ott formalization of the DOT calculus
Language:Coq3 2 01
graphql-row-types
experimental haskell graphql implementation using row types and type families to describe a type-safe schema
Language:Haskell4 2 00
marbles
Language:JavaScript1 2 00
math245
course notes
Language:TeX3 2 00
purescript-graphql
Translation of the haskell project
Language:PureScript2 3 00
purescript-paxl
like haxl except purescript
Language:PureScript1 2 00
purescript-rad
Rough translation of Haxl into Purescript
Language:PureScript1 4 01
rad
GraphQL in purescript
Language:PureScript2 2 00

jqyu's Repositories

jqyu/bustle-chi
Haxl + GraphQL
Language:Haskell4 2 01
jqyu/graphql-row-types
experimental haskell graphql implementation using row types and type families to describe a type-safe schema
Language:Haskell4 2 00
jqyu/dot-ott
Ott formalization of the DOT calculus
Language:Coq3 2 01
jqyu/math245
course notes
Language:TeX3 2 00
jqyu/purescript-graphql
Translation of the haskell project
Language:PureScript2 3 00
jqyu/rad
GraphQL in purescript
Language:PureScript2 2 00
jqyu/c.jumpp
Language:JavaScript1 5 00
jqyu/marbles
Language:JavaScript1 2 00
jqyu/purescript-paxl
like haxl except purescript
Language:PureScript1 2 00
jqyu/purescript-rad
Rough translation of Haxl into Purescript
Language:PureScript1 4 01
jqyu/rql
weakly typed service language
Language:JavaScript1 2 0
jqyu/babel-plugin-pipe-operator-curry
Alternative to babel-plugin-pipe-operator
Language:JavaScript
jqyu/fastboot
FastBoot is a library for rendering Ember.js applications in Node.js.
Language:JavaScript2 0
jqyu/gettyimages-api_nodejs
Getty Images API SDK - Node.js
Language:JavaScript2 0
jqyu/graphql-hs
experimental haskell graphql implementation
Language:Haskell
jqyu/jumpp-cust
Language:JavaScript5 0
jqyu/lngen
Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott
Language:Haskell2 0
jqyu/Marvin
Language:Java3 0
jqyu/metalib
The Penn Locally Nameless Metatheory Library
Language:Coq2 0
jqyu/min
experimental graphql + radredis backend
Language:JavaScript2 0
jqyu/node-purescript-bin
PureScript wrapper that makes it seamlessly available via npm
Language:JavaScript2 0
jqyu/ott
Ott is a tool for writing definitions of programming languages and calculi
Language:OCaml2 0
jqyu/pmath347
course notes
Language:TeX2 0
jqyu/purescript-dynamo-graph
Purescript bindings for dynamo-graph
Language:PureScript2 0
jqyu/purescript-js
Native JS bindings for better performance
Language:PureScript2 0
jqyu/purescript-parsing
A parser combinator library based on Parsec
Language:PureScript2 0
jqyu/purescript-transformers
Monad and comonad transformers
Language:PureScript
jqyu/purs-loader
PureScript loader for webpack
Language:JavaScript2 0
jqyu/row-types
Language:Haskell2 0
jqyu/RSL
Haxl, pruned the fuck down and written in purescript
Language:PureScript2 0