Popular repositories

1. browser browser Public

   browser-based web apps in golang using WASM; the library provides react-style virtual Dom diffing algorithm and component utilities

   Go 2 1

2. set set Public

   golang set and binary relation interfaces and structures

   Go 1 1

3. duo duo Public

   companion code for the RSS workshop paper "Exploring Active Human Goal Inference in Shared Autonomy and Autonomous Driving"

   Python 1

4. bourbaki bourbaki Public

   sheets describing mathematical concepts, terms, results and notation; source code for the bbk tool

   Makefile 1

5. littex littex Public

   LitTex is an archival markup language for math and the classics; this repo contains the lit compiler command

   Go 1

6. symgt symgt Public

   group testing for (partially) exchangeable statuses

   Python 1