Pinned Loading

1. avrots avrots Public

   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-grafana vega-grafana Public

   Add Vega graphs to your grafana dashboard

   TypeScript 10

3. Types are Boring Types 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. req req Public

   OCaml 1