Popular repositories Loading

1. bustle-chi bustle-chi Public

   Haxl + GraphQL

   Haskell 4 1

2. graphql-row-types graphql-row-types Public

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

   Haskell 4

3. math245 math245 Public

   course notes

   TeX 3

4. dot-ott dot-ott Public

   Ott formalization of the DOT calculus

   Coq 3 1

5. rad rad Public

   GraphQL in purescript

   PureScript 2

6. purescript-graphql purescript-graphql Public

   Translation of the haskell project

   PureScript 2