Pinned Loading

1. swimlang swimlang Public

   Simple lisp-like language

   Python

2. LambdaCalc LambdaCalc Public

   Lambda Calculus in Python!

   Python 3

3. scalable-vega scalable-vega Public

   Forked from vega/scalable-vega

   A demo of how to scale vega to billions of records

   TypeScript 3

4. vega-transform-pg vega-transform-pg Public

   Vega transform for Postgres

   JavaScript 2 1

5. model-theory model-theory Public

   Model theory formalism in Coq

   Coq

6. cattack cattack Public

   C++