Pinned Loading

1. avrotsavrotsPublic

   A DSL for simultaneously constructing an avro schema and the corresponding typescript type. Inspired by pelotom/runtypes and joewood/avro-typescript.

   TypeScript 1

2. vega-grafanavega-grafanaPublic

   Add Vega graphs to your grafana dashboard

   TypeScript 10

3. Types are BoringTypes are Boring

   1

   (*

   2

   * A linear algebra approach to the problem described here:

   3

   * https://alexnixon.github.io/2020/01/14/static-types-are-dangerous.html

   4

   *)

   5

4. reqreqPublic

   OCaml 1