mstn/coql mstn/coql

  • Stars
    star
    1
  • Language Coq
  • License
    GNU Affero Genera...
  • Created about 7 years ago
  • Updated almost 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
mstn/coql
github

mstn

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

A GraphQL-like query language. Preliminary experiments.

More Repositories

1

apollo-local-network-interface

Use Apollo without a GraphQL server (porting of relay-local-schema)
TypeScript
16
star
2

Petrix

Building Petri Nets in Javascript using Interaction Category semantics
JavaScript
14
star
3

apollo-link-swagger

An ApolloLink for Swagger 2.0 REST endpoints (PoW)
TypeScript
13
star
4

fixed-size-array

Typescript types for fixed size arrays
TypeScript
13
star
5

minnie

Notes about my Asus C100pa (minnie) with Arch
3
star
6

xml2js-clean

clean xml2js output following some user defined heuristics (based on work by Tristian Flanagan)
TypeScript
2
star
7

graphql

personal notes about graphql
TeX
2
star
8

openstreetmap-oauth

OpenStreetMap OAuth flow
JavaScript
2
star
9

Cat.js

Beyond MVC
JavaScript
2
star
10

duality

Some coding experiments with Meijer's duality (WIP)
TypeScript
2
star
11

MappoPhoneGap

Testing Meteor.js with Android and PhoneGap [deprecated]
JavaScript
2
star
12

overpass

meteor package to cache overpass data [not ready to use]
JavaScript
2
star
13

cat

Another way to build UI in a compositional way
JavaScript
1
star
14

infinite-scroll-demo

Demo to show mstn:cat API
JavaScript
1
star
15

gup

uploader and manager for gtfs datasets
JavaScript
1
star
16

accounts-openstreetmap

Login service for OpenStreetMap accounts in Meteor
JavaScript
1
star
17

awesome-coronavirus-italia

Awesome list with resources to fight the covid emergency (mainly 🇮🇹)
1
star
18

NXTSharedLib

Libraries shared by NXTServer and NXTClient
Java
1
star
19

unhandled-exceptions-in-aws-lambdas

some experiments
JavaScript
1
star
20

overpass-demo

JavaScript
1
star
21

apollo-link-swagger-stripe

GraphQL client demo for Stripe API
JavaScript
1
star
22

graphql-x

Partial execution of GraphQL queries (WIP/experiment)
TypeScript
1
star
23

winston-keenio

A Keen.io transport for Winston. (WIP)
JavaScript
1
star
24

mstn.github.io

personal blog
HTML
1
star
25

NXTServer

LeJOS server running on NXT (Lego Mindstorms)
Java
1
star
26

aah

Easily build a static app with a list of shops offering home delivery from a simple json file
TypeScript
1
star