Va Da

Create helpers for easily creating media queries. Example: - https://github.com/Dan503/mq-scss

CSS vars and observables

1

Create an addon which works with CSS vars and observables, maybe something what JSS does: http://cssinjs.org/observables

Create semantic value plugin

1

http://cssinjs.org/jss-expand?v=v5.1.0

State Selectors

2

Create `objstr` function, like here: http://css-blocks.com/

Create `gql` addon: - https://github.com/braposo/graphql-css

zoom property

6

Add `zoom` property to `Place` thing, to be able to specify map zoom level for Google maps, or Leaflet.js etc.

Re-playable Event Graph (REG) storage format specification

6

This is a proposal to formalize and document serialization formats for Re-playable Event Graphs (REGs). What are REGs? I am not an expert on REGs, but essentially it is a...

License

3

It is not clear under what license this repo can be used. A number of traces mention [CC-4.0](https://creativecommons.org/licenses/by/4.0/), but under other traces there is no mention of a license. Would...

Aggregating concurrent trace results

5

The sequential traces are much easier to execute and hence create benchmarks where different libraries are compared. However, for the concurrent traces, first the trace needs to be converted to...