Pinned Loading

1. generic-account.github.io generic-account.github.io Public

   A website for my projects and bio

   CSS 1

2. interval-arithmetic interval-arithmetic Public

   Python Library for interval arithmetic (function range finding), using Taylor patchwork, autodiff compilation, and query caching

   Python

3. dice-dsl dice-dsl Public

   Python eDSL for simulating and automatically solving some probability games

   Python

4. finesse finesse Public

   a Python FSM eDSL and toolkit including visualzation, optimization, and verilog export

   Python 1

5. random-polynomials random-polynomials Public

   A toolkit for exploring random polynomials

   Python

6. tinyir-lang tinyir-lang Public

   A minimal Python GPU IR, with backends targeting JAX and torch.func

   Python